Počet záznamů: 1
Umelá inteligencia a kognitívna veda I
- 1.0328132 - ÚI 2010 RIV SK cze M - Část monografie knihy
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
Grant CEP: GA AV ČR 1ET100300517
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: fuzzy logika * graduální vlastnost * fuzzy množina * sémantické paradoxy
Kód oboru RIV: BA - Obecná matematika
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.
Trvalý link: http://hdl.handle.net/11104/0174522
Počet záznamů: 1