Abductive Equivalence in First-order Logic

In Artificial Intelligence, abduction is often formalized in first-order logic. In this article, we focus on the problem of identifying equivalence of two abductive theories represented in first-order logic. To this end, two definitions of equivalence are given for abduction. Explainable equivalence...

Full description

Saved in:
Bibliographic Details
Published in:Logic journal of the IGPL 2006-03, Vol.14 (2), p.333-346
Main Authors: Inoue, Katsumi, Sakama, Chiaki
Format: Article
Language:English
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!