A Probabilistic Propositional Logic System is an Event Semantics for Classical Formal System of Propositional Calculus

Abstract:

The well formed formulas (wffs) in classical formal system of propositional calculus (CPC) are only some formal symbols, whose meanings are given by an interpretation. A probabilistic logic system, based on a probabilistic space, is an event semantics for CPC, in which set operations are the semantic interpretations for connectives, event functions are the semantic interpretations for wffs, the event (set) inclusion is the semantic interpretation for tautological implication, and the event equality = is the semantic interpretation for tautological equivalence. CPC is applicable to probabilistic propositions completely. Event calculus instead of truth value (probability) calculus can be performed in CPC because there arent truth value functions (operators) to interpret all connectives correctly.

• Periodical: Applied Mechanics and Materials (Volumes 427-429)
• Pages: 1917-1923
• DOI: https://doi.org/10.4028/www.scientific.net/AMM.427-429.1917
• Online since: September 2013
• Authors: Hong Lan Liu*, De Zheng Zhang
• Keywords: Boolean Algebra, Homomorphism, Probabilistic Propositional Logic

References

[1] Wang Wansen, He Huacan, Research on flexibility of logic relation based on universal logics, Journal of Software, Vol. 16, No. 5, pp.754-760, (2005).

[2] D. M. Gabbay, F. Guenthner, Eds, Handbook of Philosophical Logic, 2nd ed., Vol. 2, Kluwer Academic publishers, London, (2001).

[3] Yang Bingru, Knowledge Engineering and Knowledge Discovery, Metallurgical industry publishing house, Beijing, (2000).

[4] Du Guoping, Classical Logic and Non-classical Logic Fundamentals, Higher education publishing house, Beijing, (2006).

[5] Wang Guojun, Non-classical Mathematical Logic and Approximate Inference, Science publishing house, Beijing, (2000).

[6] Liu Honglan, Gao Qingshi, Yang Bingru, The two layers of propositional equivalence and the propositional calculus in Probabilistic Propositional Logic, Philosophical Researches, no. 10, pp.113-118, (2009).

[7] Qu Wanling, Geng Suyun, Discrete Mathematics, Higher education publishing house, Beijing, (2008).

[8] Lien-Fu Lai, Liang-Tsung Huang, Chao-Chin Wu, Shi-Shan Chen, Fuzzy Knowledge Management through Knowledge Engineering and Fuzzy Logic, JCIT, Vol. 5, No. 3, pp.7-15, (2010).

[9] Li Hongxing, The probabilistic expression of fuzzy system, SCIENCE CHINA Information Sciences, vol. 36, no. 4, pp.373-377, (2006).

[10] Jorge Ropero, Carlos Leon, Alejandro Carrasco, Ariel Gomez, Octavio Rivera, Fuzzy Logic Applications for Knowledge Discovery: a Survey, IJACT, Vol. 3, No. 6, pp.187-198, (2011).

[11] Wang Xiang, Jin Xiaoming, Chen Meng-En, Zhang Kai, Shen Dou, Topic Mining over Asynchronous Text Sequences, IEEE Transactions on Knowledge and Data Engineering, Vol. 24, No. 1, pp.156-169, (2012).

DOI: 10.1109/tkde.2010.229

[12] Lien-Fu Lai, Liang-Tsung Huang, Chao-Chin Wu, Shi-Shan Chen, Fuzzy Knowledge Management through Knowledge Engineering and Fuzzy Logic, JCIT, Vol. 5, No. 3, pp.7-15, (2010).