Results 261 to 270 of about 81,667 (309)
Some of the next articles are maybe not open access.
International Journal of Technology Management, 2003
In this keynote address, I present the importance of abduction as a thought process for creative management and R & D in an enterprise.
openaire +1 more source
In this keynote address, I present the importance of abduction as a thought process for creative management and R & D in an enterprise.
openaire +1 more source
ACM Computing Surveys, 1995
The notion of explanation is basilar in many human behaviors and indeed in many elds (such as philosophy or psychology) there is a long tradition in the study of such a notion. In particular, reasoning towards explanation is a basic task in many of the problem solving activities investigated by the AI community.
Pietro Torasso +3 more
openaire +1 more source
The notion of explanation is basilar in many human behaviors and indeed in many elds (such as philosophy or psychology) there is a long tradition in the study of such a notion. In particular, reasoning towards explanation is a basic task in many of the problem solving activities investigated by the AI community.
Pietro Torasso +3 more
openaire +1 more source
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
Synthese, 2007
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
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
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
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
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
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