-
题名容错推理
被引量：4
- 1
-
-
作者
林作铨
-
机构
国家智能机研究中心
-
出处
《计算机科学》
CSCD
北大核心
1993年第2期18-22,共5页
-
文摘
1.引论人在日常生活中进行推理的能力包含诸多方面,是相当复杂的过程,但常识推理的最一般基础是在容错知识情形下的推理。一般地,容错知识包括两种最基本情形;一种是容“错”知识,即含矛盾的知识,这是在不相容知识情形下的推理问题;另一种是容“误”知识,即含未知的知识,这是在不完全知识情形下的推理问题。特别地,两种容错知识情形是相互联系的。
-
关键词
容错推理
容错
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
-
题名容错推理系统FTRS的设计
- 2
-
-
作者
刘庆志
林作铨
-
机构
汕头大学计算机科学研究所
-
出处
《计算机科学》
CSCD
北大核心
1998年第2期33-36,共4页
-
文摘
常识揄的难点是前提知识的不完备性、揄规则的不精确性以及知识中显性或隐性矛盾存在的普遍性。常识推理的第一个特点是“常识性”,“
-
关键词
容错推理系统
FTRS
设计
人工智能
-
Keywords
Paraconsistent circumscription
Tableaux
Fault-tolerant reasoning
PROLOG
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
-
题名容错推理的逻辑基础
- 3
-
-
作者
林作铨
-
出处
《汕头大学学报（自然科学版）》
1992年第2期1-8,共8页
-
基金
李嘉诚基金
国家高技术八六三计划资助项目
-
文摘
容错推理允许容纳错误知识而能作出合理推论,形式化常识推理可以描述为各种容错知识情形下推理的问题,容错知识的一般基础是含矛盾与含未知知识情形。我们基于极大相容性概念,定义极大相容子理论作为形式化容错推理的一种特殊途径;进一步,我们基于优先语义,给出一种容错逻辑的一般途径。
-
关键词
相容性
容错推理
逻辑基础
人工智能
-
Keywords
consistency, preferential semantics, fault-tolerant reasoning, commonsense reasoning
-
分类号
O141
[理学—基础数学]
-
-
题名指类句的元语用学研究
被引量：9
- 4
-
-
作者
吴炳章
张德玉
-
机构
中国海洋大学外国语学院
-
出处
《解放军外国语学院学报》
CSSCI
北大核心
2012年第3期4-9,127,共6页
-
基金
教育部规划基金项目"指类句的认知语用研究"(10YJA740095)
山东省教育厅人文社会科学研究项目"指类句的语用研究"(J10WD64)阶段性成果
-
文摘
指类句的元语用学研究涉及语言的表征性和对话性特征。两种特征使指类句在三个层面发生关联:命题的逻辑主词、语句的主语和交际的话题。表征特征使指类量化具有相对性、话语理解的逻辑推理具有容错性。对话特征使指类句的逻辑主词处于话题的统辖范围之内,故指类句的概括义具有相对性。对话特征还是指类句用做论辩的缺省前提,有利于强化论辩推理的有效性,从而增加结论的可信度,最终达到说服听众的目的。
-
关键词
指类句
表征性
对话性
元语用学
论辩逻辑
容错推理
-
分类号
H030
[语言文字—语言学]
-
-
题名指类句的指类功能实现机制探讨
被引量：26
- 5
-
-
作者
吴炳章
-
机构
中国海洋大学外国语学院
-
出处
《外语教学与研究》
CSSCI
北大核心
2010年第2期92-96,共5页
-
文摘
指类句是概括一类对象的全体(或部分)具有某种规律、属性或特征的简单陈述句。其显著特点是其主项通常被理解为隐性地指称一个类的全体成员,但同时又容忍例外。目前的语义研究未能说明这种"以偏概全"的指类功能是如何实现的。从语用上看,使用指类句通常是为了获得某种"小夸张"的修辞效果,这种效果是通过听话人以"容错推理"的方式对指类句进行全称量化解读获得的。容错推理是一种强化前提信息的心理逻辑。
-
关键词
指类词
指类句
容错推理
心理逻辑
-
分类号
H030
[语言文字—语言学]
-
