A programming logic for part of the agent language 3APL
Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John J. Meyer · 2001
. 3APL is an agent programming language based on the concept of an intelligent agent. An intelligent agent is a computational entity with a mental state consisting of its beliefs and goals. The operational semantics of the language 3APL is specied by a formal semantics in terms of a socalled transition system. An operational semantics allows operational reasoning about agents, but does not allow for a compositional style of reasoning based on the structure of the agent itself. For this purpose, in this paper we construct a denotational semantics which corresponds to the operational semantics and provides the basis for a semantics of a programming logic for (part of) 3APL. The programming logic is a variant of a modal logic with operators for reasoning about the actions and the beliefs of an agent. Our results clarify the relation between more practical approaches to agents, represented by agent programming languages, and more theoretical work on agents, represented by s...