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 -