人工智能视域下的非形式逻辑

摘要：

非形式逻辑研究人们日常生活中的论证实践,关注论证的论辩性、程序性和语用特点.基于人工智能的形式论证理论研究人工主体间的抽象论证活动,它在吸收非形式逻辑特性的基础上重构了非形式逻辑的诸多理论,这间接导致非形式逻辑的学科作用和理论诉求遭受质疑.然而,这种观点并没有把握非形式逻辑的本质,它与人工智能并不冲突,两者是互相补充的关系.非形式逻辑启发了人工智能的发展,为其提供了理论源泉和哲学辩护;人工智能使得非形式逻辑的理论得到了更好的推广和应用,而且一些重要概念和研究对象在人工语言的形式表达下得到了更准确的刻画.

关键词：人工智能、非形式逻辑、形式论证理论、图尔敏模型

所属期刊栏目：30

分类号：B81(逻辑学(论理学))

资助基金：教育部人文社会科学研究青年基金项目“刑事冤假错案发现的分析和评估模型研究”15YJCZH182

在线出版日期：2017-01-07（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：6-14