Number of the records: 1
Umelá inteligencia a kognitívna veda I
- 1.0328132 - ÚI 2010 RIV SK cze M - Monography Chapter
Běhounek, Libor
Formální fuzzy logika.
[Formal Fuzzy Logic.]
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.), s. 1-36. ISBN 978-80-227-3080-8
R&D Projects: GA AV ČR 1ET100300517
Institutional research plan: CEZ:AV0Z10300504
Keywords : fuzzy logika * graduální vlastnost * fuzzy množina * sémantické paradoxy
Subject RIV: BA - General Mathematics
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ů.
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.
Permanent Link: http://hdl.handle.net/11104/0174522
Number of the records: 1