Abductive Inference using Array-Based Logic

Jeppe Revall Frisvad, Peter Falster, Gert L. Møller, Niels Jørgen Christensen

    Research output: Book/ReportReportResearch

    348 Downloads (Pure)


    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.
    Original languageEnglish
    PublisherInformatics and Mathematical Modelling, Technical University of Denmark
    Publication statusPublished - 2006


    Dive into the research topics of 'Abductive Inference using Array-Based Logic'. Together they form a unique fingerprint.

    Cite this