Abstract
Possibilistic logic is an important approach for reasoning about possibility and necessity. By formulating possibilistic reasoning as a kind of modal logic, we can represent and reason about higher order uncertainty to any nested degrees. In this paper, we present a system with built-in axioms for reasoning about higher order uncertainty. Some intuition behind the system is discussed and the soundness and completness of it with respect to the class of finite transitive and serial (in fuzzy set-theoretic sense) possible-world models are proved.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Preview
Unable to display preview. Download preview PDF.
References
D. Dubois and H. Prade. “An introduction to possibilistic and fuzzy logics.” In: Non-standard Logics for Automated Reasoning (P. Smets et al. eds.), 287–325, Academic Press, 1988.
M. C. Fitting. Proof Methods for Modal and Intuitionistic Logics. Vol. 169 of Synthese Library, D. Reidel Publishing Company, 1983.
S. A. Kripke. “Semantical considerations on modal logic.” Acta Philosophica Fennica, 16:83–94, 1963.
C. J. Liau and I. P. Lin. “Quantitative modal logic and possibilistic reasoning”. Proc. of ECA I92, 43–47, 1992.
E. H. Ruspini. “On the Semantics of Fuzzy Logic.” International Journal of Approximate Reasoning, 5:45–88, 1991.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Liau, C.J., Lin, B.I.P. (1993). Reasoning about higher order uncertainty in possibilistic logic. In: Komorowski, J., Raś, Z.W. (eds) Methodologies for Intelligent Systems. ISMIS 1993. Lecture Notes in Computer Science, vol 689. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56804-2_30
Download citation
DOI: https://doi.org/10.1007/3-540-56804-2_30
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56804-9
Online ISBN: 978-3-540-47750-1
eBook Packages: Springer Book Archive