Number of the records: 1
Fuzzy Logics Interpreted as Logics of Resources
- 1.0328135 - ÚI 2010 RIV GB eng C - Conference Paper (international conference)
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]
R&D Projects: GA AV ČR IAA900090703
Institutional research plan: CEZ:AV0Z10300504
Keywords : fuzzy logic * linear logic * contraction-free substructural logics * resource-aware reasoning * prelinearity
Subject RIV: BA - General Mathematics
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.
Permanent Link: http://hdl.handle.net/11104/0174524
File Download Size Commentary Version Access 0328135.pdf 0 673.2 KB Author´s preprint open-access
Number of the records: 1