Tento člověk již není zaměstnancem ÚTIA.
Pozice
vedoucí vědecký pracovník
Odborné zájmy
fuzzy logika, (abstraktní) algebraická logika, logika v umělé inteligenci
Publikace ÚTIA
Carles Noguera, Ph.D.
-
Stupňované vlastnosti jsou v přirozeném diskurzu a usuzování všudypřítomné. Tyto vlastnosti jsou charakterizovány tím, že jich různé objekty můžou nabývat v různé intenzitě. Typickým příkladem jsou…
-
Klasická matematická logika, založená na konceptuálně jednoduchém jádru výrokové Booleovy logiky, hraje v moderní informatice zásadní roli. Aplikační potenciál klasické logiky je omezen bivalencí…
-
Vícehodnotové výrokové logiky představují důležitou rodinu neklasických logik, jejichž přirozená sémantika používá více než jen dvě klasické pravdivostní hodnoty pravda/nepravda. Studium těchto logik…
-
Substructural logics are formal reasoning systems that refine classical logic by weakening the structural rules in Gentzen sequent calculus. While classical logic generally formalises the notion of…
-
Formální systémy (ne)klasických logic jsou zásádní pro mnohé oblasti informatiky. Jsou ceněny pro svou deduktivní povahu, universalitu, přenositelnost a široké možnosti, které plynou z jejich…