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 :
بازگشت