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

Permalink: http://www.nusl.cz/ntk/nusl-34189


The record appears in these collections:
Research > Institutes ASCR > Institute of Computer Science
Conference materials > Papers