System and method for building knowledge-based applications

Details System and method for building knowledge-based applications System and method for building knowledge-based applications

1992-10-13

1994-01-04

MacDonald, Allen R.

395 52, 395 76, G06F 1500

Patent

active

052767752

ABSTRACT:
A method and system (10) associates a deductive reasoning system having a forward deductive reasoning portion (13), a backward deductive reasoning portion (15), and a frame template portion (18) with a constraint satisfaction system (12) within a unified framework (11). The unified framework (11) incorporates a truth maintenance system to maintain dependency between premises, rules, and consequences in the deductive reasoning system (13, 15, and 18) and between initial constraints and propagated constraints in constraint satisfaction system (12). The system (10) treats constraints as declarative statements in order to maintain logical dependency under the truth maintenance system of unified framework (11).

REFERENCES:
Foundations of Assumption-Based Truth Maintenance Systems; Reiter et al; Automated Reasoning; pp. 183-188.
Artificial Intelligence Programming; Lawrence Erlbaum Publishers; 1987; pp. 337-347, 369, 371, and 372.
The Truth, the Whole Truth, and Nothing But the Truth; J. P. Martins; AI Magazine-Special Issue; 1990; pp. 7-25.

Affiliated with

Also associated with

Rating

System and method for building knowledge-based applications does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with System and method for building knowledge-based applications, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and System and method for building knowledge-based applications will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-313995