US Patent 8117022 Method and system for machine understanding, knowledge, and conversation

A system for storing knowledge in a speakable, formal class of languages and allowing querying and retrieving of that knowledge is provided. The system further allows the users to input data, instructions, questions, and queries without structure or rules over and above the actual grammar of the class of languages. The system responds in words, phrases or complete sentences as applicable, and its output is bound by the rules of logic, rather than simple correlation or likely meaning.