A Logical Reconstruction of Fuzzy Inference in Databases and Logic Programs

Authors: 
Wagner, Gerd
Year: 
1997
Language: 
English
Abstract: 
We propose to replace Zadeh's DeMorgan-type negation in fuzzy logic by a Heyting-type negation which, unlike the former, preserves the law of the excluded contradiction and is more in line with negation in databases and logic programs. We show that the resulting system can be used for obtaining conservative extensions of relational and deductive databases (resp. normal logic programs).
Appeared / Erschienen in: 
Proc. of Int. Fuzzy Set Association World Congress (IFSA'97), Prague 1997
Pubdate / Erscheinungsdatum: 
1997
Pages / Seitenanzahl: 
6
AttachmentSize
1997-29.pdf188.85 KB