TY - GEN
T1 - Abductive reasoning with abstraction axioms
AU - Console, Luca
AU - Dupre, Daniele Theseider
N1 - Publisher Copyright:
© 1994, Springer Verlag. All rights reserved.
PY - 1994
Y1 - 1994
N2 - This paper deals with abductive reasoning on knowledge bases that are expressed at different levels of abstraction, but are not necessarily organized as a set of increasingly more abstract models, each one giving a complete (even if abstracted) description of a domain. We claim that the search for abductive explanations in such a context and, in particular, the choice of the “right” level at which explanations have to be determined, should be driven by the available observations in such a way that explanations involving low-level phenomena are allowed only if there are specific observations related to them, or higher-level explanations cannot be found. We present formal definitions following this principle and we discuss how explanations can be computed according to the definition.
AB - This paper deals with abductive reasoning on knowledge bases that are expressed at different levels of abstraction, but are not necessarily organized as a set of increasingly more abstract models, each one giving a complete (even if abstracted) description of a domain. We claim that the search for abductive explanations in such a context and, in particular, the choice of the “right” level at which explanations have to be determined, should be driven by the available observations in such a way that explanations involving low-level phenomena are allowed only if there are specific observations related to them, or higher-level explanations cannot be found. We present formal definitions following this principle and we discuss how explanations can be computed according to the definition.
UR - http://www.scopus.com/inward/record.url?scp=85026679084&partnerID=8YFLogxK
U2 - 10.1007/3-540-58107-3_6
DO - 10.1007/3-540-58107-3_6
M3 - Conference contribution
AN - SCOPUS:85026679084
SN - 9783540581079
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 98
EP - 112
BT - Foundations of Knowledge Representation and Reasoning
A2 - Lakemeyer, Gerhard
A2 - Nebel, Bernhard
PB - Springer Verlag
T2 - Workshop on Theoretical Foundations of Knowledge Representation and Reasoning held in conjunction with 10th European Conference on Artificial Intelligence, ECAI 1992
Y2 - 3 August 1992 through 7 August 1992
ER -