TY - RPRT
T1 - Abductive Inference using Array-Based Logic
AU - Frisvad, Jeppe Revall
AU - Falster, Peter
AU - Møller, Gert L.
AU - Christensen, Niels Jørgen
PY - 2006
Y1 - 2006
N2 - The notion of abduction has found its usage within a wide variety of AI fields. Computing abductive solutions has, however, shown to be highly intractable in logic programming. To avoid this intractability we present a new approach to logicbased abduction; through the geometrical view of data employed in array-based logic we embrace abduction in a simple structural operation. We argue that a theory of abduction on this form allows for an implementation which, at runtime, can perform abductive inference quite efficiently on arbitrary rules of logic representing knowledge of finite domains.
AB - The notion of abduction has found its usage within a wide variety of AI fields. Computing abductive solutions has, however, shown to be highly intractable in logic programming. To avoid this intractability we present a new approach to logicbased abduction; through the geometrical view of data employed in array-based logic we embrace abduction in a simple structural operation. We argue that a theory of abduction on this form allows for an implementation which, at runtime, can perform abductive inference quite efficiently on arbitrary rules of logic representing knowledge of finite domains.
M3 - Report
BT - Abductive Inference using Array-Based Logic
PB - Informatics and Mathematical Modelling, Technical University of Denmark
ER -