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
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;
Conference_Titel :
Multiple-Valued Logic, 1989. Proceedings., Nineteenth International Symposium on
Conference_Location :
Guangzhou
Print_ISBN :
0-8186-1947-3
DOI :
10.1109/ISMVL.1989.37774
