A logic-based calculus of events
New Generation Computing
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
The situation calculus and event calculus compared
ILPS '94 Proceedings of the 1994 International Symposium on Logic programming
AgentSpeak(L): BDI agents speak out in a logical computable language
MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away
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
SHOP: simple hierarchical ordered planner
IJCAI'99 Proceedings of the 16th international joint 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
An Introduction to MultiAgent Systems
An Introduction to MultiAgent 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
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
Computational Logic and Human Thinking: How to be Artificially Intelligent
Computational Logic and Human Thinking: How to be Artificially Intelligent
About declarative semantics of logic-based agent languages
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
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
Description logic knowledge and action bases
Journal of Artificial Intelligence Research
| Hi-index | 0.00 |
In this paper we present an agent language that combines agent functionality with a state transition 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 updates 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.