DocumentCode
2460071
Title
Foundations of fuzzy logic programming and debugging
Author
Yan, Song Y.
Author_Institution
Dept. of Comput. Sci., Melbourne Univ., Parkville, Vic., Australia
fYear
1989
fDate
29-31 May 1989
Firstpage
172
Lastpage
178
Abstract
A theoretical foundation is provided for programming in fuzzy Horn logic and declarative debugging in fuzzy Horn logic programming. Particular emphasis is placed on the study of the soundness and completeness for both
Keywords
fuzzy logic; logic programming; program debugging; completeness; declarative debugging; fuzzy Horn logic; fuzzy logic programming; soundness; Computer science; Debugging; Deductive databases; Expert systems; Fuzzy logic; Fuzzy sets; Logic programming; Logic testing; Uncertainty;
fLanguage
English
Publisher
ieee
Conference_Titel
Multiple-Valued Logic, 1989. Proceedings., Nineteenth International Symposium on
Conference_Location
Guangzhou
Print_ISBN
0-8186-1947-3
Type
conf
DOI
10.1109/ISMVL.1989.37779
Filename
37779
Link To Document