Original title: Dvě souvislosti mezi epistemickou a fuzzy logikou
Translated title: Two Connections between Epistemic and Fuzzy Logics
Authors: Běhounek, Libor
Document type: Papers
Conference/Event: Kognice a umělý život /7./, Smolenice (SK), 2007-05-28 / 2007-05-31
Year: 2007
Language: cze
Abstract: [cze] [eng]
Článek se zabývá dvěma možnostmi propojení epistemické a fuzzy logiky. Epistemická fuzzy logika jakožto druh modální fuzzy logiky popisuje usuzování agentů o vágních výrocích; v článku jsou naznačeny problémy takové syntézy související s neplatností axiomu K ve fuzzy kripkovských rámcích. Druhým směrem je založení epistemické logiky na fuzzy logice; v článku je naznačeno, jak chápání proveditelné znalosti jako fuzzy modality odstraňuje paradox logické vševědoucnosti agentů Two possible connections between epistemic and fuzzy logics are studied. Epistemic fuzzy logic as a kind of modal logic studies the reasoning of agents about fuzzy propositions; problems of such a synthesis caused by the invalidity of the axiom K are hinted at. Another direction is to found epistemic on fuzzy logic; the paper sketches the way how representing feasible knowledge as a fuzzy modality eliminated the logical omniscience paradox.
Keywords: epistemická logika; fuzzy logika; modální fuzzy logika; paradox logické vševědoucnosti
Project no.: CEZ:AV0Z10300504 (CEP), IAA900090703 (CEP)
Funding provider: GA AV ČR
Host item entry: Kognice a umělý život VII, ISBN 978-80-7248-412-6

Institution: Institute of Computer Science AS ČR (web)
Document availability information: Fulltext is available at the institute of the Academy of Sciences.
Original record: http://hdl.handle.net/11104/0146704

Permalink: http://www.nusl.cz/ntk/nusl-37236


The record appears in these collections:
Research > Institutes ASCR > Institute of Computer Science
Conference materials > Papers