Translating Non-classical Logics into Classical Logic by Using Hidden Variables.
Juan Carlos Agudelo AgudeloPublished in: Logica Universalis (2017)
Keyphrases
- classical logic
- hidden variables
- bayesian networks
- logic programming
- probabilistic model
- em algorithm
- modal logic
- generative model
- latent variables
- bayesian inference
- default logic
- models with hidden variables
- automated theorem proving
- missing values
- intuitionistic logic
- possibility theory
- valued logic
- incomplete data
- posterior distribution
- conditional independence
- network structure
- machine learning
- logic programs
- nonmonotonic reasoning
- general purpose