• 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