有限信念集上修正的一种方法
文献类型：期刊论文
| 作者 | 栾尚敏 ; 戴国忠 |
| 刊名 | 软件学报
 |
| 出版日期 | 2003 |
| 卷号 | 14期号:5页码:911-917 |
| 关键词 | 信念修正 命题逻辑 一阶逻辑 有限信息集 |
| 其他题名 | approach to the revision of a finite belief set |
| 中文摘要 | 讨论了信念集是有限子句集时的信念修正方法.首先给出了一阶逻辑上求所有极小不协调子集的一个过程,证明了该过程的正确性;然后讨论了由有极小不协调的子集来实现信念修正的方法,介绍所开发的信念修正的原型系统;最后与相关工作进行了比较. |
| 收录类别 | EI,CSCD |
| 语种 | 中文 |
| 公开日期 | 2010-06-01 |
| 源URL | [http://124.16.136.157/handle/311060/2196]  |
| 专题 | 软件研究所_人机交互技术与智能信息处理实验室_期刊论文 |
| 推荐引用方式 GB/T 7714 | 栾尚敏,戴国忠. 有限信念集上修正的一种方法[J]. 软件学报,2003,14(5):911-917. |
| APA | 栾尚敏,&戴国忠.(2003).有限信念集上修正的一种方法.软件学报,14(5),911-917. |
| MLA | 栾尚敏,et al."有限信念集上修正的一种方法".软件学报 14.5(2003):911-917. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。