Goal Types in Agent Programming
Mehdi M. Dastani, M. Birna van Riemsdijk, John‐Jules Ch. Meyer · 2006
Abstract. This paper presents three types of declarative goals: perform goals, achieve goals, and maintain goals. The integration of these goal types in a simple but extendable logic-based agentoriented programming language is discussed and motivated. The computational semantics for each goal type is presented by means of a transition system. It is shown that the presented semantics of the goal types ensure some desirable and expected properties. 1