Discrete Markov process interpretation of propositional logic.
Vassil Stoyanov SgurevVladimir Simov JotsovPublished in: IEEE Conf. of Intelligent Systems (2010)
Keyphrases
- propositional logic
- markov process
- markov processes
- markov chain
- belief revision
- stochastic process
- first order logic
- quantified boolean formulae
- stationary distribution
- belief change
- transition probabilities
- lattice theory
- horn logic
- finite number
- propositional satisfiability
- higher order
- search algorithm
- artificial intelligence