Production systems need negation as failure

Authors:
Phan Minh Dung;Paolo Mancarella
Affiliations:
Asian Institute of Technology, Bangkok, Thailand;Dipartimento di Informatica, University of Pisa, University of Pisa, Pisa, Italy
Venue:
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Year:
1996

Citing 6
Cited 2

Semantical considerations on nonmonotonic logic

Artificial Intelligence
Rule-based systems

Communications of the ACM
Towards a theory of declarative knowledge

Foundations of deductive databases and logic programming
Default logic for action rule-based systems

ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games

Artificial Intelligence
Unfounded sets and well-founded semantics for general logic programs

Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems

Production Systems with Negation as Failure

IEEE Transactions on Knowledge and Data Engineering
Abduction with Negation as Failure for Active and Reactive Rules

AI*IA '99 Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

We study action rule based systems with two forms of negation, namely classical negation and "negation as failure to find a course of actions". We show by several examples that adding negation as failure to such systems increase their expressiveness, in the sense that real life problems can be represented in a natural and simple way. Then, we address the problem of providing a formal declarative semantics to these extended systems, by adopting an argumentation based approach, which has been shown to be a simple unifying framework for understanding the declarative semantics of various nonmonotonic formalisms. In this way, we naturally define the grounded (well-founded), stable and preferred semantics for production systems with negation as failure. Next, we characterize the class of stratified production systems, which enjoy the properties that the above mentioned semantics coincide and that negation as failure can be computed by a simple bottom-up operator.