Goal types in agent programming

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.

• Type: Conference
• Year: 2006
• Where: ATAL
• Authors: Mehdi Dastani, M. Birna van Riemsdijk, John-Jules Ch. Meyer
• Keywords: ATAL 2006, Declarative Goals, Goal Types, Intelligent Agents, Logic-based Agentoriented Programming