Showing papers on "Qualification problem published in 2009"
1 Sep 2009
TL;DR: A framework that brings together two major forms of default reasoning in Artificial Intelligence: default property classification in static domains, and default property persistence in temporal domains is proposed, and emphasis is placed on the qualification problem, central when dealing with default reasoning.
Abstract: We propose a framework that brings together two major forms of default reasoning in Artificial Intelligence: default property classification in static domains, and default property persistence in temporal domains. Emphasis in this work is placed on the qualification problem , central when dealing with default reasoning, and in any attempt to integrate different forms of such reasoning.
Our framework can be viewed as offering a semantics to two natural problems: (i) that of employing default static knowledge in a temporal setting, and (ii) the dual one of temporally projecting and dynamically updating default static knowledge.
The proposed integration is introduced through a series of example domains, and is then formalized through argumentation. The semantics follows a pragmatic approach. At each time-point, an agent predicts the next state of affairs. As long as this is consistent with the available observations, the agent continues to reason forward. In case some of the observations cannot be explained without appealing to some exogenous reason, the agent revisits and revises its past assumptions.
We conclude with some formal results, including an algorithm for computing complete admissible argument sets, and a proof of elaboration tolerance , in the sense that additional knowledge can be gracefully accommodated in any domain.
9 citations
1 Jan 2009
TL;DR: A series of benchmarks, the Virtual Testing Benchmarks (VTB), are proposed to be used for qualification at two different levels: codes and methods validation, and operators’ qualification, which will not cover all possible modeling situations but is a first step towards electronic certification.
Abstract: The SubProject 7 “Virtual Testing” [1] of the 7 FP Project APROSYS (Advanced PROtection SYStems) was aimed at development of a complete and consistent methodology for the implementation of the virtual testing of vehicles for safety improvement. Recall that by Virtual Testing we imply any analytical certification procedure which uses experimental and numerical simulation methods [2]. To achieve this goal, specific models, methods, and tools were developed. One of the final achievements relates to the future use of virtual testing in regulations, not only in the design of vehicles for safety [3]. The implementation of virtual testing in regulations would be a very complex process involving several steps [2], and concerning many different actors and stakeholders from car manufacturers to consumer organizations, and from regulatory bodies to experts group in automotive engineering. Among the many envisaged steps, which are being currently structured in a specific roadmap, there is the qualification problem. For both type of accreditation method, either the type approval scheme usual in the EU, or the US style self-certification scheme, a qualification process is required. To this aim the authors propose to establish a series of benchmarks, the Virtual Testing Benchmarks (VTB), to be used for qualification at two different levels: codes and methods validation, and operators’ qualification. These benchmarks consist of typical crash cases to be tested in the virtual environment: there are several different cases covering different topics of modeling (different element types, material models, contacts...). The code validation can be achieved by giving a well defined problem to be solved, whereas the operators qualification can be achieved giving a less defined framework and leaving more freedom to the operators to generate their own models of the problem. At least 5 different cases are provided and described in the paper. Verification by means of experimental or theoretical solutions is given. Of course, this will not cover all possible modeling situations but is a first step towards this electronic certification.
2 citations