Data processing: artificial intelligence – Machine learning
Reexamination Certificate
2007-01-29
2009-12-22
Holmes, Michael B (Department: 2129)
Data processing: artificial intelligence
Machine learning
Reexamination Certificate
active
07636697
ABSTRACT:
Methods and systems capable of determining which subset of a set of logical expressions are true with relatively few evaluations of the primitives that, together with any standard logical connectives, make up the logical expressions. A plurality of directed acyclic graphs, each graph including at least one root node, at least one leaf node, and at least one non-leaf node associated with a leaf node. Each node is associated with a, possibly empty, subset of presumed to be true logical expressions. Each non-leaf node is associated with one of the primitives mentioned in any of the logical expressions. Edges are defined between two of the nodes, each edge being associated with a possible value, or range of possible values, of the primitive associated with the node at the tail of the edge. Paths are defined through each of the directed acyclic graphs from a root node to a leaf node by recursively following each edge corresponding to the current value of the primitive at a selected non-leaf node. Lastly, subsets of logical expressions associated with the nodes on the defined paths are collated to yield a subset of logical expressions that are true.
REFERENCES:
patent: 5175856 (1992-12-01), Van Dyke et al.
patent: 5343554 (1994-08-01), Koza et al.
patent: 5742738 (1998-04-01), Koza et al.
patent: 5778157 (1998-07-01), Oatman et al.
patent: 5841663 (1998-11-01), Sharma et al.
patent: 5892947 (1999-04-01), DeLong et al.
patent: 5995955 (1999-11-01), Oatman et al.
patent: 6058385 (2000-05-01), Koza et al.
patent: 6085029 (2000-07-01), Kolawa et al.
patent: 6192338 (2001-02-01), Hazsto et al.
patent: 6216014 (2001-04-01), Proust et al.
patent: 6363384 (2002-03-01), Cookmeyer, II et al.
patent: 6389405 (2002-05-01), Oatman et al.
patent: 6425582 (2002-07-01), Rosi
patent: 6467085 (2002-10-01), Larsson
patent: 6477553 (2002-11-01), Druck
patent: 6539337 (2003-03-01), Provan et al.
patent: 6561811 (2003-05-01), Rapoza et al.
patent: 6636860 (2003-10-01), Vishnubhotla
patent: 6640231 (2003-10-01), Andersen et al.
patent: 6789054 (2004-09-01), Makhlouf
patent: 6892349 (2005-05-01), Shizuka et al.
patent: 6912700 (2005-06-01), Franco et al.
patent: 7054928 (2006-05-01), Segan et al.
patent: 7257802 (2007-08-01), Daw et al.
patent: 7380224 (2008-05-01), Franco et al.
patent: 7584079 (2009-09-01), Lichtenberg et al.
patent: 7587379 (2009-09-01), Huelsman et al.
patent: 2002/0165839 (2002-11-01), Taylor et al.
patent: 2003/0041040 (2003-02-01), Bertrand et al.
patent: 2003/0084015 (2003-05-01), Beams et al.
patent: 2004/0010505 (2004-01-01), Vishnubhotla
patent: 2006/0036398 (2006-02-01), Funge et al.
patent: WO 2006/014560 (2006-02-01), None
patent: WO 2006/015234 (2006-02-01), None
A recursively structured solution for handwriting and speech recognition Lin, I.-J.; Kung, S.Y.; Multimedia Signal Processing, 1997., IEEE First Workshop on Jun. 23-25, 1997 pp. 587-592 Digital Object Identifier 10.1109/MMSP.1997.602698.
An UpDown Directed Acyclic Graph Approach for Sequential Pattern Mining Chen, J; Knowledge and Data Engineering, IEEE Transactions on : Accepted for future publication vol. PP, Forthcoming, 2009 pp. 1-1 Digital Object Identifier 10.1109/TKDE.2009.135.
Hierarchical Dependence Graphs for Dynamic JDF Workflows Tong Sun; Walker, J.; Systems, Man and Cybernetics, 2006. SMC '06 IEEE International Conference on vol. 4, Oct. 8-11, 2006 pp. 2747-2752 Digital Object Identifier 10.1109/ICSMC.2006.385289.
Supporting Distributed Application Workflows in Heterogeneous Computing Environments Qishi Wu; Yi Gu; Parallel and Distributed Systems, 2008. ICPADS '08. 14th IEEE International Conference on Dec. 8-10, 2008 pp. 3-10 Digital Object Identifier 10.1109/ICPADS.2008.40.
Dobson Daniel
Funge John
Musick Charles
Reynolds Stuart
Tu Xiaoyuan
AiLive Inc.
Holmes Michael B
Zheng Joe
LandOfFree
Method and system for rapid evaluation of logical expressions does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Method and system for rapid evaluation of logical expressions, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and system for rapid evaluation of logical expressions will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-4053286