安妮塔
人工智能与现今逻辑学的发展-〔摘要〕 本文认为，计算机科学和人工智能将是21世纪逻辑学发展的主要动力源泉，并且在很大程度上将决定21世纪逻辑学的面貌。至少在21世纪早期，逻辑学将重点关注下列论题：（1）如何在逻辑中处理常识推理的弗协调、非单调和容错性因素？（2）如何使机器人具有人的创造性智能，如从经验证据中建立用于指导以后行动的可错的归纳判断？（3）如何进行知识表示和知识推理，特别是基于已有的知识库以及各认知主体相互之间的知识而进行的推理？（4）如何结合各种语境因素进行自然语言理解和推理，使智能机器人能够用人的自然语言与人进行成功的交际？等等。 〔关键词〕 人工智能，常识推理，归纳逻辑，广义内涵逻辑，认知逻辑，自然语言逻辑 现代逻辑创始于19世纪末叶和20世纪早期，其发展动力主要来自于数学中的公理化运动。当时的数学家们试图即从少数公理根据明确给出的演绎规则推导出其他的数学定理，从而把整个数学构造成为一个严格的演绎大厦，然后用某种程序和方法一劳永逸地证明数学体系的可靠性。为此需要发明和锻造严格、精确、适用的逻辑工具。这是现代逻辑诞生的主要动力。由此造成的后果就是20世纪逻辑研究的严重数学化，其表现在于：一是逻辑专注于在数学的形式化过程中提出的问题；二是逻辑采纳了数学的方法论，从事逻辑研究就意味着象数学那样用严格的形式证明去解决问题。由此发展出来的逻辑被恰当地称为“数理逻辑”，它增强了逻辑研究的深度，使逻辑学的发展继古希腊逻辑、欧洲中世纪逻辑之后进入第三个高峰期，并且对整个现代科学特别是数学、哲学、语言学和计算机科学产生了非常重要的影响。 本文所要探讨的问题是：21世纪逻辑发展的主要动力将来自何处？大致说来将如何发展？我个人的看法是：计算机科学和人工智能将至少是21世纪早期逻辑学发展的主要动力源泉，并将由此决定21世纪逻辑学的另一幅面貌。由于人工智能要模拟人的智能，它的难点不在于人脑所进行的各种必然性推理（这一点在20世纪基本上已经做到了，如用计算机去进行高难度和高强度的数学证明，“深蓝”通过高速、大量的计算去与世界冠军下棋），而是最能体现人的智能特征的能动性、创造性思维，这种思维活动中包括学习、抉择、尝试、修正、推理诸因素，例如选择性地搜集相关的经验证据，在不充分信息的基础上作出尝试性的判断或抉择，不断根据环境反馈调整、修正自己的行为，……由此达到实践的成 
老大，逻辑论证就是用证据证明你的观点过程。比如，警察要抓一个与你同名同姓的犯人，那你如何来证明你不是那个人呢，最好的证据就是你的身份证，而你回答警察的提问，并把身份证提交给警察核实的过程，就是一个逻辑论证过程，最后的结果，你不是他们要抓的人，证明了你的论点是对的。
论文主要内容：一、论文的标题部分标题就是题目或题名，标题需要以最恰当、最简明的词语反映论文中重要的特定内容逻辑组合，论文题目非常重要，必须用心斟酌选定。二、论文的摘要 论文一般应有摘要，它是论文内容不加注释和评论的简短陈述。摘要应该包含以下内容： 1、从事这一研究的目的和重要性 2、研究的主要内容3、完成了哪些工作4、获得的基本结论和研究成果，突出论文的新见解 5、结构或结果的意义三、论文关键词关键词属于主题词中的一类，主题词除关键词外，还包含有单元词、标题词和叙词。关键词是标识文献的主题内容，单未经规范处理的主题词。四、引言又称为前言，属于正片论文的引论部分。写作内容包括：1、研究的理由2、研究目的3、背景4、前人的工作和知识空白5、作用和意义五、正文部分论文的主题，占据论文大部分篇幅。论文所体现的创造性成果或新的研究结果，都将在这一部分得到充分的反映，要求这部分内容一定要充实，论据充分可靠，论证有利，主题明确。 六、参考文献参考文献是文章在研究过程和论文撰写是所参考过的有关文献的目录，参考文献的完整标注是对原作者的尊重。不只在格式上有具体要求，在数量、种类、年份等方面又有相关要求。
