A formalism for causal explanations with an answer set programming translation

Authors:
Yves Moinard
Affiliations:
INRIA Bretagne Atlantique, IRISA, Rennes Cedex, France
Venue:
KSEM'10 Proceedings of the 4th international conference on Knowledge science, engineering and management
Year:
2010

Citing 6
Cited 0

Knowledge Representation, Reasoning, and Declarative Problem Solving

Knowledge Representation, Reasoning, and Declarative Problem Solving
Nonmonotonic causal theories

Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
The DLV system for knowledge representation and reasoning

ACM Transactions on Computational Logic (TOCL)
Template programs for Disjunctive Logic Programming: An operational semantics

AI Communications
Ontology-based inference for causal explanation

Integrated Computer-Aided Engineering
Causes and explanations: a structural-model approach-part II: explanations

IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1

Quantified Score

Hi-index	0.00

Visualization

Abstract

We examine the practicality for a user of using Answer Set Programming (ASP) for representing logical formalisms. Our example is a formalism aiming at capturing causal explanations from causal information. We show the naturalness and relative efficiency of this translation job. We are interested in the ease for writing an ASP program. Limitations of the earlier systems made that in practice, the "declarative aspect" was more theoretical than practical. We show how recent improvements in working ASP systems facilitate the translation.