Selecting Uncertainty Calculi and Granularity: An Experiment in Trading-Off Precision and Complexity

03/27/2013
by   Piero P. Bonissone, et al.
0

The management of uncertainty in expert systems has usually been left to ad hoc representations and rules of combinations lacking either a sound theory or clear semantics. The objective of this paper is to establish a theoretical basis for defining the syntax and semantics of a small subset of calculi of uncertainty operating on a given term set of linguistic statements of likelihood. Each calculus is defined by specifying a negation, a conjunction and a disjunction operator. Families of Triangular norms and conorms constitute the most general representations of conjunction and disjunction operators. These families provide us with a formalism for defining an infinite number of different calculi of uncertainty. The term set will define the uncertainty granularity, i.e. the finest level of distinction among different quantifications of uncertainty. This granularity will limit the ability to differentiate between two similar operators. Therefore, only a small finite subset of the infinite number of calculi will produce notably different results. This result is illustrated by two experiments where nine and eleven different calculi of uncertainty are used with three term sets containing five, nine, and thirteen elements, respectively. Finally, the use of context dependent rule set is proposed to select the most appropriate calculus for any given situation. Such a rule set will be relatively small since it must only describe the selection policies for a small number of calculi (resulting from the analyzed trade-off between complexity and precision).

READ FULL TEXT

page 1

page 2

page 4

page 6

page 7

page 8

page 9

page 10

research
12/10/2020

Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model

In a recent paper, a realizability technique has been used to give a sem...
research
04/14/2018

Modal Dependent Type Theory and Dependent Right Adjoints

In recent years we have seen several new models of dependent type theory...
research
04/23/2018

A Coinductive Approach to Proving Reachability Properties in Logically Constrained Term Rewriting Systems

We introduce a sound and complete coinductive proof system for reachabil...
research
09/28/2022

Towards a Verified Prover for a Ground Fragment of Set Theory

Using Isabelle/HOL, we verify the state-of-the-art decision procedure fo...
research
02/28/2018

Reducing Lambda Terms with Traversals

We introduce a method to evaluate untyped lambda terms by combining the ...
research
05/23/2000

Applying MDL to Learning Best Model Granularity

The Minimum Description Length (MDL) principle is solidly based on a pro...
research
06/02/2017

Exception-Based Knowledge Updates

Existing methods for dealing with knowledge updates differ greatly depen...

Please sign up or login with your details

Forgot password? Click here to reset