Decision theory: an introduction to the mathematics of rationality
Decision theory: an introduction to the mathematics of rationality
Artificial Intelligence
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
ConGolog, a concurrent programming language based on the situation calculus
Artificial Intelligence
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Annals of Mathematics and Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
Autonomous Agents and Multi-Agent Systems
On the Semantics of Deliberation in Indigolog—from Theory to Implementation
Annals of Mathematics and Artificial Intelligence
Goals in the context of BDI plan failure and planning
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Goals in agent systems: a unifying framework
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
Goals in conflict: semantic foundations of goals in agent programming
Autonomous Agents and Multi-Agent Systems
Toward a programming theory for rational agents
Autonomous Agents and Multi-Agent Systems
DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
A logical framework for prioritized goal change
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
A BDI agent programming language with failure handling, declarative goals, and planning
Autonomous Agents and Multi-Agent Systems
BDI agents with objectives and preferences
DALT'10 Proceedings of the 8th international conference on Declarative agent languages and technologies VIII
A model of rational agency for communicating agents
AC'04 Proceedings of the 2004 international conference on Agent Communication
Prioritized goals and subgoals in a logical account of goal change – a preliminary report
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
The ARTS real-time agent architecture
LADS'09 Proceedings of the Second international conference on Languages, Methodologies, and Development Tools for Multi-Agent Systems
Hi-index | 0.00 |
Agent theories and agent programs are two very different styles of specification of agent behavior. The former are declarative in nature, while the latter have an imperative flavor. In this paper, we combine ideas from both areas, yielding a powerful mode of agent specification that also gives the specifier a good deal of control over the complexity of the specified agent. In particular, we extend Shapiro et al.'s [16] agent theory to handle prioritized goals and then integrate it with the IndiGolog agent programming language. The result is a new IndiGolog construct that transforms a given nondeterministic, concurrent program $delta$ into a new program $delta'$ that can be described as a rational implementation of the original program, in the sense that $delta'$ is an implementation of $delta$, and furthermore, $delta'$ is the most rational of all implementations of $delta$ relative to a given set of prioritized goals and the agent's knowledge. With this construct, we can specify an agent that will attempt to achieve as many goals as possible in priority order even if the agent does not know of a plan that is guaranteed to achieve all the goals. In this case, the agent will select a plan that she thinks has the best chance of achieving the goals.