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
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;
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
DOI :
10.1109/IS.2010.5548357