Information processing systems, reasoning modules, and reasoning system design methods

• US 9,111,216 B2
• Filed: 03/03/2014
• Issued: 08/18/2015
• Est. Priority Date: 03/18/2011
• Status: Active Grant

• Current Assignee: Battelle Memorial Institute
• Original Assignee: Battelle Memorial Institute
• Inventors: Hohimer, Ryan E., Greitzer, Frank L., Hampton, Shawn D.
• Primary Examiner(s): Holmes, Michael B
• Application Number:
  US14/195,694
• Publication Number:
  US 20140180997A1
• Time in Patent Office: 533 Days
• Field of Search: 706/47
• US Class Current: 1/1
• CPC Class Codes: G06N 5/02 Knowledge representation; Symbolic representation
• CPC Class Codes: G06N 5/022 Knowledge engineering; Knowledge acquisition
• CPC Class Codes: G06N 5/04 Inference or reasoning models
• CPC Class Codes: G06N 5/046 Forward inferencing; Production systems

Abstract

Information processing systems, reasoning modules, and reasoning system design methods are described. According to one aspect, an information processing system includes working memory comprising a semantic graph which comprises a plurality of abstractions, wherein the abstractions individually include an individual which is defined according to an ontology and a reasoning system comprising a plurality of reasoning modules which are configured to process different abstractions of the semantic graph, wherein a first of the reasoning modules is configured to process a plurality of abstractions which include individuals of a first classification type of the ontology and a second of the reasoning modules is configured to process a plurality of abstractions which include individuals of a second classification type of the ontology, wherein the first and second classification types are different.

Claims

1. An information processing system comprising:

a reasoning system comprising a plurality of different reasoning regions which correspond to respective ones of a plurality of different subject matter domains;

wherein the different reasoning regions individually comprise at least one reasoning module;

wherein the reasoning modules are configured to access a plurality of abstractions;

wherein a reasoning module of a first of the reasoning regions is configured to process some of the abstractions according to rules of a first domain ontology which corresponds to one of the subject matter domains; and

wherein a reasoning module of a second of the reasoning regions is configured to process others of the abstractions according to rules of a second domain ontology which corresponds to another of the subject matter domains.

2. The system of claim 1 wherein the reasoning modules are configured to access the abstractions from a semantic graph.

3. The system of claim 1 wherein the rules of the first domain ontology configure the reasoning module of the first reasoning region to ignore and not subscribe to the others of the abstractions.

4. The system of claim 1 wherein the rules of the first domain ontology configure the reasoning module of the first reasoning region to process the some of the abstractions as a result of the abstractions individually having an individual of one of a plurality of classification types and the rules of the second domain ontology configure the reasoning module of the second reasoning region to process the others of the abstractions as a result of the abstractions having an individual of another of the classification types.

5. The system of claim 4 further comprising a plurality of reifiers configured to create the some and the others of the abstractions including the individuals of the one and another classification types.

6. The system of claim 1 wherein the reasoning module of the first reasoning region is configured to process the some of the abstractions which were previously processed by the reasoning module of the second reasoning region.

7. The system of claim 1 wherein the processing by at least one of the reasoning modules of the first and second reasoning regions further classifies individuals of respective ones of the abstractions by adding new data type properties.

8. The system of claim 1 wherein at least one of the reasoning modules of the first and second reasoning regions is configured to create a new abstraction.

9. The system of claim 1 wherein a reasoning module of a third of the reasoning regions is configured to process the others of the abstractions as result of the processing of the others of the abstractions by the reasoning module of the second reasoning region.

10. An information processing method comprising:

using a plurality of reasoning modules, accessing a plurality of abstractions, wherein the abstractions individually include an individual which is defined according to an ontology;

processing a plurality of first ones of the abstractions which include individuals of a first classification type of the ontology using a first of the reasoning modules; and

processing a plurality of second ones of the abstractions which include individuals of a second classification type of the ontology using a second of the reasoning modules, wherein the first and second classification types are different.

11. The method of claim 10 further comprising, using a plurality of reifiers, asserting the abstractions including the individuals of the first and second classification types into a semantic graph, and the accessing comprises accessing the abstractions from the semantic graph.

12. The method of claim 10 wherein one of the first and second reasoning modules is configured to process one of the abstractions as a result of processing of the one abstraction by another of the reasoning modules.

13. The method of claim 10 wherein the first and second reasoning modules are provided within a plurality of reasoning regions, and wherein the first and second reasoning modules of the different regions are configured to process the abstractions according to different rules defined by a plurality of different domain ontologies which correspond to respective ones of the regions.

14. The method of claim 13 wherein the second reasoning module is configured to process a plurality of the abstractions which were previously processed by the second reasoning modules.

15. The method of claim 10 wherein the first and second reasoning modules utilize a plurality of respective rules to process respective ones of the first and second abstractions.

16. The method of claim 10 wherein at least one of the first and second reasoning modules is configured to further classify individuals of a respective one of the first and second abstractions by adding new data type properties.

17. An article of manufacture comprising:

media comprising programming configured to cause processing circuitry to perform processing comprising;

accessing a plurality of rules for a reasoning module;

accessing a plurality of abstractions which include a plurality of individuals;

processing the abstractions according to the rules; and

classifying the individual of at least one of the abstractions as a result of the processing of the at least one of the abstractions satisfying the rules.

18. The article of claim 17 further comprising determining not to perform processing of others of the accessed abstractions.

19. The article of claim 17 wherein the at least one abstraction has a first classification type, and the classifying comprises creating a new individual of a second classification type and associating the individual of the first classification type with the new individual of the second classification type.

20. The article of claim 17 wherein the classifying comprises adding a new data type property.