Data processing: artificial intelligence – Knowledge processing system – Knowledge representation and reasoning technique
Reexamination Certificate
2004-09-28
2009-06-23
Vincent, David R (Department: 2129)
Data processing: artificial intelligence
Knowledge processing system
Knowledge representation and reasoning technique
C706S046000
Reexamination Certificate
active
07552102
ABSTRACT:
A computer-implemented method, apparatus and computer-readable medium to provide selection advice during rule processing to guide a user to configure a product or service according to a rule characterized by a ZDD rule model having one or more Include and/or Exclude rules. The method aspect includes displaying on an I/O device multiple attributes having enumerations that identify possible configurations; selecting enumerations of the attributes; determining a selection advice for enumerations selected in said selecting step; combining the selection advice in order to produce a result; communicating the result to a user; and then using the result to configure the product or service. Another aspect includes, based on user selections, removing nonessential information inherent in a relevant rule set and propagating (determining in advance) selection advice based on values of other related rule components.
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: 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: 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: 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: 7130783 (2006-10-01), Harer et al.
patent: 7188333 (2007-03-01), LaMotta 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: 9948031 (1999-09-01), None
J Moller, 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.
Jesper Moller “Configuration and E-commerce”, IFORS Jul. 2002.
S. Minato: “Zero-Suppressed BDDs and Their Applications”, International Journal on Software Tools for Technology Transfer, vol. 3, No. 2, pp. 156-170, Springer, May 2001.
ZBDD-Based Backtrack Search SAT Solver F. Aloul, M. Mneimneh, and K. Sakallah International Workshop on Logic Synthesis (IWLS), New Orleans, Louisiana, pp. 131-136, 2002 http://www.eecs.umich.edu/˜faloul/.
F. Aloul, M. Mneimneh, and K. Sakallah “ZBDD-Based Backtrack Search SAT Solver” International Workshop on Logic Synthesis (IWLS), New Orleans, Louisiana, pp. 131-136, 2002.
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.
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, 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.
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.
USPTO; File History U.S. Appl. No. 10/905,622 to Huelsman et al., filed Sep. 28, 2004; Part 1, Sep. 2004 through Mar. 2007.
USPTO; File History U.S. Appl. No. 10/905,622 to Huelsman et al., filed Sep. 28, 2004; Part 2, Sep. 2007 through Dec. 2007.
USPTO; File History U.S. Appl. No. 10/905,622 to Huelsman et al., filed Sep. 28, 2004; Part 3, May 2008 through Aug. 2008.
USPTO; File History U.S. Appl. No. 10/905,622 to Huelsman et al., filed Sep. 28, 2004; Part 4, Aug. 2008 through Dec. 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, Dec. 2008 through Jan. 2009.
Huelsman David L.
Love Sharon E.
Mair Douglas M.
Stolowitz Ford Cowger LLP
Vincent David R
Wong Lut
LandOfFree
Rule processing method, apparatus, and computer-readable... 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, apparatus, and computer-readable..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Rule processing method, apparatus, and computer-readable... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-4128967