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