A theory of diagnosis from first principles

1987/04/01 by Raymond Reiter · 55 citations
Computer Science · #AI-based Problem Solving and Planning #Logic, Reasoning, and Knowledge #Semantic Web and Ontologies

paper · doi:10.1016/0004-3702(87)90062-2

Cited by

• Knowledge Graphs
• Finding and fixing faults
• Serial and parallel kernelization of Multiple Hitting Set parameterized by the Dilworth number, implemented on the GPU
• Functional and teleological knowledge in the multimodeling approach for reasoning about physical systems: a case study in diagnosis
• Explanation in artificial intelligence: Insights from the social sciences
• Identifying the Minimal Transversals of a Hypergraph and Related Problems
• New Results on Monotone Dualization and Generating Hypergraph Transversals
• MENTOR: Fixing introductory programming assignments with formula-based fault localization and LLM-driven program repair
• A review of process fault detection and diagnosis
• A review of process fault detection and diagnosis
• A review of process fault detection and diagnosis
• An Efficient Diagnosis Algorithm for Inconsistent Constraint Sets
• Towards Utility-based Prioritization of Requirements in Open Source\n Environments
• Understanding the QuickXPlain Algorithm: Simple Explanation and Formal\n Proof
• Mixed Logical and Probabilistic Reasoning for Planning and Explanation Generation in Robotics
• Model-Based Diagnosis with Multiple Observations: A Unified Approach for C Software and Boolean Circuits
• Towards Better Response Times and Higher-Quality Queries in Interactive Knowledge Base Debugging
• A complexity theory for hard enumeration problems
• Bayesian Structural Learning for an Improved Diagnosis of Cyber-Physical Systems
• Exploiting the Rule Structure for Decision Making within the Independent\n Choice Logic
• Compilation of Propositional Weighted Bases
• On the Discrimination Power and Effective Utilization of Active Learning Measures in Version Space Search
• On the Relationship Between KR Approaches for Explainable Planning
• Complexity of Nested Circumscription and Nested Abnormality Theories
• Extended Abstract - Model-Based Debugging of Java Programs
• Kima - an Automated Error Correction System for Concurrent Logic Programs
• PIE-APT: A Unified Framework for Temporal Planning and Contradiction Hunting via Incremental Direct-Derivation Abduction
• Efficient Explanations With Relevant Sets
• Pattern Recognition on Oriented Matroids: Symmetric Cycles in the Hypercube Graphs
• A Survey on Software Fault Localization
• A Consistency-Based Model for Belief Change: Preliminary Report
• Outlier Detection by Logic Programming
• Combined effects of nonmetallic impurities and planned metallic dopants on grain boundary energy and strength
• Abductive and Consistency-Based Diagnosis Revisited: a Modeling Perspective
• PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C
• From Causes for Database Queries to Repairs and Model-Based Diagnosis and Back
• Minimal Model Reasoning in Description Logics: Don't Try This at Home!
• On Efficiently Explaining Graph-Based Classifiers
• DLV - A System for Declarative Problem Solving
• Outlining the Design Space of Explainable Intelligent Systems for Medical Diagnosis
• Logic-based assessment of the compatibility of UMLS ontology sources. [europepmc]
• A unified approach for debugging is-a structure and mappings in networked taxonomies. [europepmc]
• State Tracking and Fault Diagnosis for Dynamic Systems Using Labeled Uncertainty Graph. [europepmc]
• Diagnosing a Strong-Fault Model by Conflict and Consistency. [europepmc]
• "PhysIt" - A Diagnosis and Troubleshooting Tool for Physiotherapists in Training. [europepmc]
• Improving the accuracy of medical diagnosis with causal machine learning. [europepmc]
• Towards semantic interoperability: finding and repairing hidden contradictions in biomedical ontologies. [europepmc]
• Model of the Vibration Signal of the Vibrating Sieving Screen Suspension for Condition Monitoring Purposes. [europepmc]
• A formal proof and simple explanation of the QuickXplain algorithm. [europepmc]
• No silver bullet: interpretable ML models must be explained. [europepmc]
• A highly generalized classifier for osteoporosis radiography based on multiscale fractal, lacunarity, and entropy distributions. [europepmc]
• Knowledge-based recommender systems: overview and research directions. [europepmc]
• Minimal reduct for propositional circumscription. [europepmc]
• Collaborate and explain on-the-fly: knowledge-based reasoning and learning in ad hoc teamwork. [europepmc]
• Reasoning About Strong Inconsistency in ASP [europepmc]