Formální fuzzy logika

Kód výsledku v IS VaVaI

RIV/67985807:_____/09:00328132 - isvavai.cz

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

čeština

Název v původním jazyce

Formální fuzzy logika

Popis výsledku v původním jazyce

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ů.

Název v anglickém jazyce

Formal Fuzzy Logic

Popis výsledku anglicky

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.

Druh

C - Kapitola v odborné knize

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

1ET100300517: Metody inteligentních systémů a jejich aplikace při dobývání znalostí a zpracování přirozeného jazyka

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2009

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název knihy nebo sborníku

Umelá inteligencia a kognitívna veda I

ISBN

978-80-227-3080-8

Počet stran výsledku

36

Strana od-do

—

Počet stran knihy

457

Název nakladatele

Slovenská technická universita

Místo vydání

Bratislava

Kód UT WoS kapitoly

—