DocumentCode
2459711
Title
Lattice valued pair-lattice valued logic theory and its applications to AI
Author
Jun, Huang Guo ; Hai, Jia
Author_Institution
Dept. of Math., Zhenghou Univ., China
fYear
1989
fDate
29-31 May 1989
Firstpage
146
Lastpage
149
Abstract
Lattice-valued pairs and lattice-valued pair statements are defined. Ordered pairs are used to portray the strength of rules, and suitable renewal formulas are given. Lattice-valued pairs and logic theory provide a new tool for imprecise inference
Keywords
artificial intelligence; formal logic; inference mechanisms; many-valued logics; imprecise inference; lattice valued logic theory; lattice valued pair; ordered pairs; Algebra; Artificial intelligence; History; Lattices; Logic; Mathematics; Table lookup; Tellurium;
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.37774
Filename
37774
Link To Document