DocumentCode :
3267441
Title :
Many valued probability theory
Author :
Morgan, Charles G.
Author_Institution :
Philos. Dept., Victoria Univ., BC, Canada
fYear :
2004
fDate :
19-22 May 2004
Firstpage :
294
Lastpage :
299
Abstract :
The apparent conflict between many valued logic and probability theory is resolved if we treat the probability of a sentence as the probability that the sentence has some specified truth value. The classical probability of a sentence is the probability that the sentence is classically true. In an analogous way, we develop a class of probability theories appropriate for any finite valued logics; the probability of a sentence is interpreted as the probability that the sentence takes some value in a specified subset of the semantic range. We show that for any finite valued logic, there is an appropriate many valued probability theory providing a characteristic probabilistic semantics for which the logic is both sound and complete.
Keywords :
multivalued logic; probability; semantic networks; finite valued logics; many valued logic; many valued probability theory; probabilistic semantics; semantic range subset; semantically compositional logic; sentence specified truth value probability; Cost accounting; Frequency; Heart; Multivalued logic; Probabilistic logic;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Multiple-Valued Logic, 2004. Proceedings. 34th International Symposium on
ISSN :
0195-623X
Print_ISBN :
0-7695-2130-4
Type :
conf
DOI :
10.1109/ISMVL.2004.1319958
Filename :
1319958
Link To Document :
بازگشت