scispace - formally typeset
Search or ask a question
Journal ArticleDOI

A spectrum of definitions for temporal model-based diagnosis

01 Jun 1998-Artificial Intelligence (Elsevier Science Publishers Ltd.)-Vol. 102, Iss: 1, pp 39-79
TL;DR: A framework in which different dimensions for temporal model-based diagnosis can be analyzed at the knowledge level is defined, pointing out which are the alternatives along each dimension and showing in which cases each one of these alternatives is adequate.
About: This article is published in Artificial Intelligence.The article was published on 1998-06-01 and is currently open access. It has received 102 citations till now. The article focuses on the topics: Model-based reasoning & Modeling language.
Citations
More filters
Book
01 Aug 2016
TL;DR: This book presents a comprehensive paradigm of planning and acting using the most recent and advanced automated-planning techniques, and explains the computational deliberation capabilities that allow an actor to reason about its actions, choose them, organize them purposefully, and act deliberately to achieve an objective.
Abstract: Autonomous AI systems need complex computational techniques for planning and performing actions. Planning and acting require significant deliberation because an intelligent system must coordinate and integrate these activities in order to act effectively in the real world. This book presents a comprehensive paradigm of planning and acting using the most recent and advanced automated-planning techniques. It explains the computational deliberation capabilities that allow an actor, whether physical or virtual, to reason about its actions, choose them, organize them purposefully, and act deliberately to achieve an objective. Useful for students, practitioners, and researchers, this book covers state-of-the-art planning techniques, acting techniques, and their integration which will allow readers to design intelligent systems that are able to act effectively in the real world.

311 citations


Cites methods from "A spectrum of definitions for tempo..."

  • ...In addition to planning, this approach is used in other applications, such as temporal databases [99], monitoring [500], diagnosis [98, 374], multi-media document management [187, 5], video interpretation [591], and process supervision [162, 163]....

    [...]

Journal ArticleDOI
01 Oct 2004
TL;DR: A formal framework is proposed in order to compare the two approaches and the theoretical proof of their equivalence together with the necessary and sufficient conditions is provided.
Abstract: Two distinct and parallel research communities have been working along the lines of the model-based diagnosis approach: the fault detection and isolation (FDI) community and the diagnostic (DX) community that have evolved in the fields of automatic control and artificial intelligence, respectively. This paper clarifies and links the concepts and assumptions that underlie the FDI analytical redundancy approach and the DX consistency-based logical approach. A formal framework is proposed in order to compare the two approaches and the theoretical proof of their equivalence together with the necessary and sufficient conditions is provided.

214 citations


Cites methods from "A spectrum of definitions for tempo..."

  • ...There are two families of methods: those which act at the residual generation step (unknown input observers [2], disturbance optimal decoupling [8]) and those which act at the residual interpretation step (statistical decision methods [5], fuzzy interpretation [6])....

    [...]

Book
01 Mar 2005
TL;DR: This collection brings together the leading researchers in a range of relevant areas and provides an coherent description of the breadth of activity concerning temporal reasoning in the filed of Artificial Intelligence.
Abstract: This collection represents the primary reference work for researchers and students in the area of Temporal Reasoning in Artificial Intelligence Temporal reasoning has a vital role to play in many areas, particularly Artificial Intelligence Yet, until now, there has been no single volume collecting together the breadth of work in this area This collection brings together the leading researchers in a range of relevant areas and provides an coherent description of the breadth of activity concerning temporal reasoning in the filed of Artificial Intelligence Key Features: - Broad range: foundations; techniques and applications - Leading researchers around the world have written the chapters - Covers many vital applications - Source book for Artificial Intelligence, temporal reasoning - Approaches provide foundation for many future software systems ·Broad range: foundations; techniques and applications ·Leading researchers around the world have written the chapters ·Covers many vital applications ·Source book for Artificial Intelligence, temporal reasoning ·Approaches provide foundation for many future software systems Table of Contents "Formal Theories of Time and Temproal Incidence", Lluis Vila "Eventualities", Antony Galton "Time Granularity", Jerome Euzenat and Angelo Montanari "Modal Varieties of Temporal Logic", Howard Barringer and Dov Gabbay "Temporal Qualification in Artificial Intelligence", Han Reichgelt and Lluis Vila "Computational Complexity of Temporal Constraint Problems", Thomas Drakengren and Peter Jonsson "Indefinite Constraint Databases with Temporal Information: Representational Power and Computational Complexity", Manolis Koubarakis "Processing Qualitative Temporal Constraints", Alfonso Gerevini "Theorem-Proving for Discrete Temporal Logic", Mark Reynolds/Clare Dixon "Probabilistic Temporal Reasoning", Steve Hanks/David Madigan "Temporal Reasoning with iff-Abduction", Marc Denecker/Kristof Van Belleghem "Temporal Description Logics", Alessandro Artale/Enrico Franconi "Logic Programming and Reasoning about Actions", Chitta Baral/Michael Gelfond "Temporal Databases" Jan Chomicki/David Toman "Temporal Reasoning in Agent-Based Systems" Michael Fisher/Michael Wooldridge "Time in Planning" Maris Fox/Derek Long "Time in Automated Legal Reasoning" Lluis Vila/Hajime Yoshino "Temporal Reasoning in Natural Language" Alice ter Meulen "Temporal Reasoning in Medicine" Elpida Keravnou/Yuval Shahar "Time in Qualitative Simulation" Dan Clancy/Benjamin Kuipers

160 citations

Proceedings Article
20 Aug 2000
TL;DR: This paper clarifies and links the concepts that underlie the FDI analytical redundancy approach and the DX logical approach and proves their equivalence under various assumptions.
Abstract: Two distinct and parallel research communities have been working along the lines of the Model-Based Diagnosis approach: the FDI community and the DX community that have evolved in the fields of Automatic Control and Artificial Intelligence, respectively. This paper clarifies and links the concepts that underlie the FDI analytical redundancy approach and the DX logical approach. The formal match of the two approaches is demonstrated and the proof of their equivalence is provided under various assumptions.

75 citations


Cites background from "A spectrum of definitions for tempo..."

  • ...…way to express exoneration has been introduced in DX, at the component model level, by assuming that, if the correct behavior model of a component is satisfied by OBS, then this component behaves correctly in the context given by OBS, i.e. by modeling components behavior with bi-conditionals [10]....

    [...]

  • ...When they adopt the same hypotheseswith respect to how faults manifest themselves, FDI and DX views agree on diagnoses....

    [...]

  • ...This opens the possibility of a fruitful cooperation between these two diagnostic approaches, getting the best from each one: compiling modeling knowledge under ARRs form according to sensor locations before any observation has been made, which is the main advantage of the FDI approach and, thanks…...

    [...]

Journal ArticleDOI
TL;DR: This paper presents several practical modeling and reasoning considerations that have been addressed based on experience with complex real-time vehicle subsystems, including handling intermittent faults, reasoning over dynamically commanded test sequences, dealing with the constraints of limited computational resources, and providing automated model verification.
Abstract: Timed failure propagation graphs (TFPGs) are causal models that capture the temporal aspects of failure propagation in typical engineering systems. In this paper, we present several practical modeling and reasoning considerations that have been addressed based on experience with complex real-time vehicle subsystems. These include handling intermittent faults, reasoning over dynamically commanded test sequences, dealing with the constraints of limited computational resources, and providing automated model verification. We finally present a vehicle subsystem case study.

68 citations


Cites background from "A spectrum of definitions for tempo..."

  • ...The temporal aspects of the TFPG model are closely related to the domain-theoretic notion of temporal dependency proposed in [6]....

    [...]

References
More filters
Journal Article
TL;DR: An interval-based temporal logic is introduced, together with a computationally effective reasoning algorithm based on constraint propagation, which is notable in offering a delicate balance between space and time.
Abstract: An interval-based temporal logic is introduced, together with a computationally effective reasoning algorithm based on constraint propagation. This system is notable in offering a delicate balance between

7,466 citations

Journal ArticleDOI
TL;DR: In this paper, an interval-based temporal logic is introduced, together with a computationally effective reasoning algorithm based on constraint propagation, which is notable in offering a delicate balance between time and space.
Abstract: An interval-based temporal logic is introduced, together with a computationally effective reasoning algorithm based on constraint propagation. This system is notable in offering a delicate balance between

7,362 citations

Journal ArticleDOI
26 Apr 1985-Science
TL;DR: Computer tutors based on a set of pedagogical principles derived from the ACT theory of cognition have been developed for teaching students to do proofs in geometry and to write computer programs in the language LISP.
Abstract: Cognitive psychology, artificial intelligence, and computer technology have advanced to the point where it is feasible to build computer systems that are as effective as intelligent human tutors Computer tutors based on a set of pedagogical principles derived from the ACT theory of cognition have been developed for teaching students to do proofs in geometry and to write computer programs in the language LISP

3,092 citations

Journal ArticleDOI
TL;DR: The theory accommodates diagnostic reasoning in a wide variety of practical settings, including digital and analogue circuits, medicine, and database updates, and reveals close connections between diagnostic reasoning and nonmonotonic reasoning.

2,830 citations

Journal ArticleDOI
TL;DR: The diagnostic procedure presented in this paper is model-based, inferring the behavior of the composite device from knowledge of the structure and function of the individual components comprising the device.

2,199 citations