Hutter, Marcus; Lloyd, John; Ng, Kee Siong; Uther, William T.B.
Uncertain knowledge can be modeled by using graded probabilities rather than binary truth-values, but so far a completely satisfactory integration of logic and probability has been lacking. In particular the inability of confirming universal hypotheses has plagued most if not all systems so far. We address this problem head on. The main technical problem to be discussed is the following: Given a set of sentences, each having some probability of being true, what probability should be ascribed to...[Show more]
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.