A logic-based calculus of events
New Generation Computing
SOAR: an architecture for general intelligence
Artificial Intelligence
Journal of Logic Programming
Readings in nonmonotonic reasoning
A theorem-proving approach to database integrity
Foundations of deductive databases and logic programming
Probabilistic Horn abduction and Bayesian networks
Artificial Intelligence
Automatic generation of production rules for integrity maintenance
ACM Transactions on Database Systems (TODS)
Abduction and abductive logic programming
Proceedings of the eleventh international conference on Logic programming
Using meta-logic to reconcile reactive with rational agents
Meta-logics and logic programming
A structured approach for the definition of the semantics of active databases
ACM Transactions on Database Systems (TODS)
A logic-based integration of active and deductive databases
New Generation Computing
The independent choice logic for modelling multiple agents under uncertainty
Artificial Intelligence - Special issue on economic principles of multi-agent systems
Executing suspended logic programs
Fundamenta Informaticae - Special issue on foundations of constraint programming
From logic programming towards multi-agent systems
Annals of Mathematics and Artificial Intelligence
Production Systems with Negation as Failure
IEEE Transactions on Knowledge and Data Engineering
Integrity Checking in Deductive Databases
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Deriving Production Rules for Constraint Maintainance
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
On Active Deductive Databases: The Statelog Approach
ILPS '97 International Seminar on Logic Databases and the Meaning of Change, Transactions and Change in Logic Databases
Towards a Unified Agent Architecture that Combines Rationality with Reactivity
LID '96 Proceedings of the International Workshop on Logic in Databases
A Formal Specification of dMARS
ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
On the Unification of Active Databases and Deductive databases
BNCOD 11 Proceedings of the 11th British National Conference on Databases: Advances in Databases
Artificial Intelligence: A Modern Approach
Artificial Intelligence: A Modern Approach
TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge
Computational logic foundations of KGP agents
Journal of Artificial Intelligence Research
Theory and Practice of Logic Programming
A common semantic basis for BDI languages
ProMAS'07 Proceedings of the 5th international conference on Programming multi-agent systems
An event-condition-action logic programming language
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Declarative semantics of production rules for integrity maintenance
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
The logical way to be artificially intelligent
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
An agent language with destructive assignment and model-theoretic semantics
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
Abductive logic programming agents with destructive databases
Annals of Mathematics and Artificial Intelligence
Formalizing production systems with rule-based ontologies
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
Teleo-Reactive abductive logic programs
Logic Programs, Norms and Action
Simulating production rules using ACTHEX
Correct Reasoning
A logic-based framework for reactive systems
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
| Hi-index | 0.00 |
In this paper we argue the case for integrating the distinctive functionalities of logic programs and production systems within an abductive logic programming agent framework. In this framework, logic programs function as an agent's beliefs and production rules function as the agent's goals. The semantics and proof procedures are based on abductive logic programming, in which logic programs are integrated with integrity constraints that behave like production rules. Similarly to production systems, the proof procedure is an operational semantics, which manipulates the current state of a database, which is modified by actions implemented by destructive assignment. The semantics can be viewed as generating a model, based on the sequence of database states and logic program, which makes the production rules true.