This report presents sound tableau rules for abductive reasoning in only-knowing logic, indicating a proof-theoretic foundation may be established.
Introduced by Hector Levesque in the 1990s, the logic of only-knowing (OL) has proven to be a rich framework for knowledge representation, a central topic in Artificial Intelligence. Since then, various extensions of OL have been explored by different authors. More recently, S. Molick and V. Belle extended OL to incorporate abductive reasoning, resulting in the logic of only-knowing and abduction (AOL). In this paper, we present sound and complete tableau rules for AOL, providing a preliminary step toward the development of an adequate proof-theoretic foundation for abductive reasoning within this extended logic.
No takes yet. Share an insight, caveat, or question.
Molick et al. (2025) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: