A formalism for causal explanations with an Answer Set Programming translation

Details A formalism for causal explanations with an Answer Set Programming translation A formalism for causal explanations with an Answer Set Programming translation

2010-08-23

arxiv.org/abs/1008.3879v1

4th International Conference on Knowledge Science, Engineering \& Management (KSEM 2010), Belfast : United Kingdom (2010)

Computer Science

Artificial Intelligence

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

A formalism for causal explanations with an Answer Set Programming translation 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 A formalism for causal explanations with an Answer Set Programming translation, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A formalism for causal explanations with an Answer Set Programming translation will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-466169