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 :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2460071
بازگشت