Intention is choice with commitment
Artificial Intelligence
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
ConGolog, a concurrent programming language based on the situation calculus
Artificial Intelligence
Dynamic Logic
A Survey of Concurrent METATEM - the Language and its Applications
ICTL '94 Proceedings of the First International Conference on Temporal Logic
A Formal Embedding of AgentSpeak(L) in 3APL
AI '98 Selected papers from the 11th Australian Joint Conference on Artificial Intelligence on Advanced Topics in Artificial Intelligence
Reasoning about Agents in the KARO Framework
TIME '01 Proceedings of the Eighth International Symposium on Temporal Representation and Reasoning (TIME'01)
Distributed Computing
Reasoning about agent execution strategies
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3
Our Quest for the Holy Grail of Agent Verification
TABLEAUX '07 Proceedings of the 16th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
Goals in conflict: semantic foundations of goals in agent programming
Autonomous Agents and Multi-Agent Systems
Toward a programming theory for rational agents
Autonomous Agents and Multi-Agent Systems
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Reasoning about agent deliberation
Autonomous Agents and Multi-Agent Systems
Hi-index | 0.00 |
Several options are available to relate agent logics to computational agent systems. Among others, one can try to find useful executable fragments of an agent logic or use a model checking approach. In this paper, an alternative approach is explored based on the view that an agent logic is a program logic. Using the same starting point, one of the established agent logics, we ask instead if it is possible to construct a programming language for that agent logic. We show that the programming language and the agent logic are formally related by constructing a denotational semantics. As a result, the agent logic can be used as as a design tool to specify and verify the corresponding agent programs. In particular, we construct an agent programming language that is formally related to the KARO agent logic. The KARO logic is an agent logic that builds on top of dynamic logic. The approach is based on mapping worlds in the modal semantics for KARO onto a state-based semantics. The state-based semantics can be used to define an operational semantics for KARO programs. In this way, we obtain a computationally grounded semantics for a significant part of the KARO logic, including the operators for knowledge or beliefs, motivational attitudes and belief revision actions of a rational KARO agent.