Abstract
We show how probabilistic logic and probabilistic conditional logic can be formalized in the framework of institutions, thereby supporting the study of structural properties of both syntax and semantics of these logics. By using the notions of institution morphism and institution embedding, the relationships between probabilistic propositional logic, probabilistic conditional logic, and the underlying two-valued propositional logic are investigated in detail, telling us, for instance, precisely how to interpret probabilistic conditionals as probabilistic facts or in a propositional setting and vice versa.
The research reported here was partially supported by the DFG – Deutsche Forschungsgemeinschaft (grant BE 1700/5-1).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Burstall, R., Goguen, J.: The semantics of Clear, a specification language. In: Bjorner, D. (ed.) Abstract Software Specifications. LNCS, vol. 86, pp. 292–332. Springer, Heidelberg (1980)
Beierle, C., Kern-Isberner, G.: Footprints of conditionals. In: Hutter, D., Stephan, W. (eds.) Festschrift in Honor of Jörg H. Siekmann. Springer, Berlin (2002)
Beierle, C., Kern-Isberner, G.: Using institutions for the study of qualitative and quantitative conditional logics. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, pp. 161–172. Springer, Heidelberg (2002)
Calabrese, P.G.: Deduction and inference using conditional logic and probability. In: Goodman, I.R., Gupta, M.M., Nguyen, H.T., Rogers, G.S. (eds.) Conditional Logic in Expert Systems, pp. 71–100. Elsevier, North Holland (1991)
DeFinetti, B.: Theory of Probability, vol. 1, 2. John Wiley and Sons, New York (1974)
Goguen, J., Burstall, R.: Institutions: Abstract model theory for specification and programming. Journal of the ACM 39(1), 95–146 (1992)
Goguen, J.A., Rosu, G.: Institution morphisms. Formal Aspects of Computing 13(3-5), 274–307 (2002)
Herrlich, H., Strecker, G.E.: Category theory. Allyn and Bacon, Boston (1973)
Lewis, D.: Probabilities of conditionals and conditional probabilities. The Philosophical Review 85, 297–315 (1976)
Lane, S.M.: Categories for the Working Mathematician. Springer, New York (1972)
Rescher, N.: Many-Valued Logic. McGraw-Hill, New York (1969)
Paris, J.B.: The uncertain reasoner’s companion – A mathematical perspective. Cambridge University Press, Cambridge (1994)
Pearl, J.: Probabilistic Reasoning in Intelligent Systems. Morgan Kaufmann, San Francisco (1988)
Paris, J.B., Vencovska, A.: Proof systems for probabilistic uncertain reasoning. Journal of Symbolic Logic 63(3), 1007–1039 (1998)
Sannella, D., Tarlecki, A.: Essential comcepts for algebraic specification and program development. Formal Aspects of Computing 9, 229–269 (1997)
Tarlecki, A.: Moving between logical systems. In: Haveraaen, M., Dahl, O.-J., Owe, O. (eds.) Abstract Data Types 1995 and COMPASS 1995. LNCS, vol. 1130, pp. 478–502. Springer, Heidelberg (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Beierle, C., Kern-Isberner, G. (2005). Looking at Probabilistic Conditionals from an Institutional Point of View. In: Kern-Isberner, G., Rödder, W., Kulmann, F. (eds) Conditionals, Information, and Inference. WCII 2002. Lecture Notes in Computer Science(), vol 3301. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11408017_10
Download citation
DOI: https://doi.org/10.1007/11408017_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25332-7
Online ISBN: 978-3-540-32235-1
eBook Packages: Computer ScienceComputer Science (R0)