逻辑

更新时间:-- | 阅读量: 35

本文分析了多值逻辑形成的历史条件和历史过程,述评标志多值逻辑形成的两个系统:卢卡西维茨系统和波斯特系统,具体分析多值逻辑的形成和成熟。

《中山大学研究生学刊(人文社会科学版)》 1999年01期 关键词: "多值逻辑"," 卢卡西维茨"," 波斯特" 收藏

对意图后承的逻辑刻画是人工智能研究中的重要问题。本文在陈小平研究的基础上,构造了一个刻画意图后承的逻辑ICL。在ICL中讨论意图蕴涵和意图后承的性质,并证明了ICL的可靠性和完全性。

《逻辑研究专辑》 2001年00期 关键词: "意图后承"," 意图蕴涵"," 认知赋值"," 认知模型"," 完全范式"," 混合范式" 收藏

对照通常的古典谓词演算,我们从语形角度构造了一个古典谓词归纳演算。然后,仍然对照古典谓词演绎演算的通常语义解释,我们给出了此古典谓词归纳演算对应的"归纳语义",并通过澄清演绎语义和归纳语义的关系,我们...

《逻辑研究专辑》 2001年00期 关键词: "归纳逻辑"," 古典谓词归纳演算"," 古典谓词演绎演算"," 归纳语义"," 演绎语义" 收藏

本文研究经典逻辑、现代逻辑各分支和辩证逻辑所揭示的思维形式、思维方法、思维规律对语言学研究可能有的思维导向作用。全文分五小节。除导言和结束语外,其余的三小节分别讨论了:从逻辑学看语言学研究,从语言学研...

《外国语言文学研究》 2001年02期 关键词: "经典逻辑"," 现代逻辑"," 辩证逻辑"," 语言学研究" 收藏

推理的有效性问题是逻辑学研究的重要问题。有各种不同的有效性概念。本文给出了一个谓词认知逻辑的形式语言(称为LIK),给出了它的语义,定义了有效性概念。用语言LIK刻画简单枚举法,并证明这种推理在IK系...

《逻辑研究专辑》 2001年00期 关键词: "认知逻辑"," 简单枚举法"," 有效性" 收藏

本文介绍了二重命题逻辑系统■T4的形式语言和公理系统,并得出了有关该系统的重要定理。通过框架与模拟框架之间的桥梁,我们最终给出了二重命题逻辑的有效性是一种封闭框架类的有效性。利用二重命题逻辑的可能世界...

《逻辑研究专辑》 2001年00期 关键词: "二重逻辑"," 公理系统"," 可能世界语义学"," 可靠性"," 完全性" 收藏

"人的智能和人工智能的极限"已列入21世纪需要解决的重大数学问题清单,本文试图从逻辑的角度对人工智能的极限问题进行探讨,特别指出哥德尔定理与人工智能极限之间的关系,并对人工智能的"认知可计算主义"研究...

《逻辑研究专辑》 2001年00期 关键词: "人工智能的极限"," 哥德尔定理"," 认知可计算主义"," 认知的算法不可完全性" 收藏

日常推理具有非单调性,而经典逻辑不足以刻画这样的推理,自认知逻辑是研究非单调推理的一种主要方法,它旨在为具有反思能力的主体的推理过程做形式的刻画。

《逻辑研究专辑》 2001年00期 关键词: "推理"," 非单调"," 自认知" 收藏

本文提出并研究了高中致学新教材简易逻辑教学中一些困惑的问题及其处理方法。

《阜阳师范学院学报(自然科学版)》 2003年01期 关键词: "逻辑"," 命题"," 数学教学" 收藏

农网建设与改造(工程)项目自1998年底在全国近2000个县全面开工以来,六年的时间过去了,如何正确评价这一投资巨大、社会效益显著的重大工程项目成为项目决策者和管理者共同关心的问题。逻辑框架法为我们深...

《能源技术经济》 2005年04期 关键词: "农网建设与改造项目"," 逻辑框架法"," 后评价" 收藏