Intention is choice with commitment
Artificial Intelligence
Handbook of theoretical computer science (vol. B)
Artificial intelligence and mathematical theory of computation
Using temporal logics to express search control knowledge for planning
Artificial Intelligence
Hierarchical planning in BDI agent programming languages: a formal approach
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
On proactivity and maintenance goals
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Planning with preferences using logic programming
Theory and Practice of Logic Programming
Linear temporal logic as an executable semantics for planning languages
Journal of Logic, Language and Information
Maintenance goals of agents in a dynamic environment: Formulation and policy construction
Artificial Intelligence
Suspending and resuming tasks in BDI agents
Proceedings of the 7th international joint 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
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
Goal representation for BDI agent systems
ProMAS'04 Proceedings of the Second international conference on Programming Multi-Agent Systems
DecSerFlow: towards a truly declarative service flow language
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
MATES'09 Proceedings of the 7th German conference on Multiagent system technologies
Formalizing organizational constraints: a semantic approach
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Operational behaviour for executing, suspending, and aborting goals in BDI agent systems
DALT'10 Proceedings of the 8th international conference on Declarative agent languages and technologies VIII
Rich goal types in agent programming
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Towards reasoning with partial goal satisfaction in intelligent agents
ProMAS'10 Proceedings of the 8th international conference on Programming Multi-Agent Systems
Logical foundations for a rational BDI agent programming language
ProMAS'11 Proceedings of the 9th international conference on Programming Multi-Agent Systems
Relating goal and commitment semantics
ProMAS'11 Proceedings of the 9th international conference on Programming Multi-Agent Systems
MAS: qualitative and quantitative reasoning
ProMAS'11 Proceedings of the 9th international conference on Programming Multi-Agent Systems
An operational semantics for the goal life-cycle in BDI agents
Autonomous Agents and Multi-Agent Systems
Hi-index | 0.00 |
In planning as well as in other areas, temporal logic has been used to specify so-called temporally extended goals. Temporally extended goals refer to desirable sequences of states instead of a set of desirable final states as the traditional notion of achievement goal does, and provide for more variety in the types of goals allowed. In this paper, we show how temporally extended goals can be integrated into the agent programming language Goal. The result is that Goal agents may now have both beliefs about the future as well as have temporally extended goals. We propose a new decision making mechanism that takes temporally extended goals into account, and investigate properties of this framework.