Theorem Proving in Fuzzy Logics

0405572 - UIVT-O 330952 CZ eng A - Abstrakt
Cintula, Petr - Navara, M.
Theorem Proving in Fuzzy Logics.
[Automatické dokazování ve fuzzy logikách.]
Proceedings. Ostrava: University of Ostrava, 2005 - (Novák, V.; Štěpnička, M.). s. 78-80
[The Logic of Soft Computing /4./, Workshop of the ERCIM Working Group on Soft Computing. 05.10.2005-07.10.2005, Ostrava]
Grant CEP: GA MŠMT 1M0545
Výzkumný záměr: CEZ:MSM6840770012
Klíčová slova: fuzzy logic * Lukasiewicz logic * theorem proving
Kód oboru RIV: BA - Obecná matematika

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.
Trvalý link: http://hdl.handle.net/11104/0125726