Abstract
We present AgentSpeak(RT), a real-time BDI agent programming language based on AgentSpeak(L). AgentSpeak(RT) extends AgentS- peak intentions with deadlines which specify the time by which the agent should respond to an event, and priorities which specify the relative importance of responding to a particular event. The AgentSpeak(RT) interpreter commits to a priority-maximal set of intentions: A set of intentions which is maximally feasible while preferring higher priority intentions. We prove some properties of the language, such as guaranteed reactivity delay of the AgentS- peak(RT) interpreter and probabilistic guarantees of successful ex-ecution of intentions by their deadlines. Categories and Subject Descriptors 1.2 [Artificial Intelligence]: Programming Languages and Software General Terms Languages, Theory.
| Original language | English |
|---|---|
| Pages | 369-376 |
| Number of pages | 8 |
| Publication status | Published - 2011 |
| Externally published | Yes |
| Event | 10th International Conference on Autonomous Agents and Multiagent Systems 2011, AAMAS 2011 - Taipei, Taiwan, Province of China Duration: 2 May 2011 → 6 May 2011 |
Conference
| Conference | 10th International Conference on Autonomous Agents and Multiagent Systems 2011, AAMAS 2011 |
|---|---|
| Abbreviated title | AAMAS 2011 |
| Country/Territory | Taiwan, Province of China |
| City | Taipei |
| Period | 2/05/11 → 6/05/11 |
Keywords
- Agent programming languages
- Belief desire and intention logics
- Complexity of reasoning