Abstract. Goals are central to the design and implementation of intelligent software agents. Much of the literature on goals and reasoning about goals only deals with a limited set of goal types, typically achievement goals, and sometimes maintenance goals; and much of the work on interactions between goals only deals with achievement goals. We aim at extending a previously proposed unifying framework for goals with additional richer goal types, including a combined "achieve and maintain" goal type. We propose to provide an operationalization of these new goal types, proving that the operationalization meets desired properties.
Michael Winikoff, Mehdi Dastani, M. Birna van Riem