Fairness
Belief Revision
Rational action in agent programs with prioritized goals
AAMAS '03 Proceedings of the second 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
Goal-oriented modularity in agent programming
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
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
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
A goal deliberation strategy for BDI agent systems
MATES'05 Proceedings of the Third German conference on Multiagent System Technologies
Goals in agent systems: a unifying framework
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming
Declarative Agent Languages and Technologies VI
Agent programming with temporally extended goals
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Agent Architectures for Compliance
ESAW '09 Proceedings of the 10th International Workshop on Engineering Societies in the Agents World X
Programming Organization-Aware Agents
ESAW '09 Proceedings of the 10th International Workshop on Engineering Societies in the Agents World X
Towards an architecture for self-regulating agents: a case study in international trade
COIN'09 Proceedings of the 5th international conference on Coordination, organizations, institutions, and norms in agent systems
Rich goal types in agent programming
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Declarative description of business process patterns
Proceedings of the 1st Asian Conference on Pattern Languages of Programs
Inferring robot goals from violations of semantic knowledge
Robotics and Autonomous Systems
COMMODITY12: A smart e-health environment for diabetes management
Journal of Ambient Intelligence and Smart Environments - Design and Deployment of Intelligent Environments
Hi-index | 0.00 |
A rational agent derives its choice of action from its beliefs and goals. Goals can be distinguished into achievement goals and maintenance goals. The aim of this paper is to define a mechanism which ensures the satisfaction of maintenance goals. We argue that such a mechanism requires the agent to look ahead, in order to make sure that the execution of actions does not lead to a violation of a maintenance goal. That is, maintenance goals may constrain the agent in choosing its actions. We propose a formal semantics of maintenance goals based on the notion of lookahead, and analyze the semantics by proving some properties. Additionally, we discuss the issue of achievement goal revision, in case the maintenance goals are so restrictive that all courses of action for satisfying achievement goals will lead to a violation of maintenance goals.