Data processing: artificial intelligence – Knowledge processing system – Knowledge representation and reasoning technique
Reexamination Certificate
2008-07-09
2010-10-05
Sparks, Donald (Department: 2129)
Data processing: artificial intelligence
Knowledge processing system
Knowledge representation and reasoning technique
C707S793000
Reexamination Certificate
active
07809669
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: 5311424 (1994-05-01), Mukherjee et al.
patent: 5367619 (1994-11-01), Dipaolo
patent: 5576965 (1996-11-01), Akasaka et al.
patent: 5630025 (1997-05-01), Dolby et al.
patent: 5701400 (1997-12-01), Amado
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: 5889993 (1999-03-01), Kroeger et al.
patent: 5910898 (1999-06-01), Johannsen
patent: 5924077 (1999-07-01), Beach 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: 6163876 (2000-12-01), Ashar
patent: 6182275 (2001-01-01), Beelitz et al.
patent: 6226656 (2001-05-01), Zawadzki et al.
patent: 6256618 (2001-07-01), Spooner et al.
patent: 6321186 (2001-11-01), Yuan et al.
patent: 6327581 (2001-12-01), Platt
patent: 6349290 (2002-02-01), Horowitz
patent: 6385617 (2002-05-01), Malik
patent: 6389576 (2002-05-01), Lam et al.
patent: 6396488 (2002-05-01), Simmons et al.
patent: 6424962 (2002-07-01), Bilon
patent: 6442732 (2002-08-01), Abramovici et al.
patent: 6519767 (2003-02-01), Carter et al.
patent: 6529890 (2003-03-01), Pandit et al.
patent: 6535883 (2003-03-01), Lee et al.
patent: 6556978 (2003-04-01), Ginsberg et al.
patent: 6567814 (2003-05-01), Bankier
patent: 6598035 (2003-07-01), Branson 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: 6795832 (2004-09-01), McGeorge et al.
patent: 6874016 (2005-03-01), Gai et al.
patent: 6952812 (2005-10-01), Abadir et al.
patent: 6961913 (2005-11-01), Okazaki et al.
patent: 6983187 (2006-01-01), Kern
patent: 7062478 (2006-06-01), Huelsman et al.
patent: 7130783 (2006-10-01), Harer et al.
patent: 7188333 (2007-03-01), LaMotta et al.
patent: 7587379 (2009-09-01), Huelsman et al.
patent: 2001/0029499 (2001-10-01), Tuatini et al.
patent: 2002/0065701 (2002-05-01), Kim et al.
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/0165701 (2002-11-01), Lichtenberg et al.
patent: 2002/0178432 (2002-11-01), Kim et al.
patent: 2004/0138988 (2004-07-01), Munro et al.
patent: 2004/0181500 (2004-09-01), Huelsman et al.
patent: 2004/0260667 (2004-12-01), Huelsman et al.
patent: 2005/0080648 (2005-04-01), Huelsman et al.
patent: 2005/0108183 (2005-05-01), Huelsman et al.
patent: 2007/0112767 (2007-05-01), Tilley
patent: 2007/0159304 (2007-07-01), Agarwal et al.
patent: 2007/0290791 (2007-12-01), Batra
patent: 9948031 (1999-09-01), None
patent: 0111463 (2001-02-01), None
patent: 03081478 (2003-10-01), None
F. Somenzi: CUDD:CU Decision Diagram Package; http://vlsi.colorado.edu/˜fabio/CUDD
odel.html, site visited Jun. 11, 2009.
USPTO; File History U.S. Appl. No. 10/198,100 to Huelsman et al., filed Jul. 19, 2002; Aug. 2009.
Mishchenko, Alan. “An Introduction to Zero-Suppressed Binary Decision Diagrams” 2001, Jun. 8, Department of Electrical Engineering Portland State;University. pp. 1-15.
“Array”. Microsoft Computer Dictionary, Fifth Edition. May 1, 2002.
Aloul, F., M. Mneimneh, and K. Sakallah “ZBDD-Based Backtrack Search SAT Solver” International Workshop on Logic Synthesis (IWLS), New Orleans, Louisiana, pp. 131-136, 2002 http://www.eecs.umich.edu/˜faloul/.
Moller, J., HR Andersen, H Hulgaard, “Product Configuration over the Internet presented at”,The 6th INFORMS Conference on Information Systems and Technology, Nov. 3-4, 2001, Miami Beach, Florida.
Moller, Jesper, “Configuration and E-commerce”, IFORS Jul. 2002.
Minato, Zero-Suppressed BDDs for Set Manipulation in Combinatorial Problems, Proceedings of the 30th Conference on Design Automation, Jul. 1993, pp. 272-277.
Cabodi, et al., Symbolic Traversals of Data Paths with Auxilary Variables, IEEE, 1994, pp. 93-96.
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 Graph Generation Techniques, Proceedings of the Twenty-Eighth Hawaii International Conference on System Sciences, Vo. 2, Jan. 3, 1995, pp. 113-122.
Bryant, Binary Decision Diagrams and Beyond, Enabling Technologies for Formal Verification, IEEE, 1995, pp. 236-243.
Minato, S., Representations of Discrete Funtions, Chapter 1, Graph-Based Representations of Discrete Functions, Sasao and Fujia, ed.s, 1996, Kluwer Academic Publishing, pp. 1-23.
Anderson, An Introduction to Binary Decision Diagrams, University of Denmark, Oct. 1997, pp. 8-11.
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.
Gottlob, et al., The complexity of acyclic conjunctive queries, 39th Annual Symposium on Foundations of Computer Science Proceedings, Nov. 8, 1998, pp. 706-715.
Yang, Optimizing Model Checking Based on BDD Characterization,Thesis, Carnegie Mellon U.,May 1999, pp. 9-11.
Ejnioui, et al., Design Partitioning on Single-chip Emulations Systems, Thirteenth International Conference on VLSI Design, Jan. 3, 2000, pp. 234-239.
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, Cybernetics, vol. 3, Oct. 8-11, 2000, pp. 2062-2067.
Beck, M., 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.
USPTO; PCT/US2003/08265; International Search Report and Preliminary Examination Report; Aug. 13, 2003.
Jacobi et al; Generating Prime and Irredundant Covers for Binary Decision Diagrams; Design Automation, 1992; Proceedings 3rd European Conference; Mar. 1992; pp. 104-108.
European Patent Office; PCT/US2007/079793; International Search Report and Written Opinion; Feb. 7, 2008.
European Patent Office; PCT/US2007/079797; International Search Report and Written Opinion; Feb. 7, 2008.
European Patent Office; PCT/US2007/079797; International Preliminary Report on Patentablility; Mar. 2009.
European Patent Office; PCT/US2007/079793; International Preliminary Report on Patentablility; Mar. 2009.
USPTO; File History U.S. Appl. No. 10/101,151 to Huelsman, et al., filed Mar. 20, 2002; Part I, Mar. 2002 through Feb. 2005.
USPTO; File History U.S. Appl. No. 10/101,151 to Huelsman et al., filed Mar. 20, 2002; Part II,
Huelsman David L.
Love Sharon E.
Mair Douglas M.
Afolabi Ola Olude
Sparks Donald
Stolowitz Ford Cowger LLP
LandOfFree
Rule processing system for determining a result response 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 for determining a result response, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Rule processing system for determining a result response will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-4204872