An algorithm for constructing and searching spaces of alternative hypotheses

IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics

Volumn 41, Issue 3, 2011, Pages 772-782

  Griffin, Christopher ^a   Testa, Kelly ^b   Racunas, Stephen ^c,d  

^a PENNSYLVANIA STATE UNIVERSITY   (United States)

^b OAK RIDGE NATIONAL LABORATORY   (United States)

^c SANTA FE INSTITUTE   (United States)

^d STANFORD UNIVERSITY SCHOOL OF MEDICINE   (United States)

Author keywords

Automated hypothesis generation; implicit enumeration; logic; MAX SAT; mixed integer linear programming (MILP) problem

Indexed keywords

HYPOTHESIS GENERATION; IMPLICIT ENUMERATION; LOGIC; MAX-SAT; MIXED-INTEGER LINEAR PROGRAMMING;

INTEGER PROGRAMMING; LINEAR PROGRAMMING; SPACE RESEARCH;

ALGORITHMS;

ALGORITHM; ARTICLE; ARTIFICIAL INTELLIGENCE; AUTOMATED PATTERN RECOGNITION; COMPUTER SIMULATION; DECISION SUPPORT SYSTEM; METHODOLOGY; THEORETICAL MODEL;

ALGORITHMS; ARTIFICIAL INTELLIGENCE; COMPUTER SIMULATION; DECISION SUPPORT TECHNIQUES; MODELS, THEORETICAL; PATTERN RECOGNITION, AUTOMATED;

EID: 79957471822     PISSN: 10834419     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCB.2010.2092762     Document Type: Article

References (44)

1. M. S. Bazaraa, J. J. Jarvis, and H. D. Sherali, Linear Programming and Network Flows. New York: Wiley-Interscience, 2004.
2. C. H. Papadimitriou and K. Steiglitz, Combinatorial Optimization: Algorithms and Complexity. New York: Dover, 1998.
3. C. E. Blair, R. G. Jeroslow, and J. K. Lowe, "Some results and experiments in programming techniques for propositional logic," Comput. Oper. Res., vol. 13, no. 5, pp. 633-645, 1986. (Pubitemid 17480196)
4. T. M. Cavalier, P. M. Pardalos, and A. L. Soyster, "Modeling and integer programming techniques applied to propositional calculus," Comput. Oper. Res., vol. 17, no. 6, pp. 561-570, 1990.
5. K. A. Andersen and J. N. Hooker, "A linear programming framework for logics of uncertainty," Decis. Support Syst., vol. 16, no. 1, pp. 39-53, Jan. 1996. (Pubitemid 126349544)
6. E. Santos, "A linear constraint satisfaction approach to cost-based abduction," Artif. Intell., vol. 65, no. 1, pp. 1-27, Jan. 1994.
7. E. Charniak and E. Santos, "Dynamic MAP calculations for abduction," in Proc. Nat. Conf. Artif. Intell., 1992, pp. 552-557. (Pubitemid 23633534)
8. S. E. Shimony and E. Santos, "Exploiting case-based independence for approximating marginal probabilities," Int. J. Approx. Reason., vol. 14, no. 1, pp. 25-54, Jan. 1996. (Pubitemid 126342982)
9. E. Santos, "On the generation of alternative explanations with implications for belief revision," in Proc. 7th Conf. Uncertainty Artif. Intell., 1994, pp. 339-347.
10. E. Santos and E. S. Santos, "Polynomial solvability of cost-based abduction," Artif. Intell., vol. 86, no. 1, pp. 157-170, Sep. 1996. (Pubitemid 126364351)
11. D. L. Hall and J. Llinas, Eds., Handbook of Multisensor Data Fusion. Boca Raton, FL: CRC Press, 2001.
12. H. Chen and P. Meer, "Robust fusion of uncertain information," IEEE Trans. Syst., Man, Cybern. B, Cybern., vol. 35, no. 3, pp. 578-586, Jun. 2005. (Pubitemid 40794869)
13. Y. Han, W. Lam, and C. X. Ling, "Customized generalization of support patterns for classification," IEEE Trans. Syst., Man, Cybern. B, Cybern., vol. 36, no. 6, pp. 1306-1318, Dec. 2006.
14. L.Wong, "Technologies for integrating biological data," Brief Bioinform., vol. 3, no. 4, pp. 389-404, Dec. 2002.
15. L. Bertossi, A. Hunter, and T. Schaub, "Introduction to inconsistency tolerance," in Inconsistency Tolerance, vol. 3300, LNCS. New York: Springer-Verlag, 2005.
16. C. O. Morgan, "Automated hypothesis generation using extended inductive resolution," in Proc. 4th Int. Joint Conf. Artif. Intell., 1975, pp. 351-356.
17. J. H. Holland, K. J. Holyoak, R. E. Nisbett, and P. R. Thagard, Induction: Processes of Inference Learning and Discovery. Cambridge, MA: MIT Press, 1989.
18. T. Eiter and G. Gottlob, "The complexity of logic-based abduction," J. ACM, vol. 42, no. 1, pp. 3-42, Jan. 1995.
19. J. Han and M. Kamber, Data Mining: Concepts and Techniques, 2nd ed. San Mateo, CA: Morgan Kaufmann, 2006.
20. G. Webb and M. J. Pazzani, "Adjusted probability naïve Bayesian induction," in Proc. 11th Australian Joint Conf. Artif. Intell., vol. 1502, LCNS, 1998, pp. 285-295.
21. E. Zalta, "The Stanford Encyclopedia of Philosophy," Jan. 17, 2009.[Online]. Available: http://plato.stanford.edu/
22. L. D. Raedt, Ed., Advances in Inductive Logic Programming. Amsterdam, The Netherlands: IOS Press, 1996, ser. Frontiers in Artificial Intelligence and Applications.
23. A. M. Abdelbar, "Approximating cost-based abduction is NP-hard," Artif. Intell., vol. 159, no. 1/2, pp. 231-239, Nov. 2004.
24. J. R. Hobbs, M. E. Stickel, P. Martin, and D. Edwards, "Interpretation as abduction," in Proc. 26th Annu. Meeting ACM, 1988, pp. 95-103.
25. D. Gabbay and A. Hunter, "Making inconsistency respectable: A logical framework for inconsistency in reasoning," in Proc. Fundam. Artif. Intell. Res., 1991, pp. 19-32.
26. A. Hunter, "Reasoning with contradictory information using quasiclassical logic," J. Logic Comput., vol. 10, no. 5, pp. 677-703, Oct. 2000.
27. P. Krause, S. Ambler, M. Elvang-Goransson, and J. Fox, "A logic of argumentation for reasoning under uncertainty," Comput. Intell., vol. 11, no. 1, pp. 113-131, Feb. 1995.
28. S. Racunas, N. Shah, and N. Federoff, "Hybrow: A prototype system for computer-aided hypothesis evaluation," Bioinformatics, vol. 20, no. 1, pp. i257-i264, 2004. (Pubitemid 41296697)
29. S. Racunas, C. Griffin, and N. Shah, "A finite model theory for biological hypotheses," in Proc. Comput. Syst. Bioinform. Conf., Aug. 16-19, 2004, pp. 616-620. (Pubitemid 40276338)
30. C. Griffin and S. Racunas, "Logical data fusion for biological hypothesis evaluation," in Proc. FUSION, Philadelphia, PA, Jul. 24-28, 2005.
31. S. Racunas, C. Griffin, and A. Pohorille, "Chemical process modeling for minimal metabolic systems," in Proc. 24th Int. Conf. Mach. Learn., Corvallis, OR, Jun. 20-24, 2007. [Online]. Available: http://wwwkramer. in.tum.de/ipm07/ipm07-racunas-et-al.pdf
32. J.-F. Tsai, M.-H. Lin, and Y.-C. Hu, "Finding multiple solutions to general integer linear programs," Eur. J. Oper. Res., vol. 184, no. 2, pp. 802-809, Jan. 2008. (Pubitemid 47374396)
33. M. Richardson and P. Domingos, "Markov logic networks," Mach. Learn., vol. 62, no. 1/2, pp. 107-136, Feb. 2006. (Pubitemid 43202307)
34. R. Kindermann and J. L. Snell, Markov Random Fields and Their Applications. Providence, RI: AMS, 1980.
35. J. Bell and M. Machover, A Course in Mathematical Logic. Amsterdam, The Netherlands: North Holland, 1977.
36. R. Kowalski, Logic for Problem Solving. Amsterdam, The Netherlands: North Holland, 1979.
37. D. W. Loveland, Automated Theorem-Proving: A Logical Basis. Amsterdam, The Netherlands: North Holland, 1978.
38. J. A. Robinson, "A machine oriented logic based on the resolution principle," J. ACM, vol. 12, no. 1, pp. 23-41, Jan. 1965.
39. S. Simpson, Mathematical Logic, Dec. 2005. [Online]. Available: http://www.math.psu.edu/simpson/courses/math557/logic.pdf
40. J. Argelich and F. Manyá, "Exact MAX-SAT solvers for over constrained problems," J. Heuristics, vol. 12, no. 4/5, pp. 375-392, Sep. 2006. (Pubitemid 43724151)
41. L. A.Wolsey and G. L. Nemhauser, Integer and Combinatorial Optimization. New York: Wiley-Interscience, 1999.
42. M. Smith, C.Wetty, and D. L. McGuiness, OWLWeb Ontology Language Guide, Feb. 10, 2004.
43. Z. Fu and S. Malik, "On solving the partial MAX-SAT problem," in Proc. 9th Int. Conf. Theory Appl. Satisfiability Test., vol. 4121, LCNS, 2006, pp. 252-265. (Pubitemid 44531761)
44. E. A. Emerson, "Temporal and modal logic," in Handbook of Theoretical Computer Science, vol. B. Amsterdam, The Netherlands: Elsevier, 1990.