Filters








5,278 Hits in 8.6 sec

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  ...  This paper aims to chart out the main developments of the field over the last ten years and to take a critical view of these developments from several perspectives: logical, epistemological, computational  ...  ID-logic is defined as an extension of classical logic with inductive definitions.  ... 
doi:10.1093/logcom/2.6.719 fatcat:3voi2rfiujdsrllrrgbhbf2qzq

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  ...  This paper aims to chart out the main developments of the field over the last ten years and to take a critical view of these developments from several perspectives: logical, epistemological, computational  ...  ID-logic is defined as an extension of classical logic with inductive definitions.  ... 
doi:10.1007/3-540-45628-7_16 fatcat:purq4epxdvbpdcno5r7duilxxa

SLDNFA: An abductive procedure for abductive logic programs

Marc Denecker, Danny de Schreye
1998 The Journal of Logic Programming  
D We present SLDNFA, an extension of SLDNF resolution for abductive reasoning on abductive logic programs.  ...  Their completeness for minimal solutions with respect to implication, cardinality, and set inclusion is investigated.  ...  Since EXTENSIONS OF THE ABDUCTIVE PROCEDURE SLDNFA ° In many applications of abduction (e.g., planning), abductive solutions with minimal cardinality are preferred.  ... 
doi:10.1016/s0743-1066(97)00074-5 fatcat:vctmh2th5fhodad7lj5nrc5qda

Abductive Reasoning for Continual Dialogue Understanding [chapter]

Miroslav Janíček
2012 Lecture Notes in Computer Science  
In this paper I present a continual context-sensitive abductive framework for understanding situated spoken natural dialogue.  ...  The framework builds up and refines a set of partial defeasible explanations of the spoken input, trying to infer the speaker's intention.  ...  I would like to thank Geert-Jan Kruijff for insightful and inspiring discussions, and the reviewers for their comments.  ... 
doi:10.1007/978-3-642-31467-4_2 fatcat:uq4rjat5vjgwbetxis5qfhi6wq

Fuzzy Approaches to Abductive Inference [article]

Nedra Mellouli, Bernadette Bouchon-Meunier
2000 arXiv   pre-print
This paper proposes two kinds of fuzzy abductive inference in the framework of fuzzy rule base. The abductive inference processes described here depend on the semantic of the rule.  ...  We distinguish two classes of interpretation of a fuzzy rule, certainty generation rules and possible generation rules.  ...  Abduction in a fuzzy context For applying fuzzy logic to abduction and particularly to abductive inference, we need to formulate the problem in a general framework.  ... 
arXiv:cs/0003029v1 fatcat:oxh2qpd7gjcbjnz4q7n3c2jppa

Abductive logic programming agents with destructive databases

Robert Kowalski, Fariba Sadri
2011 Annals of Mathematics and Artificial Intelligence  
The language is based on abductive logic programming (ALP), but employs a simplified state-free syntax, with an operational semantics that uses destructive updates to manipulate a database, which represents  ...  Logic programs are used to define macro-actions, intensional predicates, and plans to reduce goals to sub-goals including actions.  ...  We are grateful to Ken Satoh, Luis Moniz Pereira, Harold Boley, Thomas Eiter and Keith Stenning for helpful discussions, and to the anonymous reviewers for their helpful comments.  ... 
doi:10.1007/s10472-011-9253-y fatcat:z6e6q5qp7ngsrmuzkxk34ihoda

Abduction as belief revision

Craig Boutilier, Veronica Beche
1995 Artificial Intelligence  
Explanations must be sufficient to induce belief in the sentence to be explained (for instance, some observation), or ensure its consistency with other beliefs, in a manner that adequately accounts for  ...  To illustrate the generality of our approach, we reconstruct two of the key paradigms for model-based diagnosis, abductive and consistency-based diagnosis, within our framework.  ...  Acknowledgements We would like to thank MoisCs Goldszmidt and David Poole for their helpful suggestions and discussion of this topic.  ... 
doi:10.1016/0004-3702(94)00025-v fatcat:6idqdijdkndgvpub47p5quwgqq

Abduction without Minimality [chapter]

Abhaya C. Nayak, Norman Y. Foo
1999 Lecture Notes in Computer Science  
Apart from providing the relevant representation results, we indicate why an iterated account of abduction is feasible in this framework.  ...  One problem with this strategy is that the agent's working set of models shrinks quickly in the process.  ...  From here onwards we will assume a finitary propositional object language L. 4 Let its logic be represented by a classical logical consequence operation Cn.  ... 
doi:10.1007/3-540-46695-9_31 fatcat:fchtgguecfbpfpfv3mphw4ho5m

Mental State Abduction of BDI-Based Agents [chapter]

Michal P. Sindlar, Mehdi M. Dastani, Frank Dignum, John-Jules Ch. Meyer
2009 Lecture Notes in Computer Science  
Abduced mental states are considered to be explanations of observed behavior, which is assumed to be part of a (goal-directed) plan.  ...  In this paper we present mental state abduction, a technique for inferring the mental states (beliefs, goals) of BDI-based agents from observations of their actions.  ...  The classical logical approach to explaining observations is abduction [5] , which is perhaps best described as reasoning from observation to explanation.  ... 
doi:10.1007/978-3-540-93920-7_11 fatcat:uoajesjk3ja4zalx67bjsqt7ne

Teleo-Reactive Abductive Logic Programs [chapter]

Robert A. Kowalski, Fariba Sadri
2012 Lecture Notes in Computer Science  
In the semantics, the task is to generate actions so that all of the program's goals are true in a minimal model of this associated logic program.  ...  In this paper, we present an abductive logic programming (ALP) representation of TR programs, following the example of our ALP representation of the logic-based production system language LPS.  ...  Many thanks to Keith Clark for awakening our interest in TR programs, and to Clive Spencer and Alan Westwood from Logic Programming Associates for many useful discussions and for their work on the prototype  ... 
doi:10.1007/978-3-642-29414-3_3 fatcat:a6ojcx5o5ba65jqcqooqoedx5i

Applications of abduction: knowledge-level modelling

Tim Menzies
1996 International Journal of Human-Computer Studies  
Also, this abductive a p proach is easily extensible to v alidation; i.e. using t his technique we can implement b o t h inference tools and t esting t ools.  ...  Further, abduction can execute i n v ague and conicting domains which w e believe occur very frequently. We t herefore propose abduction as a framework for knowledge-level modeling.  ...  Abduction is an interesting framework in which to explore non-standard logics 49, 6 3 , 81 .  ... 
doi:10.1006/ijhc.1996.0054 fatcat:t4jnkj7vmbbnxadr5vpwbna2ee

Weighted abduction for plan ascription

Douglas E. Appelt, Martha E. Pollack
1992 User modeling and user-adapted interaction  
In particular, we show how the model of plan ascription developed by Konolige and Pollack can be recast in the framework of weighted abduction, and we discuss the potential advantages and disadvantages  ...  We describe an approach to abductive reasoning called weighted abduction, which uses inference weights to compare competing explanations for observed behavior.  ...  Such rules correspond closely to the classical plan-recognition rules in a system such as Allen's [All83] .  ... 
doi:10.1007/bf01101857 fatcat:24mp4rhnsjapxli67jgwrzd52e

Logic and Abduction: Cognitive Externalizations in Demonstrative Environments

Lorenzo Magnani
2009 THEORIA : an International Journal for Theory, History and Fundations of Science  
In her book Abductive Reasoning Atocha Aliseda (2006) stresses the attention to the logical models of abduction, centering on the semantic tableaux as a method for extending and improving both the whole  ...  I will describe the importance of increasing logical knowledge on abduction also taking advantage of some ideas coming from the so-called distributed cognition where logical models are seen as forms of  ...  I think in logic programming a new idea of logic -contrasted with the classical one-arises, which certainly opens to abduction the door that grants access to its full treatment through logical systems.  ... 
doi:10.1387/theoria.448 doaj:4c24d1e7f4b040b4b3c5e5df9bdaaee5 fatcat:krd6jpbj6faircz6p5fzpglhru

Using Abduction to Evolve Inconsistent Requirements Specification

Bashar Nuseibeh, Alessandra Russo
1999 Australasian Journal of Information Systems  
Our technique is an adaptation of logical abduction -adapted to generate changes that address some specification inconsistencies, while leaving others.  ...  We represent our specifications in quasi-classical (QC) logic -an adaptation of classical logic that allows continued reasoning in the presence of inconsistency.  ...  We would also like to acknowledge the financial support of the UK EPSRC for the projects MISE (GR/L 55964) and VOICI (GR/M 38582).  ... 
doi:10.3127/ajis.v6i2.296 fatcat:s6jloea5zre7xg2ntkwjvs65me

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.  ...  Acknowledgment I would like to thank my colleague, M. Sasikumar, for his valuable comments on this review.  ...  In 1976, Pratt (1976) made the connection between program logic and modal logic, an older tradition in which classical logic is extended with modalities.  ... 
doi:10.1609/aimag.v23i1.1613 dblp:journals/aim/Aliseda02 fatcat:4gvqgglrsjh3heizr3i4xt3vcm
« Previous Showing results 1 — 15 out of 5,278 results