DocumentCode
1750679
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
Volume
3
fYear
2001
fDate
25-28 July 2001
Firstpage
1529
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;
fLanguage
English
Publisher
ieee
Conference_Titel
IFSA World Congress and 20th NAFIPS International Conference, 2001. Joint 9th
Conference_Location
Vancouver, BC
Print_ISBN
0-7803-7078-3
Type
conf
DOI
10.1109/NAFIPS.2001.943776
Filename
943776
Link To Document