摘要We presented the concept of Operator Fuzzy Logic System and λ-Resolution Method in 1984, and obtained some theoretical results. In practice, in many cases knowledge and rules can be expressed by λ-Horn set of clauses. For example, the knowledge
1Su Donglin,Xie Yulan,and Lu Shanwei (P.O.Box 205, Beijing University of Aeronautics and Astro nautics, Beijing (100083), PRC).The Application of GTD to the Design of Chokes Horn[J].Journal of Systems Engineering and Electronics,1994,5(2):12-18.
5HAI Jinke Department of Mathematics, Qingdao University, Qingdao 266071, China,College of mathematics ,Shandong University, Jinan 250100, China.The extension of the first main theorem for π-blocks[J].Science China Mathematics,2006,49(5):620-625. 被引量：3
