Rule processing system

Details Rule processing system Rule processing system

2007-02-27

2008-09-30

Hirl, Joseph P (Department: 2129)

Data processing: artificial intelligence

Knowledge processing system

Knowledge representation and reasoning technique

C706S046000, C706S014000

Reexamination Certificate

active

07430548

ABSTRACT:
A rule processing apparatus includes modules for defining/entering attributes, enumerations, and/or relationships; packaging the definitions in a reduced canonical form suitable for propositional logic manipulation using zero-suppressed binary decision diagrams (Zdd) to produce a prime Zdd; and/or (iii) executing the rule by applying a series of user inputs to the prime Zdd to determine a result that preferably includes conflict and selection advice to guide the user to satisfaction. Elective events, such as but not limited to the display of messages or the performance of calculations, may optionally be packaged along with the prime rule or components thereof, and presented during execution to help guide the end user to satisfaction or compliancy when choosing among possible selections. The apparatus automates determination of a complex rule having a combinatorial exploded number of rule components, or a combinatorial number of possible outcomes, exceeding computational capacity of present day computing systems.

REFERENCES:
patent: 5212771 (1993-05-01), Gane et al.
patent: 5301284 (1994-04-01), Estes et al.
patent: 5576965 (1996-11-01), Akasaka et al.
patent: 5630025 (1997-05-01), Dolby et al.
patent: 5745765 (1998-04-01), Paseman
patent: 5805462 (1998-09-01), Poirot et al.
patent: 5809212 (1998-09-01), Shasha
patent: 5844554 (1998-12-01), Geller et al.
patent: 5877966 (1999-03-01), Morris et al.
patent: 5910898 (1999-06-01), Johannsen
patent: 5963953 (1999-10-01), Cram et al.
patent: 5987473 (1999-11-01), Jorgensen
patent: 6002854 (1999-12-01), Lynch et al.
patent: 6016394 (2000-01-01), Walker
patent: 6031984 (2000-02-01), Walser
patent: 6035305 (2000-03-01), Strevey et al.
patent: 6064982 (2000-05-01), Puri
patent: 6076080 (2000-06-01), Morscheck et al.
patent: 6163876 (2000-12-01), Ashar et al.
patent: 6256618 (2001-07-01), Spooner et al.
patent: 6327581 (2001-12-01), Platt
patent: 6349290 (2002-02-01), Horowitz
patent: 6389576 (2002-05-01), Lam et al.
patent: 6424962 (2002-07-01), Billon
patent: 6442732 (2002-08-01), Abramovici et al.
patent: 6529890 (2003-03-01), Pandit et al.
patent: 6556978 (2003-04-01), Ginsberg et al.
patent: 6567814 (2003-05-01), Bankier et al.
patent: 6651096 (2003-11-01), Gai et al.
patent: 6658458 (2003-12-01), Gai et al.
patent: 6741975 (2004-05-01), Nakisa et al.
patent: 6874016 (2005-03-01), Gai et al.
patent: 6952812 (2005-10-01), Abadir et al.
patent: 7130783 (2006-10-01), Harer et al.
patent: 2001/0029499 (2001-10-01), Tuatini et al.
patent: 2002/0065701 (2002-05-01), Kim
patent: 2002/0078431 (2002-06-01), Reps
patent: 2002/0095645 (2002-07-01), Rodeh
patent: 2002/0108093 (2002-08-01), Moondanos et al.
patent: 2002/0112213 (2002-08-01), Abadir et al.
patent: 2002/0178432 (2002-11-01), Kim et al.
patent: WO 99/48031 (1999-09-01), None
Alan Mishchenko, An Introduction to Zero-Suppressed Binary Decision Diagrams, Jun. 8, 2001, Portland State University, 1-16.
George Gottlob et al., The Complexity of Acyclic Conjunctive Queries, Nov. 1998, IEEE, 706-715.
M Cosnard et al., Automatic Task Graph Generation Techniques, 1995, IEEE, 113-122.
A. Ejnoui et al., Design Partitioning on Single-Chip Emulation System, IEEE, 1-6.
Shipra Panda et al., Symmetry Detection and Dynamic Varible Ordering of Decision Diagrams, 1994, IEEE, 628-631.
Cugola, G. et al, Exploiting an event-based infrastructure to develop complex distributed systems, Proceedings of the 20th International Conference on Software Engineering, Apr. 1998, pp., 261-270.
Beck, Micah et al, Enabling Full Service Surrogates Using the Portable Channel Representation, Proceedings of the Tenth International Conference on World Wide Web, Apr. 2001, pp., 376-385.
Tsutomu Sasao, Representations of Discrete Functions: Graph-Based Representations of Discrete Functions, 1996, Kluwer Academic Publishers, 2-16.
Optimizing Model Checking Based on BDD Characterization, 1999, Yang, Carnegie Mellon U., pp. 9-11.
Representations of Discrete Functions, Sasao, et al., Kluwer Acedemic Pub. 1996, Chap. 1.
An Introduction to Binary Decision Diagrams, Andersen, Tech. Univeristy of Denmark, Oct. 1997.
Cabodi et al; Symbolic Traversals of Data Paths with Auxiliary Variables; IEEE; 1994; pp. 93-96.
Bryant; Binary Decision Diagrams and Beyond; Enabling Technologies for Formal Verification; IEEE; 1995; pp. 236-243.
Minato; Zero-Suppressed BDDs for Set Manipulation in Combinatorial Problems; Proceedings of the 30th International Conference on Design Automation; Jul. 1994; pp. 272-277.
Kurihara et al; BDD Encoding for Partial Order constraints and its Application Experts Systems in Software Verification Domains; 2000 IEEE International conference on systems, Man, and Cybernetics; vol. 3; Oct. 8-11, 2000; pp. 2062-2067.
Panda et al., Symmetry Detection and Dynamic Variable Ordering of Decision Diagrams, Proceedings of the 1994 IEEE/ACM International Conference on Computer-Aided Design, Nov. 1994, pp. 628-631.
Cosnard et al., Automatic Task Generation Techniques, Proceedings of the Twenty-Eightth Hawaii International Conference on System Sciences, vol. 2, Jan. 3, 1995, pp. 113-122.
Gottlob et al., The complexity of acyclic conjunctive queries, 39th Annual Symposium on Foundations of Computer Science Proceedings, Nov. 8, 1998, pp. 706-715.
Ejnioui et al., Design Partitioning on Single-chip Emulations Systems, Thirteenth International Conference on VLSI Design, Jan. 3, 2000, pp. 234-239.

Affiliated with

Also associated with

Rating

Rule processing system does not yet have a rating. At this time, there are no reviews or comments for this patent.

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

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3992522