At+t Corp.

Lucent Technologies Inc.

Lori Alperin Resnick

Deborah L McGuinness

Thomas W Beattie

Peter Frederick Patel-Schneider

Harley Manning

Deborah L McGuiness

The present mechanism relates to a system and method for maintaining a knowledge base and an evidence set derived from the knowledge base. The knowledge base has a relationship, which exists between a a first object and a second object. A request is specified, the knowledge base is modified in accordance with the request and the relationship, and an evidence set is derived from the knowledge base.

System and method for maintaining a knowledge base and evidence set

A system and method for searching on a computer. The method involves generating a knowledge base. The knowledge base includes information. The method further involves specifying an evidence set to include a proper subset of the information. The method also entails deriving the evidence set from the knowledge base.

System and method for searching on a computer using an evidence set

The present invention relates to a system and method for maintaining a knowledge base and an evidence set derived from the knowledge base. The knowledge base has a relationship, which exists between a first object and a second object. A request is specified, the knowledge base is modified in accordance with the request and the relationship, and an evidence set is derived from the knowledge base.

A knowledge representation system which allows a user to utilize a description language to generate, maintain and access information in a knowledge base is disclosed. The knowledge representation system includes an explanation subsystem which explains where the derived information that is stored for a particular object was obtained from. A first level explanation function will provide a user with an explanation of the immediate source of the pieces of derived information that are stored for an object in the knowledge base. A complete explanation function provides a complete explanation by continuing to explain how the immediate source for each piece of the information itself received the information, until the source of the information is told information or the result of a rule firing. The explanation subsystem also explains subsumption inferences, which explain why a particular concept or rule antecedent is satisfied by a particular object. The explanation that is generated may be limited in a number of ways in accordance with the needs of a user. An error handling subsystem facilitates the detection of the source of real errors. Upon the detection of a real error, an error object is preferably created for the inconsistent object and for every other object that is affected by the error. The error objects, which may be printed out or explained, store all of the information associated with the corresponding object at a time when the data structures include the error information.

Knowledge base management system with enhanced explanation of derived

A knowledge representation system which allows a user to generate, maintain and access information in a knowledge base using a description language is disclosed. The knowledge representation system maintains the dependency relationships between the different objects that are stored in the knowledge base so that pieces of information that are related to or dependent upon added or updated information may be properly classified at all times. The knowledge representation system includes a mechanism for processing dependency information that is returned from user-defined test functions in order to accurately maintain the dependency information implicated upon execution of the user-defined procedural test functions. A subsumption function determines if a particular individual in the knowledge base satisfies a concept. The subsumption function evaluates each component of a concept description and maintains the dependency information implicated by the concept component. A test restriction evaluation subroutine determines whether test restriction components of the concept are satisfied and processes the dependency information that is returned from the user-defined procedural test functions.

Growing community of inventors

Highland Park, NJ, United States of America

Lori Alperin Resnick