Title :
Implementation of an extended possibilistic logic in an annotated logic theorem prover
Author :
Kullmann, Peter ; Sandri, Sandra
Author_Institution :
Inst. fur Algorithmen und Kognitive Syst., Karlsruhe Univ., Germany
Abstract :
We present a theorem prover for possibilistic logic extended with fuzzy constants and fuzzy quantifiers (PLFC), using system KOMET, a general theorem prover system based on generalized annotated logic (GAL). In a previous work (P. Kullman and S. Sandri, 1999), we verified the formal transformation of PLFC with Horn clauses into GAL. The authors discuss some implementation issues and present some examples
Keywords :
Horn clauses; fuzzy logic; fuzzy set theory; possibility theory; theorem proving; GAL; Horn clauses; KOMET; PLFC; annotated logic theorem prover; extended possibilistic logic; formal transformation; fuzzy constants; fuzzy quantifiers; general theorem prover system; generalized annotated logic; implementation issues; Automatic logic units; Cities and towns; Cost accounting; Fuzzy logic; Fuzzy sets; Fuzzy systems;
Conference_Titel :
IFSA World Congress and 20th NAFIPS International Conference, 2001. Joint 9th
Conference_Location :
Vancouver, BC
Print_ISBN :
0-7803-7078-3
DOI :
10.1109/NAFIPS.2001.943776
