Abstract
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. Categories and Subject Descriptors 1.2.11 [Artificial Intelligence]: Distributed Artificial Intelligence- Intelligent agents, languages and structures; 1.2.5 [Artificial Intelligence]: Programming Languages and Software General Terms Theory, Languages.
| Original language | English |
|---|---|
| Title of host publication | 8th International Joint Conference on Autonomous Agents and Multiagent Systems 2009, AAMAS 2009 |
| Publisher | International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS) |
| Pages | 110-117 |
| Number of pages | 8 |
| Volume | 1 |
| ISBN (Print) | 9781615673346 |
| Publication status | Published - 1 Jan 2009 |
| Externally published | Yes |
| Event | 8th International Joint Conference on Autonomous Agents and Multiagent Systems 2009, AAMAS 2009 - Budapest, Hungary Duration: 10 May 2009 → 15 May 2009 |
Conference
| Conference | 8th International Joint Conference on Autonomous Agents and Multiagent Systems 2009, AAMAS 2009 |
|---|---|
| Country/Territory | Hungary |
| City | Budapest |
| Period | 10/05/09 → 15/05/09 |
Keywords
- Agent programming
- Formal semantics
- Goals
- Temporal logic