Results 221 to 230 of about 61,454 (266)
Some of the next articles are maybe not open access.
Logic Journal of the IGPL, 2006
"Projectual abduction" is the inference drawing the means to achieve an end. Its role in practical reasoning is pointed out together with its relations to other kinds of inference.
openaire +2 more sources
"Projectual abduction" is the inference drawing the means to achieve an end. Its role in practical reasoning is pointed out together with its relations to other kinds of inference.
openaire +2 more sources
AI Communications, 1991
The aim of this paper is to present a novel approach to the problem of focusing abductive (model-based) diagnosis. The approach we propose is based on the use of compiled knowledge and, specifically, on the possibility of associating with each entity in a model a necessary condition for the presence of the entity itself.
CONSOLE L +2 more
openaire +2 more sources
The aim of this paper is to present a novel approach to the problem of focusing abductive (model-based) diagnosis. The approach we propose is based on the use of compiled knowledge and, specifically, on the possibility of associating with each entity in a model a necessary condition for the presence of the entity itself.
CONSOLE L +2 more
openaire +2 more sources
Logic Journal of IGPL, 2008
In this paper we explore a generalization of traditional abduction which can simultaneously perform two differ- ent tasks: (i) given an unprovable sequent G, find a sentence H such that , HG is provable (hypothesis generation); (ii) given a provable sequent G, find a sentence H such that H and the proof of , HG is simpler than the proof ...
Marcello D'Agostino +2 more
openaire +2 more sources
In this paper we explore a generalization of traditional abduction which can simultaneously perform two differ- ent tasks: (i) given an unprovable sequent G, find a sentence H such that , HG is provable (hypothesis generation); (ii) given a provable sequent G, find a sentence H such that H and the proof of , HG is simpler than the proof ...
Marcello D'Agostino +2 more
openaire +2 more sources
Constraints, 2000
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Maroua Bouzid, Antoni Ligeza
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Maroua Bouzid, Antoni Ligeza
openaire +2 more sources
1997
We investigate how abduction and induction can be integrated into a common learning framework through the notion of Abductive Concept Learning (ACL). ACL is an extension of Inductive Logic Programming (ILP) to the case in which both the background and the target theory are abductive logic programs and where an abductive notion of entailment is used as ...
Kakas, Antonis C. +3 more
openaire +3 more sources
We investigate how abduction and induction can be integrated into a common learning framework through the notion of Abductive Concept Learning (ACL). ACL is an extension of Inductive Logic Programming (ILP) to the case in which both the background and the target theory are abductive logic programs and where an abductive notion of entailment is used as ...
Kakas, Antonis C. +3 more
openaire +3 more sources
Abduction is not Deduction-in-Reverse
Logic Journal of IGPL, 1996Summary: Abduction is a topic that attracts much interest in AI and automated reasoning research. Different approaches have been devised, that give a formalized account of explanatory reasoning, propose methods to compute explanations, frame abduction in the context of logic programming.
Marta Cialdea Mayer +1 more
openaire +2 more sources
Fundamenta Informaticae, 1996
This paper describes a change theory based on abductive reasoning. We take the AGM postulates for revisions, expansions and contractions, and Katsuno and Mendelzon postulates for updates and incorporate abduction into them. A key feature of the theory is that presents a unified view of standard change operators and abductive change operators rather ...
Jorge Lobo 0001, Carlos Uzcátegui
openaire +2 more sources
This paper describes a change theory based on abductive reasoning. We take the AGM postulates for revisions, expansions and contractions, and Katsuno and Mendelzon postulates for updates and incorporate abduction into them. A key feature of the theory is that presents a unified view of standard change operators and abductive change operators rather ...
Jorge Lobo 0001, Carlos Uzcátegui
openaire +2 more sources
1999
Diagnostic problem solving aims to explain an observed divergence from the proper functioning of some case, human or other. The paper presents a temporal-abductive framework for diagnostic problem solving focusing on the integration of time. It is argued that time can be intrinsically relevant to diagnostic reasoning and as such it should be treated as
Keravnou-Papailiou, Elpida T. +3 more
openaire +2 more sources
Diagnostic problem solving aims to explain an observed divergence from the proper functioning of some case, human or other. The paper presents a temporal-abductive framework for diagnostic problem solving focusing on the integration of time. It is argued that time can be intrinsically relevant to diagnostic reasoning and as such it should be treated as
Keravnou-Papailiou, Elpida T. +3 more
openaire +2 more sources
Knowledge assimilation and abduction
2006We argue that Abduction is useful for the problem of Knowledge Assimilation and use it to study the problems of Belief Revision and Truth Maintenance (TM) associated with the task of assimilating a series of observations Q1,...Qn. The close connection between Abduction and TM shown in [Reiter&de Kleer87] is explored further to provide a non-monotonic ...
KAKAS, AC, MANCARELLA, PAOLO MARIA
openaire +2 more sources