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