Semantical considerations on nonmonotonic logic
Artificial Intelligence
Communications of the ACM
Towards a theory of declarative knowledge
Foundations of deductive databases and logic programming
A mathematical treatment of defeasible reasoning and its implementation
Artificial Intelligence
Conditional entailment: bridging two approaches to default reasoning
Artificial Intelligence
Default logic for action rule-based systems
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Modern database systems
Static analysis techniques for predicting the behavior of active database rules
ACM Transactions on Database Systems (TODS)
An abstract, argumentation-theoretic approach to default reasoning
Artificial Intelligence
Preferred answer sets for extended logic programs
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
Active Database Systems: Triggers and Rules for Advanced Database Processing
Active Database Systems: Triggers and Rules for Advanced Database Processing
Active Database Rules with Transaction-Conscious Stable-Model Semantics
DOOD '95 Proceedings of the Fourth International Conference on Deductive and Object-Oriented Databases
A system for defeasible argumentation, with defeasible priorities
Artificial intelligence today
Production systems need negation as failure
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Rule-Based Event Processing and Reaction Rules
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
AICI'12 Proceedings of the 4th international conference on Artificial Intelligence and Computational Intelligence
Efficient processing of twig query with compound predicates in fuzzy XML
Fuzzy Sets and Systems
Hi-index | 0.00 |
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 increases 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 to find a course of actions can be computed by a simple bottom-up operator. Stratified production systems can be implemented on top of conventional production systems in two ways. The first way corresponds to the understanding of stratification as a form of priority assignment between rules. We show that this implementation, though sound, is not complete in the general case. Hence, we propose a second implementation by means of an algorithm which transforms a finite stratified production system into a classical one. This is a sound and complete implementation, though computationally hard, as shown in the paper.