Computation of best bounds of probabilities from uncertain data

Computational Intelligence

Volumn 12, Issue 4, 1996, Pages 541-565

  Luo, Chengjie ^a   Yu, Clement ^a   Lobo, Jorge ^a   Wang, Gaoming ^b   Pham, Tracy ^c  

^a 1120 Science and Engineering Offices   (United States)

^b OMRON CORPORATION   (Japan)

^c Omron Advanced System

Author keywords

Linear programming; Uncertain reasoning

Indexed keywords

BOUNDARY VALUE PROBLEMS; COMPUTATIONAL METHODS; FORMAL LOGIC; LINEAR PROGRAMMING; PROBLEM SOLVING;

UNCERTAIN REASONING;

PROBABILITY;

EID: 0030284785     PISSN: 08247935     EISSN: None     Source Type: Journal    
DOI: 10.1111/j.1467-8640.1996.tb00276.x     Document Type: Article

References (35)

1. ADAMS, E. W., and LEVINE, H. F. 1975. On the uncertainties transmitted from promises to conclusions in deductive inferences. Synthese, 30:429-460.
2. BLAND, R. G., GOLDFARB, D., and TODD, M. J. 1981. The ellipsoid method: a survey. Operations Research, 29(6):1039-1091.
3. CHARNES, A., and COOPER, W. W. 1962. Programming with linear fractional functionals. Naval Res. Logistics Quarterly, 9:181-186.
4. DANTZIG, G. B. 1960. Inductive proof of the Simplex method. IBM, Journal of Res. Development, 4(5):500-506.
5. DEMOLOMBE, R. 1989. An efficient evaluation strategy for non-Horn deductive database. In Proceedings of IFIP.
6. DEMPSTER, A. P. 1968. A generalization of bayesian inference. Journal of the Royal Statist. Society B, 30:205-247.
7. DORN, W. S. 1962. Linear fractional programming. IBM Res. Report RC-830.
8. FAGIN, R., and HALPERN, J. 1988. Reasoning about knowledge and probability: preliminary report. In Proceedings of 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, pp. 277-293.
9. FAGIN, R., and HALPERN, J. 1989. Uncertainty, belief, and probability. In Proceedings of 11th IJCAI. pp. 78-128.
10. FAGIN, R., HALPERN, J., and MEGIDDO, N. 1988. A logic for reasoning about probabilities. In Proceedings of 3rd IEEE Symposium on Logic in Computer Science, pp. 277-291.
11. FAGIN, R., HALPERN, J., and MEGIDDO, N. 1990. A logic for reasoning about probabilities. Information and Computation. 87:78-128.
12. GÜNTZER, U., KIESSLING, W., and THÖNE, H. 1991. New direction for uncertainty reasoning in deductive databases. In Proceedings of the ACM SIGMOD, Boston, MA, Vol. 21, pp. 178-187.
13. HAILPERIN, T. 1965. Best possible inequalities for the probability of a logical function of events. American Mathematical Monthly, 72:343-359.
14. HAILPERIN, T. 1984. Probability logic. Notre Dame Journal of Formal Logic, 25(3):198-212.
15. IMIELINSKI, T. Automated deduction in databases with incomplete information, Rutgers Technical Report DCS-TR-181.
16. KARMARKAR, N. 1984. A new polynomial-time algorithm for linear programming. Combinatorica, 4:373-395.
17. KARMARKAR, N. 1985. A new polynomial-time algorithm for linear programming, Presented at the ORSA/TIMS Meeting, Boston.
18. KERSCHBERG, L. 1988. Expert Database Systems: Proceedings from the 2nd International Conference. Benjamin/Cummings.
19. KERSCHBERG, L. 1990. Expert database systems: knowledge/data management environments for intelligent information systems. Information Systems, 15(1):151-160.
20. KERSCHBERG, L. 1991. Methodologies for data/knowledge/information engineering: Will the twain meet? In Lecture Notes in Artificial Intelligence (542): Methodologies for Intelligent Systems, pp. 32-34.
21. KHACHIYAN, L. G. 1979. A polynomial algorithm in linear programming. Doklady Akademica Nauk SSSR, 224:1093-1096.
22. LOBO, J., MINKER, J., and RAJASEKAR, A. 1992. Foundations of Disjunctive Logic Programming. MIT Press, Cambridge, MA.
23. LUO, C., YU, C., LOBO, J., WANG, G., and PHAM, T. 1992. A complete uncertainty reasoning system. Tech. Rep., Dept., of EECS, Univ. of Illinois, Chicago.
24. NAQVI, S., and TSUR, S. 1989. Logical Language for Data and Knowledge Bases. Computer Science Press, New York.
25. NEAPOLITAN, R. E. 1990. Probabilistic Reasoning in Expert Systems - Theory and Algorithms. Wiley, New York.
26. NG, R., and SUBRAHMANIAN, V. S. To appear. A semantical framework for supporting subjective and conditional probabilities in deductive databases. Journal of Automated Reasoning.
27. NILSSON, N. J. 1986. Probabilistic logic. Artificial Intelligence, 28:71-87.
28. PEARL, J. 1988. Probabilistic Reasoning in Intelligent Systems. Morgan Kaufmann, San Mateo, CA.
29. RAS, Z. W., and ZEMANKOVA, M. 1991. Methodologies for Intelligent Systems. Springer-Verlag, Berlin/New York.
30. SCHRIJVER, A. 1986. Theory of Linear and Integer Programming. Wiley, New York.
31. SCHWARTZ, S. M., BARON, J., and CLARKE, J. R. 1988. A causal bayesian model for the diagnosis of appendicitis. In Uncertainty in Artificial Intelligence 2. North-Holland, pp. 423-434.
32. SHAFER, G. A. 1979. Mathematical of Evidence. Princeton University Press, Princeton, NJ.
33. STRUM, J. E. 1972. Introduction to Linear Programming. Holden-Day.
34. SUPPES, P. 1966. Probabilistic inference and the concept of total evidence. Aspects of Inductive Logic. pp. 49-65.
35. WEITZEL, J. R., and KERSCHBERG, L. 1990. Development knowledge-based systems: Re-organizing the system development life cycle. Comm. of the American Chemical Society.