Institutional Repository
| 有限信念集上修正的一种方法 | |
| Alternative Title | approach to the revision of a finite belief set |
| 栾尚敏; 戴国忠 | |
| 2003 | |
| Source | 软件学报
 |
| Volume | 14Issue:5Pages:911-917 |
| English Abstract | 讨论了信念集是有限子句集时的信念修正方法.首先给出了一阶逻辑上求所有极小不协调子集的一个过程,证明了该过程的正确性;然后讨论了由有极小不协调的子集来实现信念修正的方法,介绍所开发的信念修正的原型系统;最后与相关工作进行了比较. |
| Indexed Type | EI,CSCD |
| Keyword | 信念修正 命题逻辑 一阶逻辑 有限信息集 |
| Department | 人机交互技术与智能信息处理实验室 |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/2196 |
| Collection | 人机交互技术与智能信息处理实验室 |
| Recommended Citation GB/T 7714 | 栾尚敏,戴国忠. 有限信念集上修正的一种方法[J]. 软件学报,2003,14(5):911-917. |
| APA | 栾尚敏,&戴国忠.(2003).有限信念集上修正的一种方法.软件学报,14(5),911-917. |
| MLA | 栾尚敏,et al."有限信念集上修正的一种方法".软件学报 14.5(2003):911-917. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| revision-finite-beli（409KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment