|
Konstrukce GLIF modelu a znalostní ontologie
Buchtela, David
Získané znalosti v různých oborech je možné reprezentovat ve formě oborových doporučení. Textová doporučení lze formalizovat grafickým GLIF modelem (GuideLine Interchange Format). Znalostní ontologie je chápána jako explicitní specifikace systému pojmů a zákonitostí modelující určitou část světa. Tento článek se zabývá možností použití znalostních ontologií ve fázi konstrukce GLIF modelu z oborových doporučení
|
|
Fuzzy Macneillovské a Dedekindovské zúplnění ostrých lineárních hustých uspořádání
Běhounek, Libor
V rámci henkinovské fuzzy logiky vyššího řádu definujeme dva druhy fuzzy svazového zkoumáme svazové zúplnění ostrých lineárních hustých uspořádání. Fuzzy macneillovské zúplnění je svazové zúplnění fuzzy stabilními množinami; fuzzy dedekindovské zúplnění je svazové zúplnění fuzzy dedekindovskými řezy. Zkoumáme vlastnosti a vzájemné vztahy obou pojmů a srovnáváme je s výsledky známými z literatury. Omezujeme se na ostrá hustá lineární uspořádání, která jsou důležitá pro teorii fuzzy reálných čísel.
|
|
Slabě implikační predikátové fuzzy logiky
Cintula, Petr
Autor tohoto článku navrhl dvě třídy výrokových logik jež se vztahují k matematické fuzzy logice (viz. také jeho společný članek s L. Běhounkem o filosofických, metodologických a pragmatických důvodech pro zavedení těchto tříd). Po připomenutí základních definic se budeme zabývat prvo-řádovými variantami logik z těchto dvou tříd. Zde prezentované výsledky jsou obsaženy v autorovi doktorské disertaci a jeho připravovaném článku. Z duvodu prostorového omezení zde prezentujeme jen základní definice a věty (např. úplně vynecháme duležitou problematiku tzv. Baazova delta).
|
| |
|
O neplatnosti věty o silné standardní úplnosti logiky PiMTL
Horčík, Rostislav
Je dobře známo, že logiky: basic fuzzy logic (BL), Lukasiewicz logic a product logic, nesplňují větu o silné standardní úplnosti. Na druhou stranu monoidal t-norm logic (MTL) a její involutivní axiomatické rozšíření IMTL tuto větu splňují. V tomto článku ukážeme, že logika PiMTL (t.j. axiomatické rozšíření MTL o axiomy charakteristické pro product logic) nesplňuje větu o silné standardní úplnosti podobně jako logiky: BL, Lukasiewicz logic, product logic.
|
| |
| |
|
Mohou kognitivní a inteligentní systémy překonat Turingovy stroje?
Wiedermann, Jiří
Budeme zkoumat výpočetní hranice možností umělých, přirozených a hybridních kognitivních systémů. Společnou základnu nám poskytne komputacionalismus, tj. víra, že kognitivní, resp. inteligentní procesy jsou ve své podstatě výpočetními procesy. Ukážeme, že v principu mohou existovat kognitivní procesy, jejichž výpočetní síla přesahuje sílu Turingových strojů, a že dokonce již i v praxi pozorujeme zárodky takových systémů.
|
| |
| |