Probabilistic Approximate Logic and its Implementation in the Logical Imagination Engine.
Mark-Oliver StehrMinyoung KimCarolyn L. TalcottMerrill KnappAkos VertesPublished in: CoRR (2019)
Keyphrases
- probabilistic logic
- probabilistic knowledge
- probability theory
- database
- data sets
- logical framework
- bayesian networks
- maximum entropy
- generative model
- probabilistic reasoning
- probabilistic model
- logical rules
- database systems
- logical operations
- predicate calculus
- logical representation
- micron cmos
- abductive reasoning
- predicate logic
- automated reasoning
- hardware implementation