Representing First-Order Causal Theories by Logic Programs

03/23/2011
by   Paolo Ferraris, et al.
0

Nonmonotonic causal logic, introduced by Norman McCain and Hudson Turner, became a basis for the semantics of several expressive action languages. McCain's embedding of definite propositional causal theories into logic programming paved the way to the use of answer set solvers for answering queries about actions described in such languages. In this paper we extend this embedding to nondefinite theories and to first-order causal logic.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
08/30/2011

Translating Answer-Set Programs into Bit-Vector Logic

Answer set programming (ASP) is a paradigm for declarative problem solvi...
research
08/07/2014

Axiomatizing Causal Reasoning

Causal models defined in terms of a collection of equations, as defined ...
research
06/24/2019

Implicitly Learning to Reason in First-Order Logic

We consider the problem of answering queries about formulas of first-ord...
research
06/10/2011

Interdefinability of defeasible logic and logic programming under the well-founded semantics

We provide a method of translating theories of Nute's defeasible logic i...
research
12/15/2009

Multi-valued Action Languages in CLP(FD)

Action description languages, such as A and B, are expressive instrument...
research
03/17/2016

Predicate Gradual Logic and Linguistics

There are several major proposals for treating donkey anaphora such as d...
research
07/20/2023

Characterising Decision Theories with Mechanised Causal Graphs

How should my own decisions affect my beliefs about the outcomes I expec...

Please sign up or login with your details

Forgot password? Click here to reset