Automated ontology system
First Claim
1. A method for automatically generating a response to a user query, comprising:
- obtaining a first set of rules defining a knowledge domain;
obtaining a data file of ingestible information;
with a processor, generating a tree structure based on the ingestible information, and converting the tree structure into at least one tree structure first-order logic axiom;
storing a plurality of first-order logic axioms in a memory, the plurality of first-order logic axioms comprising the at least one tree structure first-order logic axiom;
with the processor, parsing further extrinsic information and formulating and testing one or more conjectures based on the further extrinsic information, the one or more conjectures comprising a first-order logic axiom, wherein formulating and testing the one or more conjectures comprises generating, based on a combination of at least two of the plurality of first-order logic axioms, at least one intermediate theorem, and generating, based on the plurality of first-order logic axioms and the at least one intermediate theorem, a conjecture test result, the conjecture test result being an indication that a conjecture in the one or more conjectures is one of true or false;
when the conjecture in the one or more conjectures is true, storing the conjecture in the memory in the form of an ontology;
when the conjecture is false, formulating and testing one or more additional conjectures;
receiving, from an input system, the user query;
with the processor, mapping the user query to the ontology; and
generating, based on the user query and the ontology, the response to the user query.
1 Assignment
0 Petitions
Accused Products
Abstract
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) may operate as an underlying framework for the 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 a NLP syntactical sentence parser into the proper format, such that the ATP system may be able to generate and populate an ontology from the NLP output. User queries may be mapped to this ontology in order to facilitate comprehension. If desired, the system may automatically populate the ontology through Internet searching.
-
Citations
20 Claims
-
1. A method for automatically generating a response to a user query, comprising:
-
obtaining a first set of rules defining a knowledge domain; obtaining a data file of ingestible information; with a processor, generating a tree structure based on the ingestible information, and converting the tree structure into at least one tree structure first-order logic axiom; storing a plurality of first-order logic axioms in a memory, the plurality of first-order logic axioms comprising the at least one tree structure first-order logic axiom; with the processor, parsing further extrinsic information and formulating and testing one or more conjectures based on the further extrinsic information, the one or more conjectures comprising a first-order logic axiom, wherein formulating and testing the one or more conjectures comprises generating, based on a combination of at least two of the plurality of first-order logic axioms, at least one intermediate theorem, and generating, based on the plurality of first-order logic axioms and the at least one intermediate theorem, a conjecture test result, the conjecture test result being an indication that a conjecture in the one or more conjectures is one of true or false; when the conjecture in the one or more conjectures is true, storing the conjecture in the memory in the form of an ontology; when the conjecture is false, formulating and testing one or more additional conjectures; receiving, from an input system, the user query; with the processor, mapping the user query to the ontology; and generating, based on the user query and the ontology, the response to the user query. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8)
-
-
9. An automated ontology system configured to automatically generate a response to a user query, the system comprising an input system, an output system, a processor, and a memory, wherein the system is configured to perform the steps of:
-
obtaining a first set of rules defining a knowledge domain; obtaining a data file of ingestible information; with the processor, generating a tree structure based on the ingestible information, and converting the tree structure into at least one tree structure first-order logic axiom; storing a plurality of first-order logic axioms in the memory, the plurality of first-order logic axioms comprising the at least one tree structure first-order logic axiom; with the processor, parsing further extrinsic information and formulating and testing one or more conjectures based on the further extrinsic information, the one or more conjectures comprising a first-order logic axiom, wherein formulating and testing the one or more conjectures comprises generating, based on a combination of at least two of the plurality of first-order logic axioms, at least one intermediate theorem, and generating, based on the plurality of first-order logic axioms and the at least one intermediate theorem, a conjecture test result, the conjecture test result being an indication that a conjecture in the one or more conjectures is one of true or false; when the conjecture in the one or more conjectures is true, storing the conjecture in the memory in the form of an ontology; when the conjecture is false, formulating and testing one or more additional conjectures; receiving, from the input system, the user query; with the processor, mapping the user query to the ontology; and generating, based on the user query and the ontology, the response to the user query, and outputting the response to the user query via the output system. - View Dependent Claims (10, 11, 12, 13, 14, 15, 16)
-
-
17. A non-transitory computer-readable medium comprising computer program code that, when executed, causes a computer system comprising an input system, an output system, a processor, and a memory to perform the steps of:
-
obtaining a first set of rules defining a knowledge domain; obtaining a data file of ingestible information; with the processor, generating a tree structure based on the ingestible information, and converting the tree structure into at least one tree structure first-order logic axiom; storing a plurality of first-order logic axioms in the memory, the plurality of first-order logic axioms comprising the at least one tree structure first-order logic axiom; with the processor, parsing further extrinsic information and formulating and testing one or more conjectures based on the further extrinsic information, wherein formulating and testing the one or more conjectures comprises generating, based on a combination of at least two of the plurality of first-order logic axioms, at least one intermediate theorem, and generating, based on the plurality of first-order logic axioms and the at least one intermediate theorem, a conjecture test result, the conjecture test result being an indication that a conjecture in the one or more conjectures is one of true or false; when the conjecture in the one or more conjectures is true, storing the conjecture in the memory in the form of an ontology; when the conjecture is false, formulating and testing one or more additional conjectures; receiving, from the input system, the user query; with the processor, mapping the user query to the ontology; and generating, based on the user query and the ontology, the response to the user query, and outputting the response to the user query via the output system. - View Dependent Claims (18, 19, 20)
-
Specification