Abstract
Our considerations are based on multi-valued logic. To introduce terminology and notation employed in our presentation of uncertain logic and uncertain variables, let us remind that multi-valued (exactly speaking — infinite-valued) propositional logic deals with propositions (α 1, α 2, ...) whose logic values w(α) ∈ [0, 1] and
Multi-valued predicate logic deals with predicates P(x) defined on a set X, i.e. properties concerning x, which for the fixed value of x form propositions in multi-valued propositional logic, i.e.
For the fixed x, μ p(x) denotes degree of truth, i.e. the value μ p(x) shows to what degree P is satisfied. If for each X ∈ X μ p(x) ∈ {0, 1} then P(x) will be called here a crisp or a well-defined property, and P(x) which is not well-defined will be called a soft property. The crisp property defines a set
Consider now a universal set Ω, ω ∈ Ω, a set X which is assumed to be a metric space, a function g: Ω → X, and a crisp property P(x) in the set X. The property P and the function g generate the crisp property ψ (ω, P) in Ω: “For the value \( \bar x = g(\omega ) \triangleq \bar x(\omega ) \) assigned to ω the property P is satisfied”, i.e.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
(2002). Uncertain Logics and Variables. In: Uncertain Logics, Variables and Systems. Lecture Notes in Control and Information Sciences, vol 276. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45794-1_1
Download citation
DOI: https://doi.org/10.1007/3-540-45794-1_1
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43235-7
Online ISBN: 978-3-540-45794-7
eBook Packages: Springer Book Archive