共找到 相关的 本期刊
共找到 相关的 225篇文献
本文分析了多值逻辑形成的历史条件和历史过程,述评标志多值逻辑形成的两个系统:卢卡西维茨系统和波斯特系统,具体分析多值逻辑的形成和成熟。
对意图后承的逻辑刻画是人工智能研究中的重要问题。本文在陈小平研究的基础上,构造了一个刻画意图后承的逻辑ICL。在ICL中讨论意图蕴涵和意图后承的性质,并证明了ICL的可靠性和完全性。
对照通常的古典谓词演算,我们从语形角度构造了一个古典谓词归纳演算。然后,仍然对照古典谓词演绎演算的通常语义解释,我们给出了此古典谓词归纳演算对应的"归纳语义",并通过澄清演绎语义和归纳语义的关系,我们证明了此古典谓词归纳演算和对于此归纳语义...
本文研究经典逻辑、现代逻辑各分支和辩证逻辑所揭示的思维形式、思维方法、思维规律对语言学研究可能有的思维导向作用。全文分五小节。除导言和结束语外,其余的三小节分别讨论了:从逻辑学看语言学研究,从语言学研究看逻辑学和要注意的五对关系。
推理的有效性问题是逻辑学研究的重要问题。有各种不同的有效性概念。本文给出了一个谓词认知逻辑的形式语言(称为LIK),给出了它的语义,定义了有效性概念。用语言LIK刻画简单枚举法,并证明这种推理在IK系统中是有效的。
本文介绍了二重命题逻辑系统■T4的形式语言和公理系统,并得出了有关该系统的重要定理。通过框架与模拟框架之间的桥梁,我们最终给出了二重命题逻辑的有效性是一种封闭框架类的有效性。利用二重命题逻辑的可能世界语义学,我们证明了■T4的可靠性与完全性...
"人的智能和人工智能的极限"已列入21世纪需要解决的重大数学问题清单,本文试图从逻辑的角度对人工智能的极限问题进行探讨,特别指出哥德尔定理与人工智能极限之间的关系,并对人工智能的"认知可计算主义"研究纲领提出质疑。
日常推理具有非单调性,而经典逻辑不足以刻画这样的推理,自认知逻辑是研究非单调推理的一种主要方法,它旨在为具有反思能力的主体的推理过程做形式的刻画。
本文提出并研究了高中致学新教材简易逻辑教学中一些困惑的问题及其处理方法。
农网建设与改造(工程)项目自1998年底在全国近2000个县全面开工以来,六年的时间过去了,如何正确评价这一投资巨大、社会效益显著的重大工程项目成为项目决策者和管理者共同关心的问题。逻辑框架法为我们深入研究和解决这一评价问题提供一个有力的工...
010-56259535
关注中教数据库
Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved
个人中心
退出