| 有限信念集上修正的一种方法 |
| 其他题名 | approach to the revision of a finite belief set
|
| 栾尚敏; 戴国忠
|
| 2003
|
| 发表期刊 | 软件学报
 |
| 卷号 | 14期号:5页码:911-917 |
| 摘要 | 讨论了信念集是有限子句集时的信念修正方法.首先给出了一阶逻辑上求所有极小不协调子集的一个过程,证明了该过程的正确性;然后讨论了由有极小不协调的子集来实现信念修正的方法,介绍所开发的信念修正的原型系统;最后与相关工作进行了比较. |
| 收录类别 | EI,CSCD
|
| 关键词 | 信念修正
命题逻辑
一阶逻辑
有限信息集
|
| 部门归属 | 人机交互技术与智能信息处理实验室
|
| 语种 | 中文
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/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.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论