Forward-chaining inferencing

Details Forward-chaining inferencing Forward-chaining inferencing

2005-05-13

2008-08-26

Holmes, Michael B (Department: 2129)

Data processing: artificial intelligence

Knowledge processing system

Knowledge representation and reasoning technique

Reexamination Certificate

active

07418434

ABSTRACT:
A method is disclosed of forward-chaining inferencing in a rulebased system having a rulebase and a set of input facts, wherein new facts are inferred in accordance with variations to the rules or the input facts, the method including:developing a computerized database containing a fact dependency tree for indicating which facts are used to produce other facts in accordance with respective rules in the rulebase;sequentially ordering the facts in the fact dependency tree to produce a serialized fact dependency tree wherein for any given fact in the sequence, all facts which are used to produce that fact are facts which are earlier in the sequence than is the given fact, andordering the rules in the rulebase in accordance with the facts produced thereby to produce a serialized rulebase wherein the rules are in the same sequential order as the facts in the serialized fact dependency tree.

REFERENCES:
patent: 4884217 (1989-11-01), Skeirik et al.
patent: 4907167 (1990-03-01), Skeirik
patent: 4910691 (1990-03-01), Skeirik
patent: 4920499 (1990-04-01), Skeirik
patent: 4937760 (1990-06-01), Beitel et al.
patent: 4965742 (1990-10-01), Skeirik
patent: 4975865 (1990-12-01), Carrette et al.
patent: 5006992 (1991-04-01), Skeirik
patent: 5140671 (1992-08-01), Hayes et al.
patent: 5167012 (1992-11-01), Hayes et al.
patent: 5170464 (1992-12-01), Hayes et al.
patent: 5230061 (1993-07-01), Welch
patent: 5412756 (1995-05-01), Bauman et al.
patent: 5701400 (1997-12-01), Amado
patent: 5778150 (1998-07-01), Chan et al.
patent: 5980096 (1999-11-01), Thalhammer-Reyero
patent: 6003020 (1999-12-01), Hazlehurst et al.
patent: 6125363 (2000-09-01), Buzzeo et al.
patent: 6144953 (2000-11-01), Sorrells et al.
patent: 6298327 (2001-10-01), Hunter et al.
patent: 6570555 (2003-05-01), Prevost et al.
patent: 7124134 (2006-10-01), Buzzeo et al.
patent: 7191163 (2007-03-01), Herrera et al.
The model-assisted global query system for multiple databases in distributed enterprises, Waiman Cheung; Cheng Hsu; ACM Transactions on Information Systems (TOIS), vol. 14, Issue 4 (Oct. 1996), pp. 421-470 Year of Publication: 1996 ISSN:1046-8188.
Rule responder: RuleML-based agents for distributed collaboration on the pragmatic web, Adrian Paschke; Harold Boley; Alexander Kozlenkov; Benjamin Craig; ACM International Conference Proceeding Series; vol. 280 Proceedings of the 2nd intl conf on Pragmatic web, pp. 17-28; 2007 ISBN:978-1-59593-859-6.
Jena: implementing the semantic web recommendations, Jeremy J. Carrol; Ian Dickinson; Chris Dollin; Dave Reynolds; Andy Seaborne; Kevin Wilkinson; ACM Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters, New York, NY, 2004, pp. 74-83, ISBN:1-58113-912-8.

Affiliated with

Also associated with

Rating

Forward-chaining inferencing does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Forward-chaining inferencing, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Forward-chaining inferencing will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-4012251