Problem Statement

Autonomous systems need a “theory of mind” to represent the knowledge and goals of other agents.We employ techniques from modal logic, embedding a quantified multi-modal logic in a higher order logic language and reasoning system, supported by a large common sense ontology

The result is a reasoning system that can take into account the knowledge and goals of other agents when planning its own actions, and explain its reasoning