非经典逻辑的本质及其意义.pdfVIP

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  4. 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  5. 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  6. 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  7. 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
非经典逻辑的本质及其意义 郭贵春 崔 帅 内容提要 非经典逻辑致力于扩展逻辑的推理能力,为机器智能化提供新的研究方式。故而我们对非经 典逻辑发展的动因进行了分析,在此基础上探究了非经典逻辑的特征,指出其具有多值性、不确定性以及非单 调性的特征,最后通过总结非经典逻辑的研究意义表明,非经典逻辑是一种依赖语境的分析方法,其因独特的 研究形式拓宽了研究内容的范围,试图实现科学理性与人文理性的统一。 关 键 词 非经典逻辑 多值性 不确定性 非单调性   人工智能之所以在智能化的进程中进展缓慢,其原 逻辑结果,以期丰富计算机的表征力,但这并不表明非经 因就在于计算机缺乏自主学习的能力,不能依据自身的 典逻辑脱离于经典逻辑。事实上,非经典逻辑与经典逻 经验数据和知识扩展其知识系统。因此,机器知识系统 辑具有密切的关系,因为非经典逻辑是在经典逻辑基础 的构建成为了计算机智能化进程的关键路径。如果科学 上通过扩展与修正的方式发展而来。虽然凭借该方式构 家想要在机器之上构建知识系统,那么知识系统必须能 造的逻辑存在一些不同于经典逻辑的规律,然而非经典 够被形式化推理和表征。而现代逻辑是对思维过程的形 逻辑依然继承了经典逻辑的许多特征与性质。因此,经 式化表征,因此现代逻辑无疑成为机器智能化进程中最 典逻辑被视为非经典逻辑的基础,并推动了该逻辑的发 有效的方法。现代逻辑作为一种推理工具,“描绘了人类 展。通常情形下,经典逻辑系统指代命题逻辑和一阶谓 思维和人类表达的一些最基本形式,提供给我们有效推 词逻辑,该逻辑因独特的形式化特征成为逻辑学研究的 理的最基本工具,告诉我们什么样的陈述是许可的或不 主要对象。经典逻辑素来就重视形式化推理,它以人工 ① 许可的” 。通过一个强推理能力的现代逻辑系统,我们 语言为基础,利用人工符号制定了经典逻辑演绎系统的 可以获取大量有用的知识,而一个弱推理能力的逻辑系 初始符号、推演规则以及定理,从而形成了一套完整的形 统会限制对知识的表征和推理能力。与经典逻辑系统相 式系统。尽管经典逻辑的形式化可能无法完全表示心理因 比,非经典逻辑具有更强的表征与推理能力。因而通过 素,但是其符号化的形式演绎系统因其严格性和精确性显 对该逻辑系统的特征分析能够较为全面地、合理地和客 示了经典逻辑系统形式化的优越性。 观地反映该逻辑系统的表征力和推理能力,因此对非经 此外,经典逻辑严格地区分了逻辑系统内的对象语 典逻辑系统的发展动因、特征分析以及意义阐释的研究 言和元语言。对象语言是指在逻辑系统中利用人工符号 是很有必要的。 对命题真值关系的表示,而元语言是利用自然语言对人 工符号表达的真值关系进行阐述,它的研究对象是对象 非经典逻辑发展的基础及其动因 语言。因此,对象语言与元语言是逻辑系统完全不同的 目前,非经典逻辑被广泛应用于人工智能领域的研 两种语言,但是二者之间却是密不可分的。例如,以表达 究,其目的在于通过非经典逻辑构造不同的逻辑真值与 式((p q) r) (p r)为例。当我们假设该表达式为 ∨ → → →  本文系教育部人文社科重点基地重大项目“语境论科学哲学研究纲领”(项目号:13JJD720013)的阶段性成果。 5

文档评论(0)

江南春 + 关注
实名认证
文档贡献者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档