Rule processing method and apparatus providing exclude cover...

Details Rule processing method and apparatus providing exclude cover... Rule processing method and apparatus providing exclude cover...

2006-09-27

2010-06-08

Vincent, David R (Department: 2129)

Data processing: artificial intelligence

Knowledge processing system

Knowledge representation and reasoning technique

C703S007000

Reexamination Certificate

active

07734559

ABSTRACT:
An improvement in a computer-implemented rule processing method that provides conflict or selection advice to help guide a user achieve satisfiability of a business or engineering rule represented by a zero-suppressed binary decision diagram (ZDD) rule model. The improvement comprises obtaining at least one Exclude ZDD rule component from the ZDD rule model, identifying covers within the Exclude ZDD rule component, removing covers identified in the identifying step thereby to produce abridged Exclude ZDD rule component, determining satisfiability of the rule model utilizing the abridged Exclude ZDD component, and utilizing results of the determining step during automated decision support to help guide the user to attain satisfiability of the rule. An apparatus that implements the aforementioned method is also disclosed.

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
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: 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), Billon
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/0260667 (2004-12-01), Huelsman et al.
patent: 2005/0080648 (2005-04-01), Huelsman
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: 03/081478 (2003-10-01), None
Jacobi et al.; Generating Prime and Irredundant Covers for Binary Decision Diagrams; Design Automation, 1992, Proceedings 3rd European conference; Mar. 1992; pp. 104-108.
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.
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. 1-114.
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, 8-11, Oct. 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.
Mishchenko, Alan. “An Introduction to Zero-Suppressed Binary Decision Diagrams” Jun. 8, 2001, 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.
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, S., “Zero-Suppressed BDDs and Their Applications”, International Journal on Software Tools for Technology Transfer, vol. 3, No. 2, pp. 156-170, Springer, May 2001.
USPTO; PCT/US2003/08265; International Search Report and Preliminary Examination Report; Aug. 13, 2003.
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.
USPTO; File History U.S. Appl. No. 10/950,809 to Huelsman et al., filed Sep. 28, 2004; Part 1, Sep. 2004 through Dec. 2007.
USPTO; File History U.S. Appl. No. 10/950,809 to Huelsman et al., filed Sep. 28, 2004; Part 2, Mar. 2007 through May 2008.
USPTO; File History U.S. Appl. No. 10/950,809 to Huelsman et al., filed Sep. 28, 2004; Part 3, May 2008 through Aug. 2008.
USPTO; File History U.S. Appl. No. 10/950,809 to Huelsman et al., filed Sep. 28, 2004; Part 4, Aug. 2008 through Feb. 2009.
USPTO; File History U.S. Appl. No. 10/950,815 to Huelsman et al., filed Sep. 28, 2004; Part 1, Sep. 2004 through Feb. 2007.
USPTO; File History U.S. Appl. No. 10/950,815 to Huelsman et al., filed Sep. 28, 2004; Part 2, May 2007 through Feb. 2009.
USPTO; File History U.S. Appl. No. 10/950,622 to Huelsman et al., filed Sep. 28, 2004; Part 1, Sep. 2004 through Mar. 2007.

Affiliated with

Also associated with

Rating

Rule processing method and apparatus providing exclude cover... 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 method and apparatus providing exclude cover..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Rule processing method and apparatus providing exclude cover... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-4216099