System and methods for intelligent database management using abductive reasoning

  • US 5,712,960 A
  • Filed: 04/15/1996
  • Issued: 01/27/1998
  • Est. Priority Date: 07/02/1993
  • Status: Expired due to Fees
First Claim
Patent Images

1. In a computer system, a method for automatically maintaining a domain of objects, the method comprising:

  • (a) defining the domain by storing known information of the objects in a knowledgebase;

    (b) specifying constraints which the domain must obey;

    (c) receiving a request from a user for altering the domain;

    (d) from the known information, deducing new information from the known information in response to the request from the user for altering the domain;

    (e) if the new information is not sufficient for satisfying the request from the user for altering the domain, abducing additional new information which, when combined with the new information would satisfy the request from the user for altering the domain;

    (f) verifying that the domain does not violate the constraints if the new information and the additional new information is stored in the knowledgebase; and

    (g) storing the new information and the additional new information in the knowledgebase, whereupon a new domain satisfying the request from the user for altering the domain is defined.

View all claims
    ×
    ×

    Thank you for your feedback

    ×
    ×