Modus Ponens Generating Function in the Class of ^-valuations of Plausibility

02/27/2013
by   Ildar Z. Batyrshin, et al.
0

We discuss the problem of construction of inference procedures which can manipulate with uncertainties measured in ordinal scales and fulfill to the property of strict monotonicity of conclusion. The class of A-valuations of plausibility is considered where operations based only on information about linear ordering of plausibility values are used. In this class the modus ponens generating function fulfiling to the property of strict monotonicity of conclusions is introduced.

READ FULL TEXT

page 1

page 4

12/16/2019

Active strict saddles in nonsmooth optimization

We introduce a geometrically transparent strict saddle property for nons...
03/08/2021

An extension of the avalanche criterion in the context of c-differentials

The Strict Avalanche Criterion (SAC) is a property of vectorial Boolean ...
11/09/2019

Decision Procedures for Guarded Logics

An important class of decidable first-order logic fragments are those sa...
07/30/2021

Representing Pareto optima in preordered spaces: from Shannon entropy to injective monotones

Shannon entropy is the most widely used measure of uncertainty. It is us...
08/27/2019

Fourier-type monitoring procedures for strict stationarity

We consider model-free monitoring procedures for strict stationarity of ...
06/17/2021

Escaping strict saddle points of the Moreau envelope in nonsmooth optimization

Recent work has shown that stochastically perturbed gradient methods can...
07/26/2000

Ordering-based Representations of Rational Inference

Rational inference relations were introduced by Lehmann and Magidor as t...