Using ASP with recent extensions for causal explanations

12/03/2010
by   Yves Moinard, et al.
0

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.

READ FULL TEXT
research
05/21/2017

Sketched Answer Set Programming

Answer Set Programming (ASP) is a powerful modeling formalism for combin...
research
09/22/2020

Splitting a Hybrid ASP Program

Hybrid Answer Set Programming (Hybrid ASP) is an extension of Answer Set...
research
09/19/2019

Imperative Program Synthesis from Answer Set Programs

Our research concerns generating imperative programs from Answer Set Pro...
research
09/08/2019

Towards Generating Explanations for ASP-Based Link Analysis using Declarative Program Transformations

The explication and the generation of explanations are prominent topics ...
research
04/28/2014

Preliminary Report on WASP 2.0

Answer Set Programming (ASP) is a declarative programming paradigm. The ...
research
09/21/2018

Answering the "why" in Answer Set Programming - A Survey of Explanation Approaches

Artificial Intelligence (AI) approaches to problem-solving and decision-...
research
10/22/2021

Towards Dynamic Consistency Checking in Goal-directed Predicate Answer Set Programming

Goal-directed evaluation of Answer Set Programs is gaining traction than...

Please sign up or login with your details

Forgot password? Click here to reset