浅谈逻辑学与人工智能 黧创 ，
王凯
（中国移动通信集团河南有限公司郑州分公司 河南・￣ＦＪ－ｋｌ ４５００００）
摘要人工智能的产生与发展和逻辑学的发展密不可分。逻辑学为人工智能的研究提供了根本观点与方法。而逻 辑方法则是人工智能研究中的主要形式化工具。本文从逻辑学为人工智能的研究提供理论基础出发。讨论了经典逻 辑和非经典逻辑在人工智能中的应用。以及人工智能在逻辑学发展方向上的影响与作用 关键词人工智能经典逻辑非经典逻辑 中图分类号：ＴＰ２７３ 文献标识码：Ａ
人工智能主要研究用人工方法模拟和扩展人的智能，最 的诞生奠定了坚实的逻辑基础。
终实现机器智能。人工智能研究与人的思维研究密切相关。 现代逻辑发展动力主要来自于数学中的公理化运动。２０
逻辑学始终是人工智能研究中的基础科学问题，它为人工智 世纪逻辑研究严重数学化，发展出来的逻辑被恰当地称为“数 能研究提供了根本观点与方法。
１人工智能学科的诞生 理逻辑”，它增强了逻辑研究的深度，使逻辑学的发展继古希 腊逻辑、欧洲中世纪逻辑之后进入第三个高峰期，并且对整个
ｌ２世纪末ｌ３世纪初，西班牙罗门・卢乐提出制造可解决 现代科学特别是数学、哲学、语言学和计算机科学产生了非常
各种问题的通用逻辑机。ｌ７世纪，英国培根在《新工具》中提 重要的影响。
出了归纳法。随后，德国莱布尼兹做出了四则运算的手摇计 ２逻辑学的发展
算器，并提出了“通用符号”和“推理计算”的思想。１９世纪，英 ２．１逻辑学的大体分类
国布尔创立了布尔代数，奠定了现代形式逻辑研究的基础。德 逻辑学是－－Ｎ研究思维形式及思维规律的科学。从ｌ７
国弗雷格完善了命题逻辑，创建了一阶谓词演算系统。２０世 世纪德国数学家、哲学家莱布尼兹（Ｇ．Ｌｅｉｂｎｉｚ）提出数理逻辑
纪，哥德尔对一阶谓词完全性定理与Ｎ形式系统的不完全性 以来，随着人工智能的一步步发展的需求，各种各样的逻辑也
定理进行了证明。在此基础上，克林对一般递归函数理论作 随之产生。逻辑学大体上可分为经典逻辑、非经典逻辑和现 了深入的研究，建立了演算理论。英国图灵建立了描述算法 代逻辑。经典逻辑与模态逻辑都是二值逻辑。多值逻辑，是
一、选择题(每题1分，共15分)1、AI的英文缩写是
A)Automatic Intelligence B)Artifical Intelligence
C)Automatice Information D)Artifical Information
2、反演归结（消解）证明定理时，若当前归结式是（ ）时，则定理得证。
A)永真式 B)包孕式（subsumed） C)空子句
3、从已知事实出发，通过规则库求得结论的产生式系统的推理方式是
A)正向推理 B)反向推理 C)双向推理
4、语义网络表达知识时，有向弧AKO 链、ISA 链是用来表达节点知识的（ ）。
A)无悖性 B)可扩充性 C)继承性
5、(A→B)∧A => B是
A)附加律 B)拒收律 C)假言推理 D)US
6、命题是可以判断真假的
A)祈使句 B)疑问句 C)感叹句 D)陈述句
7、仅个体变元被量化的谓词称为
A)一阶谓词 B)原子公式 C)二阶谓词 D)全称量词
8、MGU是
A)最一般合一 B)最一般替换 C)最一般谓词 D)基替换
9、1997年５月，著名的“人机大战”，最终计算机以3.5比2.5的总比分将世界国际象棋棋王卡斯帕罗夫击败，这台计算机被称为（ ）
A）深蓝 B）IBM C）深思 D）蓝天
10、下列不在人工智能系统的知识包含的4个要素中
A)事实 B)规则 C)控制和元知识 D)关系
11、谓词逻辑下，子句, C1=L∨C1‘, C2= ¬ L∨C2‘,若σ是互补文字的（最一般）合一置换，则其归结式C=（ ）
A) C1’σ∨C2’σ B)C1’∨C2’ C)C1’σ∧C2’σ D)C1’ ∧C2’
12、或图通常称为
A）框架网络 B)语义图 C)博亦图 D)状态图
13、不属于人工智能的学派是
人工智能中的知识表示与推理
在人工智能领域中，知识表示和推理是两个核心概念。知识表示是指将现实世界的信息以某种形式存储在计算机系统中，以便机器能够理解和处理这些信息。推理则是指机器通过对已有知识进行逻辑推导和推理，从而得出新的结论或解决问题的方法。本文将深入探讨人工智能中的知识表示与推理的关键技术和应用。
一、知识表示的方法
1.1 逻辑表示法
逻辑表示法是一种基于命题逻辑或谓词逻辑的知识表示方法。它将知识以逻辑形式表示，并采用规则和推理机制进行推理和推断。逻辑表示法的优势在于形式化严谨，容易理解和扩展。但是，当知识变得复杂和庞大时，逻辑表示法的推理效率会受到限制。
1.2 语义网络表示法
语义网络表示法是将知识以节点和边的形式构建成图谱，节点表示概念或实体，边表示概念之间的关系。语义网络表示法可以灵活地表示知识的层次结构和关联关系，适用于知识表示和语义推理。
1.3 产生式规则表示法
产生式规则表示法是一种基于规则的知识表示方法。它将知识以条件-动作规则的形式表示，当满足某个条件时，执行相应的动作或推理过程。产生式规则表示法适用于专家系统等领域，能够灵活地处理复杂的逻辑和推理过程。
二、推理技术
2.1 基于逻辑的推理
基于逻辑的推理是指通过逻辑规则和推理机制进行推理。其中，前向推理是从已知的事实和规则出发，逐步推导得出结论或解决问题；后向推理是从目标或结论出发，逆向搜索已知的事实和规则，找到满足条件的解决方法。基于逻辑的推理能够根据已有的知识和规则进行推导，但受限于知识的形式化和推理的效率。
2.2 基于概率的推理
基于概率的推理是指通过概率模型和推理算法进行推理。它利用概率论的方法处理不确定性和不完全信息，能够根据概率模型对事件进行预测和推断。基于概率的推理在机器学习和数据挖掘领域得到广泛应用，能够处理大规模的数据集和复杂的推理任务。
2.3 基于模型的推理
基于模型的推理是指通过构建和利用模型进行推理。模型可以是统计模型、物理模型、认知模型等，通过建立模型与实际世界之间的映射关系，进行推理和预测。基于模型的推理能够通过学习和调整模型参数，提高推理的准确性和效率。
一、选择题（每题1分，共15分)
1、AI的英文缩写是
A)Automatic Intelligence B）Artifical Intelligence
C)Automatice Information D）Artifical Information
2、反演归结（消解）证明定理时，若当前归结式是（ ）时，则定理得证。
A)永真式 B)包孕式（subsumed） C)空子句
3、从已知事实出发，通过规则库求得结论的产生式系统的推理方式是
A)正向推理 B）反向推理 C)双向推理
4、语义网络表达知识时，有向弧AKO 链、ISA 链是用来表达节点知识的（ ）.
A)无悖性 B)可扩充性 C）继承性
5、(A→B）∧A =〉 B是
A)附加律 B)拒收律 C）假言推理 D)US
6、命题是可以判断真假的
A)祈使句 B）疑问句 C)感叹句 D）陈述句
7、仅个体变元被量化的谓词称为
A)一阶谓词 B)原子公式 C）二阶谓词 D)全称量词
8、MGU是
A)最一般合一 B)最一般替换 C)最一般谓词 D）基替换
9、1997年５月，著名的“人机大战"，最终计算机以3。5比2。5的总比分将世界国际象棋棋王卡斯帕罗夫击败,这台计算机被称为（ ）
A）深蓝 B）IBM C）深思 D）蓝天
10、下列不在人工智能系统的知识包含的4个要素中
A）事实 B）规则 C)控制和元知识 D）关系
11、谓词逻辑下,子句， C1=L∨C1‘, C2= ¬ L∨C2‘，若σ是互补文字的（最一般）合一置换，则其归结式C=（ ）
A） C1'σ∨C2’σ B）C1'∨C2’ C)C1’σ∧C2’σ D)C1’ ∧C2’
12、或图通常称为
A)框架网络 B）语义图 C）博亦图 D)状态图
13、不属于人工智能的学派是
