Advertisement

Automated reasoning about an uncertain domain

  • Flávio S. Corrêa da Silva
  • Dave Robertson
  • Paul Chung
Contributed Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 548)

Abstract

In this paper we introduce a resolution-based logic programming language that handles probabilities and fuzzy events. The language can be viewed as a simple knowledge representation formalism, with the features of being operational and presenting a complete declarative semantics. An extended version of this paper can be found in [3].

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    F. BACCHUS. Representing and Reasoning with Probabilistic Knowledge. MIT Press, 1990.Google Scholar
  2. [2]
    F. S. CORREA DA SILVA. Automated reasoning with uncertainties. Technical report, University of Edinburgh, Department of Artificial Intelligence, 1991.Google Scholar
  3. [3]
    F. S. CORREA DA SILVA, D. S. ROBERTSON, and P. CHUNG. Automated reasoning about an uncertain domain. Technical report, University of Edinburgh, Department of Artificial Intelligence, 1991.Google Scholar
  4. [4]
    D. DUBOIS, J. LANG, and H. PRADE. Automated reasoning using possibilistic logic: Semantics, belief revision and variable certainty weights. In Proceedings of the 5 th Workshop on Uncertainty in Artificial Intelligence, 1989.Google Scholar
  5. [5]
    D. DUBOIS and H. PRADE. An introduction to possibilistic and fuzzy logics. In P. Smets, A. Mamdani, D. Dubois, and H. Prade, editors, Non-standard Logics for Automated Reasoning. Academic Press, 1988.Google Scholar
  6. [6]
    R. M. DUDLEY. Real Analysis and Probability. Wadsworth & Brooks/Cole, 1989.Google Scholar
  7. [7]
    J. Y. HALPERN. An analysis of first-order logics of probability. Artificial Intelligence, 46:311–350, 1990.Google Scholar
  8. [8]
    M. KIFER and V. S. SUBRAHMANIAN. On the expressive power of annotated logic programs. In NACLP'89 — Proceedings of the 1989 North American Conference on Logic Programming, 1989.Google Scholar
  9. [9]
    E. P. KLEMENT. Construction of fuzzy σ-algebras using triangular norms. Journal of Mathematical Analysis and Applications, 85:543–565, 1982.Google Scholar
  10. [10]
    K. KUNEN. Signed data dependencies in logic programs. Journal of Logic Programming, 7:231–245, 1989.Google Scholar
  11. [11]
    K. PIASECKI. Fuzzy p-measures and their application in decision making. In J. Kacprzyk and M. Pedrizzi, editors, Combining Fuzzy Imprecision with Probabilistic Uncertainty in Decision Making. Springer Verlag, 1988.Google Scholar
  12. [12]
    Yu. V. PROHOROV and Yu. A. ROZANOV. Probability Theory. Springer Verlag, 1969.Google Scholar
  13. [13]
    P. SMETS. Probability of a fuzzy event: An axiomatic approach. Fuzzy Sets and Systems, 7:153–164, 1982.Google Scholar
  14. [14]
    D. TURI. Logic programs with negation: Classes, models, interpreters. Technical Report CS-R8943, Centre for Mathematics and Computer Science, 1989.Google Scholar
  15. [15]
    I. B. TURKSEN. Stochastic fuzzy sets: a survey. In J. Kacprzyk and M. Fedrizzi, editors, Combining Fuzzy Imprecision with Probabilistic Uncertainty in Decision Making. Springer Verlag, 1988.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Flávio S. Corrêa da Silva
    • 1
  • Dave Robertson
    • 1
  • Paul Chung
    • 2
  1. 1.Dept. of AIUniv. of EdinburghEdinburghScotland
  2. 2.AIAIEdinburghScotland

Personalised recommendations