TY - GEN
T1 - The different roles of abstraction in abductive reasoning
AU - Dupré, Daniele Theseider
AU - Rossotto, Mauro
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1995.
PY - 1995
Y1 - 1995
N2 - The use of knowledge at different levels of abstraction can be proposed to make automated abduction more flexible. This paper analyzes several declarative and computational ways of exploiting abstractions in abduction, including the definition and implementation of preference criteria for explanations based on abstraction, and the use of abstractions to focus the explanation process.
AB - The use of knowledge at different levels of abstraction can be proposed to make automated abduction more flexible. This paper analyzes several declarative and computational ways of exploiting abstractions in abduction, including the definition and implementation of preference criteria for explanations based on abstraction, and the use of abstractions to focus the explanation process.
UR - http://www.scopus.com/inward/record.url?scp=84957683998&partnerID=8YFLogxK
U2 - 10.1007/3-540-60437-5_20
DO - 10.1007/3-540-60437-5_20
M3 - Conference contribution
AN - SCOPUS:84957683998
SN - 3540604375
SN - 9783540604372
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 211
EP - 216
BT - Topics in Artificial Intelligence - 4th Congress of the Italian Association for Artificial Intelligence AI*IA 1995, Proceedings
A2 - Gori, Marco
A2 - Soda, Giovanni
PB - Springer Verlag
T2 - 4th Congress of the Italian Association for Artificial Intelligence, AI*IA 1995
Y2 - 11 October 1995 through 13 October 1995
ER -