Data processing: artificial intelligence – Knowledge processing system – Knowledge representation and reasoning technique
Reexamination Certificate
2009-05-18
2011-11-08
Gaffin, Jeffrey A (Department: 2129)
Data processing: artificial intelligence
Knowledge processing system
Knowledge representation and reasoning technique
Reexamination Certificate
active
08055604
ABSTRACT:
A computer-implemented method, apparatus or computer-readable medium to provide selection advice during rule processing to help a user choose desired specifications of a product, service, or other rule-based system characterized by a ZDD rule model having one or more Include and/or Exclude rules. One aspect includes displaying on a monitor or other I/O device multiple attributes having multiple enumerations that identify possible feature, specifications, or conditions of a product; selecting multiple alternative enumerations of the attributes; determining a selection advice for each enumerations selected combining the selection advice for each numerations in order to produce result; communicating the result to an end user; and then using the result to choose a product having desired compliant specifications or conditions.
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: 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), 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: 7734559 (2010-06-01), Huelsman
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: 2003/0220926 (2003-11-01), Huelsman 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: 2009/0313201 (2009-12-01), Huelsman et al.
patent: 2010/0318476 (2010-12-01), Huelsman et al.
patent: 9948031 (1999-09-01), None
patent: 0111463 (2001-02-01), None
patent: WO03081478 (2003-10-01), None
Alan Mishchenko (“An introduction to Zero-Suppressed Binary Decision Diagrams” Jun. 2001) (in parent U.S. Appl. No. 10/950,815, now U.S. Patent No. 7,552,102).
Stolowitz Ford Cowger LLP; Related Case Listing.; Jan. 6, 2011; 1 page.
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. 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.
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.
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.
USPTO; File History U.S. Appl. No. 10/950,622 to Huelsman et al., filed Sep. 28, 2004.
USPTO; File History U.S. Appl. No. 10/950,809 to Huelsman et al., filed Sep. 28, 2004.
USPTO; File History U.S. Appl. No. 10/950,815 to Huelsman et al., filed Sep. 28, 2004.
USPTO; File History U.S.
Huelsman David L.
Love Sharon E.
Mair Douglas M.
Gaffin Jeffrey A
Stolowitz Ford Cowger LLP
Verde Sabor Assets, L.L.C.
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-4290140