Počet záznamů: 1

Fuzzy Logics Interpreted as Logics of Resources

  1. 1.
    0328135 - UIVT-O 2010 RIV GB eng C - Konferenční příspěvek (zahraniční konf.)
    Běhounek, Libor
    Fuzzy Logics Interpreted as Logics of Resources.
    [Interpretace fuzzy logik jakožto logik zdrojů.]
    The Logica Yearbook 2008. London: College Publications, 2009 - (Peliš, M.), s. 1-13. ISBN 978-1-904987-46-8.
    [Logica 2008. Hejnice (CZ), 16.06.2008-20.06.2008]
    Grant CEP: GA AV ČR IAA900090703
    Výzkumný záměr: CEZ:AV0Z10300504
    Klíčová slova: fuzzy logic * linear logic * contraction-free substructural logics * resource-aware reasoning * prelinearity
    Kód oboru RIV: BA - Obecná matematika

    Girard's linear logic is often interpreted as the logic of resources, while formal fuzzy logics are usually understood as logics of partial truth. The paper argues that deductive fuzzy logics can be interpreted in terms of resources as well, and that under most circumstances they actually capture resource-aware reasoning more accurately than linear logic. The resource-based interpretation then provides an alternative motivation for formal fuzzy logics, and gives an explanation of the meaning of their intermediary truth values that can be justified more easily than their traditional motivation based on partial truth.

    Girardova lineární logika je často interpretována jakožto logika prostředků a zdrojů, zatímco formální fuzzy logiky jsou obvykle chápány jako logiky částečné pravdivosti. V článku jsou uvedeny důvody, proč je interpretace pomocí zdrojů aplikovatelná i na deduktivní fuzzy logiky, jež navíc ve většině obvyklých situací vystihují usuzování přihlížející k prostředkům lépe než lineární logika. Uvedená interpretace poskytuje alternativní motivaci formální fuzzy logiky a vysvětluje význam mezilehlých pravdivostních hodnot způsobem, který lze odůvodnit snadněji než jejich obvyklou motivaci založenou na částečné pravdivosti.
    Trvalý link: http://hdl.handle.net/11104/0174524
    Název souboruStaženoVelikostKomentářVerzePřístup
    0328135.pdf0673.2 KBAutorský preprintpovolen