人工智能与现今逻辑学的发展
-
.〔摘要〕 本文认为，计算机科学和人工智能将是21世纪逻辑学发展的主要动力源泉，并且在很大程度上将决定21世纪逻辑学的面貌。至少在21世纪早期，逻辑学将重点关注下列论题：（1）如何在逻辑中处理常识推理的弗协调、非单调和容错性因素？（2）如何使机器人具有人的创造性智能，如从经验证据中建立用于指导以后行动的可错的归纳判断？（3）如何进行知识表示和知识推理，特别是基于已有的知识库以及各认知主体相互之间的知识而进行的推理？（4）如何结合各种语境因素进行自然语言理解和推理，使智能机器人能够用人的自然语言与人进行成功的交际？等等。
〔关键词〕 人工智能，常识推理，归纳逻辑，广义内涵逻辑，认知逻辑，自然语言逻辑
现代逻辑创始于19世纪末叶和20世纪早期，其发展动力主要来自于数学中的公理化运动。当时的数学家们试图即从少数公理根据明确给出的演绎规则推导出其他的数学定理，从而把整个数学构造成为一个严格的演绎大厦，然后用某种程序和方法一劳永逸地证明数学体系的可靠性。为此需要发明和锻造严格、精确、适用的逻辑工具。这是现代逻辑诞生的主要动力。由此造成的后果就是20世纪逻辑研究的严重数学化，其表现在于：一是逻辑专注于在数学的形式化过程中提出的问题；二是逻辑采纳了数学的方法论，从事逻辑研究就意味着象数学那样用严格的形式证明去解决问题。由此发展出来的逻辑被恰当地称为“数理逻辑”，它增强了逻辑研究的深度，使逻辑学的发展继古希腊逻辑、欧洲中世纪逻辑之后进入第三个高峰期，并且对整个现代科学特别是数学、哲学、语言学和计算机科学产生了非常重要的影响。
本文所要探讨的问题是：21世纪逻辑发展的主要动力将来自何处？大致说来将如何发展？我个人的看法是：计算机科学和人工智能将至少是21世纪早期逻辑学发展的主要动力源泉，并将由此决定21世纪逻辑学的另一幅面貌。由于人工智能要模拟人的智能，它的难点不在于人脑所进行的各种必然性推理（这一点在20世纪基本上已经做到了，如用计算机去进行高难度和高强度的数学证明，“深蓝”通过高速、大量的计算去与世界冠军下棋），而是最能体现人的智能特征的能动性、创造性思维，这种思维活动中包括学习、抉择、尝试、修正、推理诸因素，例如选择性地搜集相关的经验证据，在不充分信息的基础上作出尝试性的判断或抉择，不断根据环境反馈调整、修正自己的行为，……由此达到实践的成
论文写作方法：论文内容之间的逻辑结构
论文陈述可以很好地组织和发展论点，并为读者提供关于论点的“指南”。
论文陈述包含以下内容：
1、陈述你对这个主题的主要观点
陈述观点时一定要表达一个主要思想，并陈述你的立场或看法。关于主题，需思考：
2、给出几个支持主要观点的理由
理由要写清楚，一定要用符合逻辑的事实和证据来支持这个理由。
3、给出一个与主要观点相反的观点
一个好的论文陈述要承认论点存在另一面。所以，同学可以在论文陈述中给出一个反论点。
论文陈述写作示例：
1、首先，从一个问题开始。例如：互联网对教育有正面或负面的影响吗?
2、其次，表明你对这个问题的立场。例如：互联网对教育的正面影响大于负面影响。
3、最后，发展你的答案。例如：互联网使用的负面影响被其对教育的诸多好处所抵消：互联网有助于学生和老师更容易地获取信息、接触不同的观点，以及这是一个灵活的学习环境。
论文写作通常可以遵循以下步骤：
1、定义主题
撰写论文的第一步是定义主题。了解论文的主要目的是什么(教育、宣传、推广)以及针对谁。这一步至关重要，因为它为整篇论文奠定了基础。
2、创建大纲
大纲在撰写论文时至关重要。要想论文讲得通，唯一的途径就是整合逻辑。首先创建一个简单的草图，描述论文整体的框架，包括各个部分应该写什么内容。这会防止同学在实际写作时偏离要点。
3、广泛研究
这是撰写论文时收集所有必要信息的部分。遵循之前创建的大纲，以避免浪费时间。充分利用所有可用的资源，例如：书籍、网络、采访等，只收集相关和必要的信息即可。这部分将构成论文的主体，所以同学需要获得充分的信息。
4、撰写初稿
有了详细的大纲和相关的材料支撑，这一步应该很容易。初稿很少是完美的，但通常需要耗费大量时间。有几个最重要的部分需要同学留意：
5、校对修改
千万不要直接提交初稿，因为很有可能里面全是错误。同学要消除所有的语法和结构错误。尽可能地浓缩观点，并通过修改论点来突出要点。
论文之间的逻辑联系，亦即论文所反映的事物和事理的整体及其各部分之间的联系方式，基本上表现为纵向逻辑联系和横向逻辑联系，而两者又总是交织在一起，它们表现在论文的逻辑结构上就是：纵式结构、横式结构、合式结构三种形式。
1．纵式结构。
所谓纵向逻辑联系，是指总论点、分论点和小论点之间的逻辑顺序，以及分论点之间，小论点之间的逻辑顺序。论文内容之间的纵向逻辑联系，具体表现为论文的纵式结构，其特点在于论文的思想体系是纵向展开的。只有恰当处理论文内容的纵向逻辑联系，才能使论文有严谨的结构。
一篇论文为了阐述总论点，要列出几个分论点，每个分论点扩展为一个部分，各个分论点之间，各个部分之
间，应有内在联系。每个分论点又分为几个小论点，每个小论点又扩展为一段，各个小论点之间，各个段之间，也应有内在联系。这样，全篇论文的纵向逻辑联系便体现出来了，并且相应地形成了论文的完整体系和严谨结构。
2．横式结构。
所谓横向逻辑联系，是指论点和论据，观点和材料之间的逻辑联系。论文内容之间的横向逻辑联系具体表现为论文的横式结构。在一篇论文中只有总论点才单纯地作为论点或观点存在，而分论点和小论点却有双重“身分”，或者作为论点或观点存在，或者作为论据和材料存在。至于用来说明小论点的材料，则只能有材料或论据一重“身份”了。论文要做到有很强的说服力，富有逻辑力量最重要的是论点明确，论据充分，论证严密，揭示论点和论据的必然联系。首先，只有把总论点和材料有机地结合起来，论文才有生命力，才能收到很好的效果。其次，还要处理好分论点和材料的关系，以至小论点和材料的关系，这不仅能直接证明分论点或小论点，而且能间接地为突出总论点服务。
3．合式结构。
论文内容之间的逻辑联系是纵向、横向穿插进行，交织在一起的。具体表现为论文的纵、横式结构，简称合式结构。这种结构的论文，有的以纵向展开为主，有的以横向展开为主。
三、运用逻辑方法
要正确处理毕业论文内容之间的逻辑联系，增强论文的逻辑力量，必须学会运用逻辑思维方法。逻辑思维方法是一个整体，它是由一系列既相区别又相联系的方法所组成的，其中主要包括：归纳和演绎的方法，分析和综合的方法，从具体到抽象和从抽象上升到具体的方法，逻辑和历史统一的方法。逻辑思维方法不仅是论文写作中内容安排和逻辑论证的方法，而且更重要的是进行科学研究的方法。
