Reasoning about the knowledge of an agent is an important problem in many areas of AI. For example in diagnosis a basic question about a system is whether it is possible to diagnose it, that is, whether it is always possible to know whether a faulty beha
An active system (AS) is a discrete-event system (DES) with asynchronous behavior, which is represen...
International audienceDiagnosability is the property of a partially observable system with a given s...
This Chapter presents the evolution of the expert systems paradigm for fault diagnosis in technical ...
Diagnosability of systems is an essential property that determines how accurate any diagnostic reaso...
International audienceDiagnosis is the process of identifying or determining the nature and root cau...
We show how testing whether a system is diagnosable can be reduced to the satisfiability problem and...
When a robotic agent experiences a failure while acting in the world, it should be possible to disco...
Diagnosability of systems is an essential property that determines how accurate any diagnostic reaso...
Abstract. This paper provides a new definition of diagnosability, that allows one to check the diagn...
Abstract. A system model is diagnosable when every fault can be unambigu-ously detected from its obs...
grantor: University of TorontoAutomated diagnosis has long been a problem of interest to t...
International audienceThis paper describes an approach to study the diagnosability of technological ...
We present a mechanism for recovering consistent data from inconsistent set of assertions. For a com...
The article presents application of logic 4-valuable in the process of reasoning in diagnostic syste...
Diagnosability of component-based systems is a property that characterises the ability to diagnose f...
An active system (AS) is a discrete-event system (DES) with asynchronous behavior, which is represen...
International audienceDiagnosability is the property of a partially observable system with a given s...
This Chapter presents the evolution of the expert systems paradigm for fault diagnosis in technical ...
Diagnosability of systems is an essential property that determines how accurate any diagnostic reaso...
International audienceDiagnosis is the process of identifying or determining the nature and root cau...
We show how testing whether a system is diagnosable can be reduced to the satisfiability problem and...
When a robotic agent experiences a failure while acting in the world, it should be possible to disco...
Diagnosability of systems is an essential property that determines how accurate any diagnostic reaso...
Abstract. This paper provides a new definition of diagnosability, that allows one to check the diagn...
Abstract. A system model is diagnosable when every fault can be unambigu-ously detected from its obs...
grantor: University of TorontoAutomated diagnosis has long been a problem of interest to t...
International audienceThis paper describes an approach to study the diagnosability of technological ...
We present a mechanism for recovering consistent data from inconsistent set of assertions. For a com...
The article presents application of logic 4-valuable in the process of reasoning in diagnostic syste...
Diagnosability of component-based systems is a property that characterises the ability to diagnose f...
An active system (AS) is a discrete-event system (DES) with asynchronous behavior, which is represen...
International audienceDiagnosability is the property of a partially observable system with a given s...
This Chapter presents the evolution of the expert systems paradigm for fault diagnosis in technical ...