Počet záznamů: 1  

Proof, Computation and Agency. Logic at the Crossroad

  1. 1.
    0379794 - ÚI 2013 RIV DE eng M - Část monografie knihy
    Hájek, Petr
    Deductive Systems of Fuzzy Logic.
    Proof, Computation and Agency. Logic at the Crossroad. Dordrecht: Springer, 2011 - (van Benthem, J.; Gupta, A.; Parikh, R.), s. 67-78. Synthese Library, 352. ISBN 978-94-007-0079-6
    Grant CEP: GA AV ČR IAA100300503
    Výzkumný záměr: CEZ:AV0Z10300504
    Klíčová slova: Mathematical Fuzzy Logic * axiomatic systems * completeness theorems
    Kód oboru RIV: BA - Obecná matematika

    Lotfi Zadeh is the author of the theory of fuzzy sets. A fuzzy subset A of a (crisp) set X is characterized by assigning to each element x of X the degree of membership of x in A In particular, if X is a set of propositions then its elements may be assigned their degree of truth, which may be “absolutely true”, “absolutely false” or some intermediate truth degree: a proposition may be more true than another proposition. This is obvious in the case of vague (imprecise) propositions like “this person is old” (beautiful, rich, etc.). And this leads to fuzzy logic. In the analogy to various definitions of operations on fuzzy sets (intersection, union, complement,…) one may ask how propositions can be combined by connectives (conjunction, disjunction, negation,…) and if the truth degree of a composed proposition is determined by the truth degrees of its components, i.e. if the connectives have their corresponding truth functions (like truth tables of classical logic). Saying “yes” (which is the mainstream of fuzzy logic) makes fuzzy logic to something principally different from probability theory since e.g. the probability of conjunction of two propositions is not determined by the probabilities of those propositions.
    Trvalý link: http://hdl.handle.net/11104/0210669

     
     
Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.