DocumentCode
3532672
Title
Discrete Markov process interpretation of propositional logic
Author
Sgurev, Vassil S. ; Jotsov, Vladimir S.
Author_Institution
Inst. for Inf. Technol.-Bulgarian, State Univ. of Libr. Studies & Inf. Technol., Sofia, Bulgaria
fYear
2010
fDate
7-9 July 2010
Firstpage
203
Lastpage
206
Abstract
A stochastic interpretation of propositional logic formulas is introduced that uses a specific discrete Markov process with two states. The requirements for this interpretation are formulated. It is shown that the obtained from it stochastic distributions are compatible on a qualitative (probabilistic) level with the respective results of the propositional logic. Examples are presented for usage of this class of Markov processes and the ways for applying it in artificial intelligence, intelligent systems, expert systems are marked.
Keywords
Markov processes; formal logic; statistical distributions; discrete Markov process; propositional logic; stochastic distributions; stochastic interpretation; Artificial intelligence; Bayesian methods; Expert systems; Fuzzy logic; Intelligent systems; Markov processes; Probabilistic logic; Stochastic processes; discrete Markov process; propositional logic; stochastic distributions;
fLanguage
English
Publisher
ieee
Conference_Titel
Intelligent Systems (IS), 2010 5th IEEE International Conference
Conference_Location
London
Print_ISBN
978-1-4244-5163-0
Electronic_ISBN
978-1-4244-5164-7
Type
conf
DOI
10.1109/IS.2010.5548357
Filename
5548357
Link To Document