Compressed Constraints in Probabilistic Logic and Their Revision

03/20/2013
by   Paul Snow, et al.
0

In probabilistic logic entailments, even moderate size problems can yield linear constraint systems with so many variables that exact methods are impractical. This difficulty can be remedied in many cases of interest by introducing a three valued logic (true, false, and "don't care"). The three-valued approach allows the construction of "compressed" constraint systems which have the same solution sets as their two-valued counterparts, but which may involve dramatically fewer variables. Techniques to calculate point estimates for the posterior probabilities of entailed sentences are discussed.

READ FULL TEXT

Authors

page 1

page 2

page 4

page 5

page 6

02/26/2015

Entropy and Syntropy in the Context of Five-Valued Logics

This paper presents a five-valued representation of bifuzzy sets. This r...
10/17/2018

Many-valued logics inside λ-calculus: Church's rescue of Russell with Bohm trees

We extend the Church encoding of the Booleans and two-valued Boolean Log...
04/11/2017

Beliefs and Probability in Bacchus' l.p. Logic: A 3-Valued Logic Solution to Apparent Counter-intuition

Fundamental discrepancy between first order logic and statistical infere...
12/10/2020

On Coalgebraic Many-Valued Modal Logic

In this paper, we investigate the many-valued version of coalgebraic mod...
07/03/2014

n-Valued Refined Neutrosophic Logic and Its Applications to Physics

In this paper we present a short history of logics: from particular case...
01/21/2019

MSO+nabla is undecidable

This paper is about an extension of monadic second-order logic over infi...
07/16/2018

Constraint-Based Visual Generation

In the last few years the systematic adoption of deep learning to visual...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.