Original title: Introspekce vágních znalostí ve fuzzy logice
Translated title: Introspection of Vague Knowledge in Fuzzy Logic
Authors: Běhounek, Libor
Document type: Papers
Conference/Event: Kognice a umělý život /8./, Praha (CZ), 2008-05-26 / 2008-05-29
Year: 2008
Language: cze
Abstract: [cze] [eng]
V klasické epistemické logice je princip introspekce vágních znalostí vyloučen Poincarého paradoxem, implikujícím netranzitivitu relace nerozlišitelnosti. Článek ukazuje, jak lze princip introspekce vágních znalostí zachovat použitím T-tranzitivní relace nerozlišitelnosti ve fuzzy logice. In classical epistemic logic, the principle of introspection for vague knowledge is precluded by Poincaré's paradox, which implies that the relation of indistinguishability cannot be transitive. The paper shows that the introspection principle for vague knowledge can be saved if T-transitive indistinguishability relations in fuzzy logic are used.
Keywords: epistemická logika; negativní introspekce; nerozlišitelnost; Poincarého paradox; pozitivní introspekce; proveditelná znalost; vágní znalosti
Project no.: CEZ:AV0Z10300504 (CEP), IAA900090703 (CEP)
Funding provider: GA AV ČR
Host item entry: Kognice a umělý život VIII, ISBN 978-80-7248-462-1

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/0161253

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


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