Programming mental state abduction

Authors:
Michal Sindlar;Mehdi Dastani;John-Jules Meyer
Affiliations:
University of Utrecht;University of Utrecht;University of Utrecht
Venue:
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Year:
2011

Citing 12
Cited 1

Intention is choice with commitment

Artificial Intelligence
Process algebra

Process algebra
The frame problem in situation the calculus: a simple solution (sometimes) and a completeness result for goal regression

Artificial intelligence and mathematical theory of computation
Seeking explanations: abduction in logic, philosophy of science and artificial intelligence

Seeking explanations: abduction in logic, philosophy of science and artificial intelligence
It knows what you're going to do: adding anticipation to a Quakebot

Proceedings of the fifth international conference on Autonomous agents
Dynamic Logic

Dynamic Logic
Techniques for Plan Recognition

User Modeling and User-Adapted Interaction
2APL: a practical agent programming language

Autonomous Agents and Multi-Agent Systems
Agents That Relate: Improving the Social Believability of Non-Player Characters in Role-Playing Games

ICEC '08 Proceedings of the 7th International Conference on Entertainment Computing
Multi-Agent Programming: Languages, Tools and Applications

Multi-Agent Programming: Languages, Tools and Applications
Clasp: a conflict-driven answer set solver

LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
Using answer set programming to model multi-agent scenarios involving agents' knowledge about other's knowledge

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1

Affordance-Based intention recognition in virtual spatial environments

PRIMA'10 Proceedings of the 13th international conference on Principles and Practice of Multi-Agent Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Many multi-agent system applications involve software agents that reason about the behavior of other agents with which they interact in cooperation or competition. In order to design and develop those systems, the employed programming languages should provide tools to facilitate the implementation of agents that can perform such reasoning. This paper focuses on BDI-based programming languages and proposes a nonmonotonic reasoning mechanism that can be incorporated into agents, allowing them to reason about observed behavior to infer others' beliefs or goals. In particular, it is suggested that the behavior-generating rules of agents are translated into a nonmonotonic logic programming framework. A formal analysis of the presented approach is provided and it is shown that it has desirable properties.