1) the Default Logic for GCI inference
一般会话含义推理的缺省逻辑方案
3) generalized conversational implicature
一般会话含义
1.
As a typical species of generalized conversational implicature,scalar implicature falls well into the realm of Default Logic susceptible to systematic formalization.
级差含义是一类典型的一般会话含义,在推理的逻辑本质上属于缺省逻辑并具有系统形式化的可能。
2.
Grice referred to a branch of conversational implicature - the generalized conversational implicature and the particularized conversational implicature in "Logic and Conversation" published in 1975.
格赖斯在1975年发表的著作“逻辑与会话”一文中提到会话含义的一类——一般会话含义和特殊会话含义。
4) Extensions of the Default Logic
缺省逻辑的扩充
5) default logic
缺省逻辑
1.
A Default Logic Approach to Scalar Implicature;
级差含义推导的缺省逻辑方案
2.
Relier s default logic has limitations:it can t represent the priorities among defaults,can t deal with disjunctions in defaults,and it is not cumulative.
Ｒｅｌｉｅｒ的缺省逻辑存在着局限性。
3.
The various four-valued models are defined for default theories such that the default logic has the ability of nonmonotonic paraconsiste.
为缺省理论定义了各种四值模型,使得缺省逻辑具有非单调超协调推理能力,并证明了L+中的缺省扩张与L中缺省理论的四值模型之间具有一一对应关系。
6) general default theory
一般缺省理论
1.
There are two different expressions as to the sufficient and necessary conditions for the existence of extensions for a general default theory.
关于一般缺省理论之扩充存在性的充要条件有两种不同的表述,本文证明它们之间可以互相转换,因而根本上是等价的。
补充资料：逻辑推理机
逻辑推理机
logic inference machine
lu0JI tull一Ji逻辑推理机(一嘟e inrerence maehine)可自动进行推理的计算机。它的输人是所要求证明的推理目标、有关的变量以及前提和假设;输出是关于推理目标的证明结论、有关的解释以及上述变量的值。程序员为逻辑推理机编写逻辑程序，其中包括推理过程中需要的已知事实，表示推理规则的逻辑语句和其它形式的语句等。通常，逻辑程序是用PR()-L‘X弓程序设计语言编写的。逻辑推理机根据上述信息，按照其本身所具有的推理机制，选择适当的决策步骤进行逻辑推理演算并输出结果。 逻辑推理机必须是完善的，即不可能给出错误的推理结果，又必须是完备的，即能够给出全部正确推理结果。 逻辑推理机的体系结构可以用知比en抽象机(W八八项)语义模型表示。WAM模型的指令集包含以下5类基本指令: (l)索引类指令在一个子句的推理过程中，用于控制各部分执行次序，例如，选择当前子句、回溯、重试等; (2)过程类指令用于管理推理过程中的子句链的选择和环境设置，以及子句链之间的转移等; (3)取检类指令包括取出参数，检验子句的形式参数与实在参数是否合一，记录相应的变量代人关系等; (4)设置类指令在子句体中，为谓词设置实在参数等; (5)合一类指令用于处理表或函数结构中各分量的设置和合一操作等。 应用这些指令，可以编写相应的程序来描述逻辑推理机的体系结构;又可以通过它们，采用编译、解释以及硬件组成等方法去实现实际的逻辑推理机。 关于逻辑推理机的研究成果有美国的PLM机(l 985年)、日本第五代计算机计划中的PSI机(1985年)和PSI一11机(1987年)以及具有并行化体系结构的Multi一PSI机(1987年)和PIM机(1986年)等。(郑守淇)
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条