Exhaustive simulation of consecutive mental states of human agents

  • Galitsky B
  • 35


    Mendeley users who have this article in their library.
  • 8


    Citations of this article.


We develop a generic software component for computing consecutive plausible mental states of human agents. The simulation approach to reasoning about mental world is introduced that is based on exhaustive search through the space of available behaviors. This approach to reasoning is implemented as a logic program in a natural language multiagent mental simulator NL-MAMS, which yields the totality of possible mental states few steps in advance, given an arbitrary initial mental state of participating agents. Due to an extensive vocabulary of formally represented mental attitudes, communicative actions and accumulated library of behaviors, NL-MAMS is capable of yielding much richer set of sequences of mental state than a conventional system of reasoning about beliefs, desires and intentions would deliver. Also, NL-MAMS functions in domain-independent manner, outperforming machine learning-based systems for predicting behaviors of human agents in broad domains where training sets are limited. We evaluate the correctness, coverage and maximum complexity of the NL-MAMS and discuss its integration with other reasoning components and its application domains. The proposed component is intended to be integrated into eBay human behavior simulation system, predicting behavior of buyers and sellers in normal and conflict situations. Also, NL-MAMS can be a part of any software system where modeling of human users is necessary, such as a personalized assistant, a tutoring or decision support system, advisor, recommender and conflict resolver. © 2013 Elsevier B.V. All rights reserved.

Author-supplied keywords

  • Belief
  • Desire
  • Intention and other mental attitudes
  • Interaction between human agents
  • Reasoning about mental attitudes
  • Simulation

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free