搜索到43篇“ 缺省理论“的相关文章
缺省理论对等级含义的新阐释
自从Horn(1972)引进了“等级”这个概念以来,等级含义以Grice的数量原则为基础,成为研究语用学和语义学的有力工具,并且作为语用推理的范例和检验不同语用理论的试金石,一直受到语用学界的广泛注意。然而,由于等级含义...
杨柳
关键词:缺省推理语用学语义学
文献传递
带约束的认识缺省理论的动态特性研究
缺省逻辑中,关于世界的知识被表示成为一个缺省理论,它是一个由一致的公式集合和一个被称为缺省规则的集合所构成的序对,其中一致的公式集合含有关于世界的在逻辑上是有效的部分信息,它可以通过缺省规则认可那些似乎有理的,但未必是...
张敏
关键词:缺省理论缺省逻辑
文献传递
基于模态缺省理论的多Agent系统的知识更新
2006年
基于模态缺省理论,建立多Agent系统的模态缺省逻辑,给出了每个主体i对应的模态缺省理论?i=Di,Wi的新知识和知识冲突的概念及其意义,主要讨论在多Agent环境下,当一个Agent的知识不足以完成推理时,可以从其它Agent处获得新的知识,从而对自身的信念集进行更新。当Wi发生变化(如遇到新的知识或出现与原信念集冲突的知识)时扩充Ei的性质和变化规律,提出了获取新扩充的较简单的求解方法,并证明了相关的定理,给出了多Agent系统的关于知识的一个动态描述过程。
张敏薛永生胡文华吴梅红邓安生
关键词:新知识知识冲突多AGENT系统
缺省理论的迭代改变框架
认知主体(Agent)不断地通过与外界交互或观察方式获取新信息.依照信息源的不同重要性以及和对以往信念集合的不同信赖程度,新信息会被接受或舍弃.信念改变就是研究如何持续修正以往信念集合的理论.经典的AGM修正理论在解释一...
王拥军
关键词:缺省推理本体
文献传递
无前提规范闭缺省理论的扩充的构造
2004年
文针对有限的无前提规范闭缺省理论的扩充进行了较系统的研究。首先,对相容扩充进行了分类;其次,给出了相容扩充的特征刻画;再次,建立了一种制作相容扩充的准构造性方法;最后,对缺省规则固定时,缺省理论可能有的不同相容扩张的个数进行了估计。
傅丽王国俊王伟
缺省理论中一种获取优先序的方法(英文)
2003年
引进了一种在缺省理论中提取优先序的方法.与已有方法相比,此方法不仅具有合理性且具有低难度.进而定义了缺省逻辑的优先稳定语义.这种方法在不增加复杂性的情况下,增强了谨慎稳定缺省推理的能力.
赵希顺丁德成
关键词:缺省逻辑
子句型缺省理论的推理算法
2001年
1 引言 缺省理论自1980年Reiter提出之后,已成为非单调推理的热点.在缺省逻辑中,扩张的概念至为重要.Reiter对特殊的缺省理论--正规缺省理论做了许多研究,并得出了一些漂亮的结果[1].Etherington给出了生成任意有穷有序半正规缺省理论的扩张的程序[7].张明义提出缺省的一种子类--自相容缺省理论,给出了相容缺省理论和自相容缺省理论的特征,并给出了一般缺省理论的扩张及主要推理问题的算法[3].
董明楷张明义
关键词:人工智能
子句型自相容缺省理论的扩张被引量:2
2000年
自相容缺省理论是一种颇具优良性质的特殊缺省理论,从子句着手是一般逻辑推理常用的方法.文中在Reiter缺省理论和张明义的自相容缺省理论的研究基础上,进一步研究了子句型闭自相容缺省理论.文中首先给出了自相容缺省理论的扩张个数的单调性定理,然后将Reiter 关于正规缺省理论的证明论推广到自相容缺省理论,得出了自相容缺省理论缺省证明、自顶向下缺省证明和信念修改的相关定理.
董明楷张明义
关键词:缺省逻辑NP问题
一般缺省理论的扩充及其单调性(英文)
2000年
关于一般缺省理论之扩充存在性的充要条件有两种不同的表述,本文证明它们之间可以互相转换,因而根本上是等价的。在此基础上,本文给出了一般缺省理论扩充保持单调性的充要条件,并讨论了它们的意义。
任远
关键词:单调性
自相容缺省理论研究
1998年
董明楷
关键词:缺省逻辑

相关作者

张明义
作品数:43被引量:58H指数:4
供职机构:贵州科学院
研究主题:句型 缺省理论 缺省逻辑 黑颈鹤 种群结构
董明楷
作品数:23被引量:500H指数:8
供职机构:中国科学院计算技术研究所
研究主题:描述逻辑 人工智能 智能主体 多主体系统 缺省推理
邓安生
作品数:12被引量:12H指数:3
供职机构:厦门大学信息科学与技术学院计算机科学系
研究主题:信念修正 信念 人工智能 缺省理论 因果关系
吴茂康
作品数:6被引量:3H指数:1
供职机构:上海大学计算机工程与科学学院
研究主题:人工智能 缺省推理 缺省理论 定理 FUZZY逻辑
傅丽
作品数:24被引量:308H指数:5
供职机构:青海民族学院数学与统计学院
研究主题:粗糙集 缺省逻辑 概念格 真度 CRI算法