A formal theory of plan recognition and its implementation
Reasoning about plans
Knowledge Representation, Reasoning, and Declarative Problem Solving
Knowledge Representation, Reasoning, and Declarative Problem Solving
Adcuctive Reasoning with Abstraction Axioms
Foundation of Knowledge Representation and Reasoning [the book grew out of an ECAI-92 workshop]
Causes and Explanations: A Structural-Model Approach: Part 1: Causes
UAI '01 Proceedings of the 17th Conference in Uncertainty in Artificial Intelligence
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
Monitoring and alarm interpretation in industrial environments
AI Communications
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Causes and explanations: a structural-model approach-part II: explanations
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Ontology-based inference for causal explanation
KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management
Configurations for inference between causal statements
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
Alignment-based surface patterns for factoid question answering systems
Integrated Computer-Aided Engineering - Selected papers from the IEEE Conference on Information Reuse and Integration (IRI), July 13-15, 2008
Survey of modular ontology techniques and their applications in the biomedical domain
Integrated Computer-Aided Engineering - Selected papers from the IEEE Conference on Information Reuse and Integration (IRI), July 13-15, 2008
A supervised learning approach to biological question answering
Integrated Computer-Aided Engineering - Selected papers from the IEEE Conference on Information Reuse and Integration (IRI), July 13-15, 2008
A practical method for browsing a relational database using a standard search engine
Integrated Computer-Aided Engineering - Selected papers from the IEEE Conference on Information Reuse and Integration (IRI), July 13-15, 2008
Using conditional random fields for result identification in biomedical abstracts
Integrated Computer-Aided Engineering
Full duplicate candidate pruning for frequent connected subgraph mining
Integrated Computer-Aided Engineering
A qualitative agent-based approach to power quality monitoring and diagnosis
Integrated Computer-Aided Engineering - Multi-Agent Systems for Energy Management
A formalism for causal explanations with an answer set programming translation
KSEM'10 Proceedings of the 4th international conference on Knowledge science, engineering and management
Extracting knowledge from fuzzy relational databases with description logic
Integrated Computer-Aided Engineering
International Journal of Metadata, Semantics and Ontologies
Identification of trends from patents using self-organizing maps
Expert Systems with Applications: An International Journal
Construction of ontologies from object-oriented database models
Integrated Computer-Aided Engineering
Hi-index | 0.00 |
We define an inference system to capture explanations based on causal statements, using an ontology in the form of an IS-A hierarchy. We first introduce a simple logical language which makes it possible to express that a fact causes another fact and that a fact explains another fact. We present a set of formal inference patterns from causal statements to explanation statements. We introduce an elementary ontology which gives greater expressiveness to the system while staying close to propositional reasoning. We provide an inference system that captures the patterns discussed, firstly in a purely propositional framework, then in a datalog (limited predicate) framework.