An operational semantics for the single agent core of AGENT0
Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, J-J.Ch. Meyer · 1999
AGENT0 is an agent-oriented programming (AOP) language, designed by Shoham [10]. An AGENT0 agent is an entity with a complex mental state, consisting of beliefs and commitments. On the one hand, in [10] the properties of the mental state of agents are formally introduced by a modal logic. On the other hand, the programming language AGENT0 for programming agents is only informally introduced. The link between the modal logic and the programming language AGENT0, however, is unclear. One of the more important mismatches is that the logic does not specify how the mental states of agents change over time. In the programming language so-called commitment rules are used for this purpose. In this paper, we provide a clear and formal operational semantics for AGENT0, focusing on individual agents, which species both the static and the dynamic aspects of the mental states of AGENT0 agents. The proposal for a semantics for AGENT0 is split up in two separate layers. By introducing two...