Data processing: artificial intelligence – Knowledge processing system – Knowledge representation and reasoning technique
Reexamination Certificate
2005-11-15
2005-11-15
Knight, Anthony (Department: 2121)
Data processing: artificial intelligence
Knowledge processing system
Knowledge representation and reasoning technique
C706S059000, C706S019000, C706S925000, C705S026640, C707S793000
Reexamination Certificate
active
06965887
ABSTRACT:
A method of rule processing includes 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 invention 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: 5809212 (1998-09-01), Shasha
patent: 5844554 (1998-12-01), Geller et al.
patent: 5877966 (1999-03-01), Morris et al.
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: 6389576 (2002-05-01), Lam et al.
patent: 6396488 (2002-05-01), Simmons et al.
patent: 6556978 (2003-04-01), Ginsberg et al.
patent: WO 99/48031 (1999-09-01), None
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. 1993; pp 272-277.
Kurihara et al; BDD encoding for partial order constraints and its application to expert systems in software verification domains; 2000 IEEE International Conference on Systems, Man, and Cybernetics; vol. 3; Oct. 8-11, 2000; pp 2062-2067.
Optimizing Model Checking Based on BDD Characterization, 1999, Yang, Carnegie Mellon U.,pp9-11.
Representations of Discrete Functions, Sasao, et al., Kluwer Academic Pub. 1996, Chap. 1.
An Introduction to Binary Decision Diagrams, Andersen, Tech. Univeristy of Denmark, Oct. 1997.
Huelsman David L.
Love Sharon E.
Mair Douglas M.
Bell Meltin
Knight Anthony
McIntyre Harbin & King
resolutionEBS, Inc.
LandOfFree
Rule processing methods for automating a decision and... 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 methods for automating a decision and..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Rule processing methods for automating a decision and... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3507983