ARTIFICIAL INTELLIGENCE SYSTEM FOR GENERATING CONJECTURES AND COMPREHENDING TEXT, AUDIO, AND VISUAL DATA USING NATURAL LANGUAGE UNDERSTANDING

摘要

A robotic system for processing input, such as text data provided through a messaging system, spoken language data provided through a microphone, or any other such input data, which may function to process the input so as to be able to respond or reply to a user based on comprehension of the input sentences. An automated theorem prover (ATP) or similar inference engine technology may operate as an underlying framework for the Artificial Intelligence (AI) system that understands and responds to spoken or written statements translated into a proper format. An ATP formatter may be used to translate natural language processing (NLP) output from an NLP syntactical sentence parser into the proper format, such that the ATP system may be able to generate and populate an ontology or knowledge base from the NLP output. User queries may be mapped to this ontology in order to facilitate comprehension.