Model-Baded Abduction via Dual Resolution

Logic Journal of the IGPL 14 (2):305-319 (2006)
  Copy   BIBTEX

Abstract

This papers presents δ-resolution, a dual resolution calculus. It is based on standard resolution, and used appropriate formulae equivalent to disjunctive normal forms, instead of conjunctive normal ones, as it is the case for resolution. This duality is then useful to create a calculus for abductive process, as a way to construct a set of abductive solutions. The proposed calculus is compared to semantic tableaux, an standard logical framework, aslo illuminating when studying abduction.δ-resolution calculus is a contribution to logic programming, and it further suggests new possibilities to explore abduction at a first order level, in the lines of those proposed in [9]

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

A Resolution Calculus For Shortening Proofs.Nicolas Peltier - 2005 - Logic Journal of the IGPL 13 (3):307-333.
The Complexity of Resolution Refinements.Joshua Buresh-Oppenheim & Toniann Pitassi - 2007 - Journal of Symbolic Logic 72 (4):1336 - 1352.
Mints type deductive calculi for logic programming.J. C. Shepherdson - 1992 - Annals of Pure and Applied Logic 56 (1-3):7-17.
Resolution calculus for the first order linear logic.Grigori Mints - 1993 - Journal of Logic, Language and Information 2 (1):59-83.
Pool resolution is NP-hard to recognize.Samuel R. Buss - 2009 - Archive for Mathematical Logic 48 (8):793-798.
Resolution-based methods for modal logics.H. de Nivelle, R. Schmidt & U. Hustadt - 2000 - Logic Journal of the IGPL 8 (3):265-292.

Analytics

Added to PP
2015-02-04

Downloads
19 (#778,470)

6 months
3 (#992,474)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Ángel Nepomuceno Fernández
Universidad de Sevilla
Fernando Soler Toscano
Universidad de Sevilla
Atocha Aliseda
National Autonomous University of Mexico

Citations of this work

A verisimilitudinarian analysis of the Linda paradox.Gustavo Cevolani, Vincenzo Crupi & Roberto Festa - 2012 - VII Conference of the Spanish Society for Logic, Methodology and Philosphy of Science.

Add more citations

References found in this work

Gentzen-type systems, resolution and tableaux.Arnon Avron - 1993 - Journal of Automated Reasoning 10:265-281.

Add more references