人工智能中泛逻辑学的研究-计算机应用研究.PDFVIP

第 10 期 许海洋等: 人工智能中泛逻辑学的研究 ·13 · 人工智能中泛逻辑学的研究 * 许海洋, 王万森 ( 首都师范大学 信息工程学院, 北京 100037) 摘 要: 逻辑学的理论为人工智能的发展提供了有力的工具。标准逻辑促进了人工智能早期的发展 , 随着处理 知识的随机性、模糊性和未知性等特点的出现, 模糊逻辑等在人工智能中得到发展; 各种形式的非标准逻辑的出 现, 促使建立尽可能包容一切逻辑形态和推理模式的泛逻辑学。在分析模糊逻辑规律的基础上, 把三角范数理 论和逻辑学紧密结合起来 , 利用三角范数理论提出命题泛逻辑学。目前, 泛逻辑学在人工智能中已经取得了一 定的研究成果。 关键词: 泛逻辑; 三角范数; 不确定性; 模糊逻辑 中图法分类号: TP18 文献标识码: A 文章编号: 1001- 3695( 2005) 10- 0013- 03 Study of Universal Logics in Artificial Intelligence XU Hai-yang, WANG Wan-sen ( College of Information Engineering, Capital Normal University, Beijing 100037, China) Abstract: The theory of logics provides an effective tool for the development of Artificial Intelligence( AI) . In the early time of AI, standard logics play an important role. With the development of AI, fuzzy logics appeared to solve the stochastic and fuzzy of knowledge. As the appearance of kinds of unstandard logics, it makes to build a universal logics to contain all the log- ics formand reasoning model. In the base of regularity of fuzzy logics, combining triangular norms and logics, it has lead prop- osition universal logic. At present, universal logics have gained some achievement. Key words: Universal Logics; Triangular Norms; Uncertainty; Fuzzy Logic 随着人工智能发展的需求, 各种各样的逻辑也随之产生, 1 引言 各种逻辑相互之间的特性是不同的, 甚至是对立的。逻辑学大 体上可分为传统逻辑、标准逻辑和非标准逻辑, 如图 1 所示。 人工智能研究是把逻辑作为重现智能的手段, 它的逻辑问 题是不可缺少的, 甚至在一定意义下是人工智能的中心问题。 其中非标准逻辑又可以分为两类: 相应于标准逻辑的逻辑和扩 人工智能把逻辑作为描述和模拟思维的工具, 不仅要应用逻