ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
From logic programming towards multi-agent systems
Annals of Mathematics and Artificial Intelligence
A Survey of Concurrent METATEM - the Language and its Applications
ICTL '94 Proceedings of the First International Conference on Temporal Logic
Declarative semantics for active rules
Theory and Practice of Logic Programming
FLUX: A logic programming method for reasoning agents
Theory and Practice of Logic Programming
Computational logic foundations of KGP agents
Journal of Artificial Intelligence Research
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
A common semantic basis for BDI languages
ProMAS'07 Proceedings of the 5th international conference on Programming multi-agent systems
Background sensing control for planning agents working in the real world
International Journal of Intelligent Information and Database Systems
About declarative semantics of logic-based agent languages
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
Abductive logic programming agents with destructive databases
Annals of Mathematics and Artificial Intelligence
Teleo-Reactive abductive logic programs
Logic Programs, Norms and Action
A logic-based framework for reactive systems
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
A production rule-based framework for causal and epistemic reasoning
RuleML'12 Proceedings of the 6th international conference on Rules on the Web: research and applications
Hi-index | 0.00 |
In this paper we present an agent language that combines agent functionality with an action theory and model-theoretic semantics. The language is based on abductive logic programming (ALP), but employs a simplified state-free syntax, with an operational semantics that uses destructive assignment to manipulate a database, which represents the current state of the environment. The language builds upon the ALP combination of logic programs, to represent an agent's beliefs, and integrity constraints, to represent the agent's goals. Logic programs are used to define macro-actions, intensional predicates, and plans to reduce goals to sub-goals including actions. Integrity constraints are used to represent reactive rules, which are triggered by the current state of the database and recent agent actions and external events. The execution of actions and the assimilation of observations generate a sequence of database states. In the case of the successful solution of all goals, this sequence, taken as a whole, determines a model that makes the agent's goals and beliefs all true.