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].
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
F. BACCHUS. Representing and Reasoning with Probabilistic Knowledge. MIT Press, 1990.
F. S. CORREA DA SILVA. Automated reasoning with uncertainties. Technical report, University of Edinburgh, Department of Artificial Intelligence, 1991.
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.
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.
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.
R. M. DUDLEY. Real Analysis and Probability. Wadsworth & Brooks/Cole, 1989.
J. Y. HALPERN. An analysis of first-order logics of probability. Artificial Intelligence, 46:311–350, 1990.
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.
E. P. KLEMENT. Construction of fuzzy σ-algebras using triangular norms. Journal of Mathematical Analysis and Applications, 85:543–565, 1982.
K. KUNEN. Signed data dependencies in logic programs. Journal of Logic Programming, 7:231–245, 1989.
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.
Yu. V. PROHOROV and Yu. A. ROZANOV. Probability Theory. Springer Verlag, 1969.
P. SMETS. Probability of a fuzzy event: An axiomatic approach. Fuzzy Sets and Systems, 7:153–164, 1982.
D. TURI. Logic programs with negation: Classes, models, interpreters. Technical Report CS-R8943, Centre for Mathematics and Computer Science, 1989.
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.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
da Silva, F.S.C., Robertson, D., Chung, P. (1991). Automated reasoning about an uncertain domain. In: Kruse, R., Siegel, P. (eds) Symbolic and Quantitative Approaches to Uncertainty. ECSQARU 1991. Lecture Notes in Computer Science, vol 548. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54659-6_80
Download citation
DOI: https://doi.org/10.1007/3-540-54659-6_80
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54659-7
Online ISBN: 978-3-540-46426-6
eBook Packages: Springer Book Archive