Název: Theorem Proving in Fuzzy Logics
Překlad názvu: Automatické dokazování ve fuzzy logikách
Autoři: Cintula, Petr ; Navara, M.
Typ dokumentu: Příspěvky z konference
Konference/Akce: The Logic of Soft Computing /4./, Workshop of the ERCIM Working Group on Soft Computing, Ostrava (CZ), 2005-10-05 / 2005-10-07
Rok: 2005
Jazyk: eng
Abstrakt: [eng] [cze]
Computer algebra allows to perform many operations which were considered difficult, e.g., factorization, integration, symbolic solution of ODEs, etc. Logical operations are not always implemented. E.g., Maple 9 has a package LOGIC which was missing in several preceding versions. Except for packages for fuzzy control, there seems to be no professional software for fuzzy logical tasks. Here we summarize current situation in computer algebra support of testing tautologies in fuzzy logics. 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.
Klíčová slova: fuzzy logic; Lukasiewicz logic; theorem proving
Číslo projektu: 1M0545 (CEP), CEZ:MSM6840770012 (CEP)
Poskytovatel projektu: GA MŠk
Zdrojový dokument: Proceedings

Instituce: Ústav informatiky AV ČR (web)
Informace o dostupnosti dokumentu: Dokument je dostupný v příslušném ústavu Akademie věd ČR.
Původní záznam: http://hdl.handle.net/11104/0125726

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-34189


Záznam je zařazen do těchto sbírek:
Věda a výzkum > AV ČR > Ústav informatiky
Konferenční materiály > Příspěvky z konference