AIApr 11, 2017
Beliefs and Probability in Bacchus' l.p. Logic: A~3-Valued Logic Solution to Apparent Counter-intuition
arXiv:1704.03342v11 citations
Originality Synthesis-oriented
AI Analysis
This addresses a foundational problem in integrating logic and probability for AI researchers, but appears incremental as it modifies an existing logic framework.
The paper tackled the fundamental discrepancy between first-order logic and statistical inference in Bacchus' L.p. logic, which causes counterintuitive behavior, by proposing a 3-valued logic solution to overcome this issue.
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.