A library of behaviors: Implementing commonsense reasoning about mental world

Abstract

We introduce the simulation approach to reasoning about mental world 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 is capable of yielding the totality of possible mental states few steps in advance, given the current mental state of participating agents in natural language. NL_MAMS is intended to contain a domain-independent library of behaviors and serve as a commonsense reasoning component of a large-scale decision-making, control or educational software system. We perform the analysis of how the behaviors obtained in one domain cover another domain in terms of decision-making of participating agents.