Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
AgentSpeak(L): BDI agents speak out in a logical computable language
MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away
JAM: a BDI-theoretic mobile agent architecture
Proceedings of the third annual conference on Autonomous Agents
Theory for coordinating concurrent hierarchical planning agents using summary information
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
The tropos software development methodology: processes, models and diagrams
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
Programming agent deliberation: an approach illustrated using the 3APL language
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Detecting & exploiting positive goal interaction in intelligent agents
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Detecting & avoiding interference between goals in intelligent agents
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Goal representation for BDI agent systems
ProMAS'04 Proceedings of the Second international conference on Programming 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
Motivations as an Abstraction of Meta-level Reasoning
CEEMAS '07 Proceedings of the 5th international Central and Eastern European conference on Multi-Agent Systems and Applications V
Goals in conflict: semantic foundations of goals in agent programming
Autonomous Agents and Multi-Agent Systems
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
DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
On the Life-Cycle of BDI Agent Goals
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
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
Computationally Effective Reasoning About Goal Interactions
Journal of Automated Reasoning
Rich goal types in agent programming
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Agent deliberation via forward and backward chaining in linear logic
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
Reasoning about agent programs using ATL-Like logics
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Collaborative health care plan support
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Using strategic logics to reason about agent programs
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
An operational semantics for the goal life-cycle in BDI agents
Autonomous Agents and Multi-Agent Systems
Hi-index | 0.00 |
Goals are an important concept in intelligent agent systems, and can take a variety of forms. One such form is maintenance goals, which, unlike achievement goals, define states that must remain true, rather than a state that is to be achieved. Maintenance goals are generally restricted to acting as trigger conditions for goals or plans, and often take no part in any deliberation process. These goals are reactive and are only acted upon when the maintenance conditions are no longer true. In this paper, we study maintenance goals that are proactive, in that the agent system needs to not only react when the maintenance conditions fail, but also anticipate the failures of these conditions, and act in order to avoid them failing. This can be done by performing actions that prevent the condition from failing, or suspending goals that will cause the maintenance conditions to fail. We provide a representation for maintenance goals that captures both their reactive and proactive aspects, algorithms that identify in advance where maintenance conditions may not hold, and mechanisms for enabling preventative actions in such situations. We also provide some experimental results on an implementation of these ideas.