Utilize the web fullyThanks to cookies, browsing the web will be easier and more comfortable. To process some of them, we need your consent which you can give by clicking the “Accept all” button. More information about cookies and their settings. By refusing, only essential cookies will be loaded.

Accept all Refuse

UO > Research > Projects & Grants

Projects & Grants

Fuzzy Partial Logic
Project Id	16-19170S
Main solver	prof. Ing. Vilém Novák, DrSc.
Period	1/2016 - 12/2018
Provider	Centrum excelence IT4Innovations, divize, Standardní projekt GA ČR
State	finished
Anotation	Formální fuzzy logika je teoretickým základem usuzování se stupni pravdivosti, nacházejícím široké uplatnění ve mnoha oborech od řízení a rozhodování přes zpracování dat po reprezentaci znalostí. Cílem projektu je vytvoření formálních systémů fuzzy parciální logiky, umožňujících nakládat zároveň se stupni pravdivosti i nedefinovaností, a prozkoumat metamatematické vlastnosti těchto nově navržených logik.