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 agent-oriented 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.

Authors

• Mehdi Dastani
• M. Birna van Riemsdijk
• John-Jules Ch. Meyer

Keywords

No keywords are indexed for this paper.