Production systems need negation as failure
- Asian Institute of Technology, Bangkok (Thailand)
- Univ. of Pisa (Italy)
We study action rule based systems with two forms of negation, namely classical negation and {open_quotes}negation as failure to find a course of actions{close_quotes}. 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.
- OSTI ID:
- 430810
- Report Number(s):
- CONF-960876-; TRN: 96:006521-0185
- Resource Relation:
- Conference: 13. National conference on artifical intelligence and the 8. Innovative applications of artificial intelligence conference, Portland, OR (United States), 4-8 Aug 1996; Other Information: PBD: 1996; Related Information: Is Part Of Proceedings of the thirteenth national conference on artificial intelligence and the eighth innovative applications of artificial intelligence conference. Volume 1 and 2; PB: 1626 p.
- Country of Publication:
- United States
- Language:
- English
Similar Records
Processing negation and disjunction in logic programs through integrity constraints.
Research in functional programming on multiprocessor architectures. Final report