Probabilistic models for intuitionistic predicate logic.
George GeorgescuPublished in: J. Log. Comput. (2011)
Keyphrases
- predicate logic
- probabilistic model
- graphical models
- linear logic
- knowledge representation and reasoning
- fuzzy set theory
- interval valued
- predicate calculus
- lower level
- conditional random fields
- expectation maximization
- formal logic
- temporal logic
- bayesian networks
- theorem prover
- semantic net
- semantic network
- fuzzy numbers
- hidden variables
- general purpose
- computational linguistics
- order sorted
- machine learning
- information retrieval
- conditional probabilities
- domain independent
- logical formulas
- computer science
- high level