|
Automatické dokazování ve fuzzy logikách
Cintula, Petr ; Navara, M.
Počítačová algebra dovoluje provádět řadu operací, které jsou považovány za složité: faktorizaci, integraci, symbolické řešení ODR, atd. Logické operace nejsou většinou implementovány, např. až verze 9 programu MAPLE obsahuje toolbox LOGIC. Mimo toolboxu pro fuzzy řízení, neexistuje žádné profesionální software na řešení problému fuzzy logiky. Zde sumarizujeme současnou situaci v počítačové podpoře pro řešení problému tautologičnosti ve fuzzy logikách.
|
|
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.
|