Filters








28,622 Hits in 2.5 sec

A system for abductive learning of logic programs [chapter]

Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi
1998 Lecture Notes in Computer Science  
We present the system LAP (Learning Abductive Programs) that is able to learn abductive logic programs from examples and from a background abductive theory.  ...  In the new problem definition, both the background and the target theories are abductive logic programs and abductive derivability is used as the coverage relation.  ...  Acknowledgment We would like to thank the anonymous referees and participants of the post-ILPS97 Workshop on Logic Programming and Knowledge Representation for useful comments and insights on this work  ... 
doi:10.1007/bfb0054792 fatcat:wcmhatyk6zbafbxw72tascd5nq

ON THE USE OF LOGICAL ABDUCTION IN SOFTWARE ENGINEERING [chapter]

ALESSANDRA RUSSO, BASHAR NUSEIBEH
2001 Handbook of Software Engineering and Knowledge Engineering  
We present a general overview of logical abduction and describe two abductive reasoning techniques, developed from the logic and expert system communities.  ...  In this paper we survey recent work on the use of abduction as a knowledge-based reasoning technique for analysing software specifications.  ...  Acknowledgements Many thanks to Tim Menzies and Ken Satoh for providing useful insights about their respective abductive approaches, to Tony Kakas for useful discussions about abduction and abductive tools  ... 
doi:10.1142/9789812389718_0037 fatcat:xb3d225c7zgyfojj62vuvcdpci

Abduction in Logic Programming [chapter]

Marc Denecker, Antonis Kakas
2002 Lecture Notes in Computer Science  
Abduction in Logic Programming started in the late 80s, early 90s, in an attempt to extend logic programming into a framework suitable for a variety of problems in Artificial Intelligence and other areas  ...  Eshghi [28] introduced abduction in logic programming in order to solve planning problems in the Event Calculus [65] .  ...  The SLDNFAC system [117] is developed at the K.U.Leuven and implements abduction in the context of ID-Logic, supporting directly general first order classical axioms in the language and higher order  ... 
doi:10.1007/3-540-45628-7_16 fatcat:purq4epxdvbpdcno5r7duilxxa

Abductive Logic Programming

A. C. KAKAS, R. A. KOWALSKI, F. TONI
1992 Journal of Logic and Computation  
Abduction in Logic Programming started in the late 80s, early 90s, in an attempt to extend logic programming into a framework suitable for a variety of problems in Artificial Intelligence and other areas  ...  Eshghi [28] introduced abduction in logic programming in order to solve planning problems in the Event Calculus [65] .  ...  The SLDNFAC system [117] is developed at the K.U.Leuven and implements abduction in the context of ID-Logic, supporting directly general first order classical axioms in the language and higher order  ... 
doi:10.1093/logcom/2.6.719 fatcat:3voi2rfiujdsrllrrgbhbf2qzq

Merging Deductive and Abductive Knowledge Bases: An Argumentation Context Approach

Juan Carlos Nieves, Helena Lindgren
2013 POLIBITS Research Journal on Computer Science and Computer Engineering With Applications  
We illustrate the approach by considering two different declarative specifications of evidence-based medical knowledge into logic programs in order to support informed medical decisions.  ...  In this paper, we explore an argumentation context approach, which follows how medical professionals typically reason, in order to merge two basic kinds of reasoning approaches based on logic programs:  ...  In order to define the semantics of default argumentation context systems, the acceptable states of a given default argumentation context system will be defined as follows.  ... 
doi:10.17562/pb-48-5 fatcat:ksysmohl7zhyzhdytrjcahaike

An Experimental CLP Platform for Integrity Constraints and Abduction [chapter]

Slim Abdennadher, Henning Christiansen
2001 Flexible Query Answering Systems  
Integrity constraint and abduction are important in query-answering systems for enhanced query processing and for expressing knowledge in databases.  ...  Section 3 presents a translation of logic programs with integrity constraints into CHR ¥ programs. In Section 4, we show how abductive frameworks can be formalized in CHR ¥ .  ...  The requirements for a constraint solver are essentially the same as those posed by traditional constraint logic programming systems with backward chaining.  ... 
doi:10.1007/978-3-7908-1834-5_13 dblp:conf/fqas/AbdennadherC00 fatcat:odzjf3puhnc4dig42cgz5qnvya

ACLP: Integrating Abduction and Constraint Solving [article]

Antonis Kakas
2000 arXiv   pre-print
ACLP is a system which combines abductive reasoning and constraint solving by integrating the frameworks of Abductive Logic Programming (ALP) and Constraint Logic Programming (CLP).  ...  The ACLP system is currently implemented on top of the CLP language of ECLiPSe as a meta-interpreter exploiting its underlying constraint solver for finite domains.  ...  An ACLP program, < P, A, IC >, can contain negation as failure literals in P and IC. Negation as failure is handled through abduction simply as another type of abducible in the theory.  ... 
arXiv:cs/0003020v2 fatcat:xf4k3n3xdzf25ijrkjbe66jtbu

Inspecting Side-Effects of Abduction in Logic Programs [chapter]

Luís Moniz Pereira, Alexandre Miguel Pinto
2011 Lecture Notes in Computer Science  
) in order to help choose among abductive solutions.  ...  In the context of abduction in Logic Programs, when finding an abductive solution for a query, one may want to check too whether some other literals become true (or false) as a consequence, strictly within  ...  meta-interpreter, that might be imported into other abduction systems.  ... 
doi:10.1007/978-3-642-20832-4_10 fatcat:tmmoytpk7bcodmjbaqfk6pgjd4

A Causal Theory of Abduction

A. Bochman
2007 Journal of Logic and Computation  
The representation covers in a single framework not only traditional, 'classical' forms of abduction, but also abductive reasoning in diagnosis, theories of actions and change, and abductive logic programming  ...  The paper provides a uniform representation of abductive reasoning in the logical framework of causal inference relations.  ...  Just as general abductive systems, abductive logic programs are defined as pairs (Π, A), where Π is a logic program, while A a set of propositional atoms called abducibles.  ... 
doi:10.1093/logcom/exm045 fatcat:4ow5dp6kazb2pnlnxufemelr3q

TABLING WITH INTERNED TERMS ON CONTEXTUAL ABDUCTION

Muhammad Okky Ibrohim, Ari Saptawijaya
2019 Jurnal Ilmu Komputer dan Informasi  
This feature enables us to store the abductive solutions as interned ground terms in a global area only once so that the use of table space to store abductive solutions becomes more efficient.  ...  We implemented this improvement to a prototype, called as TABDUAL+INT.  ...  order answer subsumption using predicate subset/2 as its partial order relation between abductive solutions by adding the directive below [6] : :-table good grades ab (po(subset/2)). • mode i: the system  ... 
doi:10.21609/jiki.v12i1.569 fatcat:nd4sgp2b4jg7ta4h4bcbivyv3i

Abduction, Reason, and Science: A Review

Atocha Aliseda-Llera
2002 The AI Magazine  
Her main research interests are abductive logic and the connection between philosophy of science and AI.  ...  For Paul Thagard, several kinds of abduction play a key role as heuristic strategies in the program PI (for "processes of induction"), a working system devoted to explaining in computational terms the  ...  a formal system for reasoning about programs.  ... 
doi:10.1609/aimag.v23i1.1613 dblp:journals/aim/Aliseda02 fatcat:4gvqgglrsjh3heizr3i4xt3vcm

Logic Programming Approaches for Representing and Solving Constraint Satisfaction Problems: A Comparison [article]

Nikolay Pelov, Emmanuel De Mot, Marc Denecker
2000 arXiv   pre-print
On the other hand there are systems based on stable model semantics, abductive systems, and first order logic model generators which compute solutions as models of some theory.  ...  On the one hand there is constraint logic programming which computes a solution as an answer substitution to a query containing the variables of the constraint satisfaction problem.  ...  The SLDNFAC system uses ID-Logic [1] as specification language which is transformed into an abductive logic program by using a Lloyd-Topor transformation.  ... 
arXiv:cs/0011030v1 fatcat:rh44kwqohjairg3pqcdlinygd4

Equivalence issues in abduction and induction

Chiaki Sakama, Katsumi Inoue
2009 Journal of Applied Logic  
Inoue and Sakama [9,10] study the problem of equivalence of abductive theories under first-order logic and abductive logic programming (ALP).  ...  Three different problems: equivalence of theories, equivalence of explanations, and equivalence of observations are considered in the context of first-order logic and nonmonotonic logic programming.  ...  Comparing first-order abduction and abductive logic programming, logical equivalence characterizes each problem in first-order abduction.  ... 
doi:10.1016/j.jal.2008.10.006 fatcat:auy26ov35rhhrltgqjnotyqcl4

HYPROLOG: A New Logic Programming Language with Assumptions and Abduction [chapter]

Henning Christiansen, Veronica Dahl
2005 Lecture Notes in Computer Science  
as well) as CHR constraints.  ...  Assumptions and abduction are especially useful for language processing, and we can show how HYPROLOG works seamlessly together with the grammar notation provided by the underlying Prolog system.  ...  This work was supported by the CONTROL project, funded by the Danish Natural Science Research Council; we also gratefully acknowledge support from Canada's NSERC Discovery Grant program.  ... 
doi:10.1007/11562931_14 fatcat:ryrnilnr5ndgzffhi45gv7w7hq

Bi-Abductive Inference for Shape and Ordering Properties

Christopher Curry, Quang Loc Le, Shengchao Qin
2019 2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS)  
To extend this impact towards the combination of shape and arithmetic domains, in this work, we present a novel one-stage bi-abductive procedure for a combination of data structures and ordering values  ...  We demonstrate our proposal through several interesting examples to show that it is promising for an automated verification of heap-manipulating programs.  ...  Program variables are defined as italic characters, and refer to variables originating from within the program itself.  ... 
doi:10.1109/iceccs.2019.00031 dblp:conf/iceccs/CurryLQ19 fatcat:36rpqduwfvfnhgwuyxtsjszx3u
« Previous Showing results 1 — 15 out of 28,622 results