Original title:
Theorem Proving in Fuzzy Logics
Translated title:
Automatické dokazování ve fuzzy logikách
Authors:
Cintula, Petr ; Navara, M. Document type: Papers Conference/Event: The Logic of Soft Computing /4./, Workshop of the ERCIM Working Group on Soft Computing, Ostrava (CZ), 2005-10-05 / 2005-10-07
Year:
2005
Language:
eng Abstract:
[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.
Keywords:
fuzzy logic; Lukasiewicz logic; theorem proving Project no.: 1M0545 (CEP), CEZ:MSM6840770012 (CEP) Funding provider: GA MŠk Host item entry: Proceedings
Institution: Institute of Computer Science AS ČR
(web)
Document availability information: Fulltext is available at the particular institute of the Academy of Sciences. Original record: http://hdl.handle.net/11104/0125726