Paraconsistent Foundations for Probabilistic Reasoning, Programming and Concept Formation.
Ben GoertzelPublished in: CoRR (2020)
Keyphrases
- probabilistic reasoning
- concept formation
- logic programming
- knowledge representation
- programming language
- reasoning under uncertainty
- bayesian networks
- hypothesis formation
- automated reasoning
- first order logic
- probabilistic inference
- probabilistic logic
- artificial intelligence
- constraint satisfaction
- belief networks
- proof planning
- inference rules
- machine learning
- logic programs
- deductive databases
- high level
- constraint satisfaction problems
- knowledge acquisition
- supervised learning
- reasoning tasks
- trade off
- computational complexity
- image segmentation
- data mining