Number of the records: 1
Umelá inteligencia a kognitívna veda I
- 1.
SYSNO ASEP 0328132 Document Type M - Monograph Chapter R&D Document Type Monograph Chapter Title Formální fuzzy logika Title Formal Fuzzy Logic Author(s) Běhounek, Libor (UIVT-O) RID, SAI, ORCID Source Title Umelá inteligencia a kognitívna veda I. - Bratislava : Slovenská technická universita, 2009 / Kvasnička V. ; Pospíchal V. ; Kozák Š. ; Návrat P. ; Paroulek P. - ISBN 978-80-227-3080-8 Pages s. 1-36 Number of pages 36 s. Number of copy 200 Number of pages 457 Language cze - Czech Country SK - Slovakia Keywords fuzzy logika ; graduální vlastnost ; fuzzy množina ; sémantické paradoxy Subject RIV BA - General Mathematics R&D Projects 1ET100300517 GA AV ČR - Academy of Sciences of the Czech Republic (AV ČR) CEZ AV0Z10300504 - UIVT-O (2005-2011) Annotation Kapitola představuje formální fuzzy logiku v moderním smyslu, jak je budována zejména v posledním desetiletí na základě metod neklasických logik. Představuje její motivaci jakožto logiky graduálních vlastností, buduje formálně její výrokový a predikátový počet a ukazuje její aplikaci na řešení některých sémantických paradoxů. Description in English The chapter introduces the modern form of formal fuzzy logic that has been developed mainly in the last decade based on the methods of non-classical logic. The motivation of formal fuzzy logic as the logic of gradual properties is presented, fuzzy propositional and predicate calculus is formally constructed, and its application on certain semantical paradoxes is described in the chapter. Workplace Institute of Computer Science Contact Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Year of Publishing 2010
Number of the records: 1