Negation as failure and constraints through abduction and defaults

L. Giordano, A. Martelli, M. L. Sapino

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

The paper presents an extension of the abduction framework proposed by Eshghi and Kowalski to give the semantics of negation as failure in logic programming. The extension allows to cope with the presence of integrity constraints, not only for pruning inconsistent solutions, but for computing new solutions. This is achieved by adding constraints to the program and using them as logical formulae. Furthermore a new semantics based on defaults, equivalent to the previous one, is given for logic programs with negation as failure and constraints. Finally a transformation is presented which allows constraints to be eliminated, so that proof procedures for general clauses without constraints will be applicable. The approach proposed in this paper is applicable not only to logic programs with negation as failure but to other nonmonotonic formalisms as well, and, for instance, it can be used to give a semantic characterization to justification-based Truth Maintenance Systems with dependency-directed backtracking.

Original languageEnglish
Title of host publicationTrends in Artificial Intelligence - 2nd Congress of the Italian Association for Artificial Intelligence, AI*IA, Proceedings
EditorsEdoardo Ardizzone, Salvatore Gaglio, Filippo Sorbello
PublisherSpringer Verlag
Pages78-87
Number of pages10
ISBN (Print)9783540547129
DOIs
Publication statusPublished - 1991
Externally publishedYes
Event2nd Congress of the Italian Association for Artificial Intelligence, AI*IA 1991 - Palermo, Italy
Duration: 29 Oct 199131 Oct 1991

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume549 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference2nd Congress of the Italian Association for Artificial Intelligence, AI*IA 1991
Country/TerritoryItaly
CityPalermo
Period29/10/9131/10/91

Fingerprint

Dive into the research topics of 'Negation as failure and constraints through abduction and defaults'. Together they form a unique fingerprint.

Cite this