检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

试谈《墨经》“闻知”中的等词推理

自然辩证法研究 2005年第1期21卷 36-40页

作者：张忠义燕山大学文法学院河北秦皇岛066004

《墨经》"闻知"中的推理,多认为是一个三段论。但是本文认为其中含有等词并提出其理由。另外从现代逻辑的等同逻辑入手,通过对"闻知"中的三个关系推理的逻辑结构分析,运用等词替换实现了等词推理,进而由已知推出未知。最后说明这些推理... 详细信息

《墨经》"闻知"中的推理,多认为是一个三段论。但是本文认为其中含有等词并提出其理由。另外从现代逻辑的等同逻辑入手,通过对"闻知"中的三个关系推理的逻辑结构分析,运用等词替换实现了等词推理,进而由已知推出未知。最后说明这些推理是逻辑知识的讲解而非逻辑知识的应用。"闻知"中有带等词的推理,就为《墨经》在关系逻辑中争得了一席之地。

关键词：闻若等词等同逻辑

在线全文

学校读者我要写书评

暂无评论

含等词的超表演算

吉林大学学报(理学版) 2005年第4期43卷 455-460页

作者：冯莎莎孙吉贵吴瑕长春130012 吉林大学计算机科学与技术学院长春130012吉林大学符号计算与知识工程教育部重点实验室吉林大学计算机科学与技术学院

将处理等词问题的Superposition方法引入超表演算中,使超表演算能处理含等词的一阶逻辑问题,这种新的表演算不但具有完备性,而且无需回溯,是用表演算完成含等词的一阶逻辑定理机器证明的一种尝试.

关键词：超表演算 Superposition方法等词

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

自动定理证明中带有等词的连接法

应用科学学报 1994年第3期12卷 246-252页

作者：缪淮扣吴茂康上海科学技术大学

连接法是一种较新的自动定理证明的方法．该文讨论了带有等词的连接法，给出了形式化的定义，证明了带有等词的逻辑公式是ｅｑ有效的当且仅当它有互补复合例的规范矩阵的定理，并设计了带有等词的连接法的有关算法．

关键词：自动定理证明连接法等词

《左传》“能、可、欲、敢”等词的使用情况调查兼论其词性

在线全文

学校读者我要写书评

暂无评论

陕西师大学报（哲学社会科学版） 1990年第1期19卷 86-88页

作者：王仲英陕西师大中文系

本文就“能”、”可”、“欲”、“敢”等词的用法,对《左传》一书作了调查,在此基础上提出:自《马氏文通》问世以来,这些词被人们认为是助动词,其语法功能是帮助动词的看法是不对的;实际上它们也是动词,具有一般动词的基本属性;因为是... 详细信息

本文就“能”、”可”、“欲”、“敢”等词的用法,对《左传》一书作了调查,在此基础上提出:自《马氏文通》问世以来,这些词被人们认为是助动词,其语法功能是帮助动词的看法是不对的;实际上它们也是动词,具有一般动词的基本属性;因为是表示“能愿”的动词,它们还必然地、经常地以动词或动宾词组作宾语,这是和一般动词不同的地方。

关键词：等词帮助动词宾语词性谓语用法词组副词能愿动词女口

在线全文

学校读者我要写书评

暂无评论

一种含等词的分阶段tableau算法

大庆石油学院学报 2003年第1期27卷 46-50页

作者：李龙刘全南冬辉大庆石油学院计算机科学与工程学院黑龙江大庆163318 大庆油田有限责任公司采油工程研究院黑龙江大庆163453 大庆油田有限责任公司信息中心黑龙江大庆163453

在自动推理方面的研究中 ,由于等词的增加 ,导致证明的搜索空间膨胀 ,简单的定理证明变得复杂 ,甚至得不到证明 .在增添新的扩展规则的tableau方法的基础上提出一种新的含等词tableau算法———分阶段tableau .在该算法中 ,将tableau算... 详细信息

在自动推理方面的研究中 ,由于等词的增加 ,导致证明的搜索空间膨胀 ,简单的定理证明变得复杂 ,甚至得不到证明 .在增添新的扩展规则的tableau方法的基础上提出一种新的含等词tableau算法———分阶段tableau .在该算法中 ,将tableau算法分成两个阶段 ,先对等词单独处理 ,然后利用提取不等式析取并在启发式的帮助下计算等价类 ,从而限制了tableau的搜索空间 ,提高了tableau的推理效率 .为了研究分阶段tableau的有效性 ,做了实例分析 ,并与Fitting和Jef frey方法进行了比较 ,结果表明 ,分阶段tableau方法优于其它方法 .

关键词：等词分阶段 tableau算法不等式析取等价类自动推理人工智能

带等词的“中介”谓词逻辑演算ME的三值特征定理

在线全文

学校读者我要写书评

暂无评论

贵州大学学报（自然科学版） 1989年第4期6卷 193-200页

作者：李广元李祥贵州大学数学系

通过在三值结构中引入“三值相等关系”,获得并证明了带等词的“中介”谓词逻辑演算ME~*的三值特征定理:可靠性与完全性定理。

关键词：中介逻辑ME^* 三值相等关系等词

怎样辨别带“像”、“仿佛”等词的句子是不是比喻句

在线全文

学校读者我要写书评

暂无评论

语文知识 1997年第10期 47-48页

作者：牛丽霞张燕萍禹州教师进修学校

比喻是修辞里的“大家族”,它形式多种多样,内容多彩多姿,使用的频率也最高,这些都极大地丰富了我们的语言,使许多抽象的、生疏的、深奥的事物变得具体、生动,浅显起来。因为比喻中的明喻常用“像”、“仿佛”等词来联系本体和喻体,所... 详细信息

比喻是修辞里的“大家族”,它形式多种多样,内容多彩多姿,使用的频率也最高,这些都极大地丰富了我们的语言,使许多抽象的、生疏的、深奥的事物变得具体、生动,浅显起来。因为比喻中的明喻常用“像”、“仿佛”等词来联系本体和喻体,所以有的人常把有“像”、“

关键词：非比喻句等词句子联系本喻体降落伞孟姜女修辞多种多样事物

在线全文

学校读者我要写书评

暂无评论

认识不同则用词不同——再谈经脉等词的英译

中国科技术语 2013年第3期15卷 40-41页

作者：黄涛中国中医科学院针灸研究所北京100700

2003年前后，在第一次进行中医药基本名词规范研究的时候，笔者曾撰文论述过有关经脉等词的英译。当时提出了meridian和channel有所不同，并在名词规范的时候将其一并收入，成为经脉的规范英文名。既照顾了约定俗成的命名原则，又兼顾... 详细信息

2003年前后，在第一次进行中医药基本名词规范研究的时候，笔者曾撰文论述过有关经脉等词的英译。当时提出了meridian和channel有所不同，并在名词规范的时候将其一并收入，成为经脉的规范英文名。既照顾了约定俗成的命名原则，又兼顾了对经脉一词本身正确的理解。

关键词：等词 meridian channel 用词名词规范命名原则中医药英文名

自动定理证明中含有等词的Horn集上的输入半锁反驳

在线全文

学校读者我要写书评

暂无评论

科学通报 1987年第8期32卷 628-630页

作者：吴茂康上海科技大学计算机系

本文的主要结果是文献[1]的推广。众所周知,等词(equality)由于它的自反性、对称性、可传性以及替换性,它在谓词演算中有着特殊的地位。这样的特殊性也反映在自动定理证明中,一个含有等词的E不可满足子句集,在各种反驳策略中,除了使用... 详细信息

本文的主要结果是文献[1]的推广。众所周知,等词(equality)由于它的自反性、对称性、可传性以及替换性,它在谓词演算中有着特殊的地位。这样的特殊性也反映在自动定理证明中,一个含有等词的E不可满足子句集,在各种反驳策略中,除了使用归结原理(resolution)以外,还必须使用调解(paramodulation)这一推理规则。尽管如此,我们仍然可以把不含等词的不可满足子句集上的许多性质和证明技术,推广到含有等词的不可满足子句集上去。例如在文献[2]的第八章中,就有相应的输入调解、单位调解和线性调解等等。

关键词：自动定理证明 Horn 等词