Can Uncertainty Management be Realized in a Finite Totally Ordered Probability Algebra?

03/27/2013
by   Yang Xiang, et al.
0

In this paper, the feasibility of using finite totally ordered probability models under Alelinnas's Theory of Probabilistic Logic [Aleliunas, 1988] is investigated. The general form of the probability algebra of these models is derived and the number of possible algebras with given size is deduced. Based on this analysis, we discuss problems of denominator-indifference and ambiguity-generation that arise in reasoning by cases and abductive reasoning. An example is given that illustrates how these problems arise. The investigation shows that a finite probability model may be of very limited usage.

READ FULL TEXT

page 1

page 2

page 4

page 5

page 6

page 7

page 8

research
06/11/2019

Using Hoare logic in a process algebra setting

This paper concerns the relation between process algebra and Hoare logic...
research
06/08/2020

Boolean algebras of conditionals, probability and logic

This paper presents an investigation on the structure of conditional eve...
research
12/05/2022

Finite model theory for pseudovarieties and universal algebra: preservation, definability and complexity

We explore new interactions between finite model theory and a number of ...
research
11/23/2015

What is the plausibility of probability?(revised 2003, 2015)

We present and examine a result related to uncertainty reasoning, namely...
research
12/20/2019

A characterisation of ordered abstract probabilities

In computer science, especially when dealing with quantum computing or o...
research
10/25/2002

Geometric Aspects of Multiagent Systems

Recent advances in Multiagent Systems (MAS) and Epistemic Logic within D...
research
05/18/2023

Solving probability puzzles with logic toolkit

The proposed approach is to formalise the probabilistic puzzle in equati...

Please sign up or login with your details

Forgot password? Click here to reset