Handbook of theoretical computer science (vol. B)
On proactivity and maintenance goals
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology)
Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology)
2APL: a practical agent programming language
Autonomous Agents and Multi-Agent Systems
Goals in agent systems: a unifying framework
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Suspending and resuming tasks in BDI agents
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 1
Operational semantics of goal models in adaptive agents
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Agent programming with temporally extended goals
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Goal Types in Agent Programming
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Non-monotonic temporal logics for goal specification
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Dynamic interactions between goals and beliefs
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
Planning for temporally extended goals
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Representing long-term and interest BDI goals
ProMAS'09 Proceedings of the 7th international conference on Programming multi-agent systems
Declarative agent programming support for a FIPA-Compliant agent platform
ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
Multi-Agent systems for biomedical simulation: modeling vascularization of porous scaffolds
PRIMA'11 Proceedings of the 14th international conference on Agents in Principle, Agents in Practice
| Hi-index | 0.00 |
Goals are central to the design and implementation of intelligent software agents. Much of the literature on goals and reasoning about goals in agent programming frameworks only deals with a limited set of goal types, typically achievement goals, and sometimes maintenance goals. In this paper we extend a previously proposed unifying framework for goals with additional richer goal types that are explicitly represented as Linear Temporal Logic (LTL) formulae. We show that these goal types can be modelled as a combination of achieve and maintain goals. This is done by providing an operationalization of these new goal types, and showing that the operationalization generates computation traces that satisfy the temporal formula.