Using ASP with recent extensions for causal explanations

Details Using ASP with recent extensions for causal explanations Using ASP with recent extensions for causal explanations

2010-12-03

arxiv.org/abs/1012.0830v1

ASPOCP10, Answer Set Programming and Other Computing Paradigms Workshop, associated with ICLP, Edinburgh : United Kingdom (201

Computer Science

Artificial Intelligence

Scientific paper

We examine the practicality for a user of using Answer Set Programming (ASP) for representing logical formalisms. We choose as an example a formalism aiming at capturing causal explanations from causal information. We provide an implementation, showing the naturalness and relative efficiency of this translation job. We are interested in the ease for writing an ASP program, in accordance with the claimed ``declarative'' aspect of ASP. Limitations of the earlier systems (poor data structure and difficulty in reusing pieces of programs) made that in practice, the ``declarative aspect'' was more theoretical than practical. We show how recent improvements in working ASP systems facilitate a lot the translation, even if a few improvements could still be useful.

Affiliated with

Also associated with

No associations

Rating

Using ASP with recent extensions for causal explanations does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Using ASP with recent extensions for causal explanations, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Using ASP with recent extensions for causal explanations will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-98720