Probability Distributions Over Possible Worlds

03/27/2013
by   Fahiem Bacchus, et al.
0

In Probabilistic Logic Nilsson uses the device of a probability distribution over a set of possible worlds to assign probabilities to the sentences of a logical language. In his paper Nilsson concentrated on inference and associated computational issues. This paper, on the other hand, examines the probabilistic semantics in more detail, particularly for the case of first-order languages, and attempts to explain some of the features and limitations of this form of probability logic. It is pointed out that the device of assigning probabilities to logical sentences has certain expressive limitations. In particular, statistical assertions are not easily expressed by such a device. This leads to certain difficulties with attempts to give probabilistic semantics to default reasoning using probabilities assigned to logical sentences.

READ FULL TEXT

page 1

page 2

page 3

page 4

page 5

page 6

page 7

research
10/12/2015

Asymptotic Logical Uncertainty and The Benford Test

We give an algorithm A which assigns probabilities to logical sentences....
research
09/12/2012

Probabilities on Sentences in an Expressive Logic

Automated reasoning about uncertain knowledge has many applications. One...
research
03/27/2013

Lp : A Logic for Statistical Information

This extended abstract presents a logic, called Lp, that is capable of r...
research
03/27/2013

Probabilistic Semantics and Defaults

There is much interest in providing probabilistic semantics for defaults...
research
03/27/2013

Some Extensions of Probabilistic Logic

In [12], Nilsson proposed the probabilistic logic in which the truth val...
research
03/27/2013

Probabilistic and Non-Monotonic Inference

(l) I have enough evidence to render the sentence S probable. (la) So, r...
research
09/25/2021

Logical Credal Networks

This paper introduces Logical Credal Networks, an expressive probabilist...

Please sign up or login with your details

Forgot password? Click here to reset