This paper presents the specification of a programming language for implementing the deliberation cycle of cognitive agents. The mental attitudes of cognitive agents are assumed to be represented in an object language. The implementation language for the deliberation cycle is considered as a meta-language the terms of which denote formulae from the object language. Without losing generality, we use the agent programming language 3APL as the object language. Using the meta-deliberation language, one can program the deliberation process of a cognitive agent. We discuss a set of programming constructs that can be used to program various aspects of the deliberation cycle including the planning constructs. Categories and Subject Descriptors I.2.11 [Artificial Intelligence]: Distributed Artificial Intelligence—multi-agent systems; D.3.1 [Programming Languages]: Formal Definitions and Theory—Syntax, Semantics General Terms Design, Languages, Theory Keywords Agent Programming, Agent D...
Mehdi Dastani, Frank S. de Boer, Frank Dignum, Joh