๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Enhancing the inference mechanism of Nilsson's probabilistic logic

โœ Scribed by Thomas B. Kane


Publisher
John Wiley and Sons
Year
1990
Tongue
English
Weight
898 KB
Volume
5
Category
Article
ISSN
0884-8173

No coin nor oath required. For personal study only.

โœฆ Synopsis


Nilsson's Probabilistic Logic is a set-theoretic mechanism for reasoning with uncertainty. We propose a new way of looking at the probability constraints enforced by the framework, which allows the expert to include conditional probabilities in the semantic tree, thus making Probabilistic Logic more expressive. The meaning of entailment in an uncertain environment is explored. An algorithm is presented which will find the maximum entropy point probability for a rule of entailment without resorting to solution by iterative approximation. Also presented are a number of methods for employing the conditional probabilities,


๐Ÿ“œ SIMILAR VOLUMES


The computational complexity of probabil
โœ Gregory F. Cooper ๐Ÿ“‚ Article ๐Ÿ“… 1990 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 708 KB

Bayesian belief networks provide a natural, efficient method for representing probabilistic dependencies among a set of variables. For these reasons, numerous researchers are exploring the use of belief networks as a knowledge representation m artificial intelligence. Algorithms have been developed

A probabilistic logic for the developmen
โœ C.W. Johnson ๐Ÿ“‚ Article ๐Ÿ“… 1993 ๐Ÿ› Elsevier Science โš– 704 KB

This paper starts from the premise that the human contribution to risk must be assessed during the development of safety-critical systems. In contrast to previous approaches, discrete numerical values are rejected as means of quantifying the probability of operator "error" for many different users o

An investigation of the general solution
โœ Mary Deutsch-McLeish ๐Ÿ“‚ Article ๐Ÿ“… 1990 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 503 KB

Probabilistic Logic was first proposed by Nils Nilsson as a mechanism for reasoning with uncertain knowledge. When applying this method bounds are obtained on entailment values. In order to obtain precise values, Nilsson suggests two methodologies, one involving an application of maximum entropy and