A system for understanding and storing knowledge and plans in a speakable, formal class of languages, allowing querying and retrieving of that knowledge and plan (conversation), and of deciding and acting (volition) upon such plans is provided. The system further allows the users to input data, instructions, questions, queries, imperatives, and plans without structure or rules over and above the actual grammar of the class of languages. The system responds in words, phrases, complete sentences, or actions, as applicable, and its output is bound by the rules of logic, rather than correlation or likely meaning.
Method and system for robot understanding, knowledge, conversation, volition, planning, and actuation