A theory of higher order probabilities

Authors:
Haim Gaifman
Affiliations:
The Hebrew University Jerusalem, Israel
Venue:
TARK '86 Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge
Year:
1986

Citing 0
Cited 3

Using the Dempster-Shafer Theory of Evidence to Resolve ABox Inconsistencies

Uncertainty Reasoning for the Semantic Web I
A hybrid framework for representing uncertain knowledge

AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
The well-designed logical robot: Learning and experience from observations to the Situation Calculus

Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

We set up a general framework for higher order probabilities. A simple HOP (Higher Order Probability space) consists of a probability space and an operation PR, such that, for every event A and every real closed interval Δ, PR(A, Δ) is the event that A's "true" probability lies in Δ. (The "true" probability can be construed here either as the objective probability, or the probability assigned by an expert, or the one assigned eventually in a fuller state of knowledge.) In a general HOP the operation PR has also an additional argument ranging over an ordered set of time-points, or, more generally, over a partially ordered set of stages; PR(A, t, Δ) is the event that A's probability at stage t lies in δ. First we investigate simple HOPs and then the general ones. Assuming some intuitively justified axioms, we derive the most general structure of such a space. We also indicate various connections with modal logic.