Title
Beliefs and Probability in Bacchus' l.p. Logic: A~3-Valued Logic Solution to Apparent Counter-intuition.
Abstract
Fundamental discrepancy between first order logic and statistical inference (global versus local properties of universe) is shown to be the obstacle for integration of logic and probability in L.p. logic of Bacchus. To overcome the counterintuitiveness of L.p. behaviour, a 3-valued logic is proposed.
Year
Venue
Field
2017
arXiv: Artificial Intelligence
Obstacle,Computer science,Algorithm,Intuition,Theoretical computer science,First-order logic,Universe,Statistical inference,Artificial intelligence,Many-valued logic,Machine learning
DocType
Volume
Citations 
Journal
abs/1704.03342
0
PageRank 
References 
Authors
0.34
0
1
Name
Order
Citations
PageRank
Mieczyslaw A. Klopotek136678.58