an approximate approach to belief revision
文献类型:期刊论文
作者 | Luan Shangmin ; Dai Guozhong ; Magnani Lorenzo |
刊名 | LOGIC JOURNAL OF THE IGPL
![]() |
出版日期 | 2012 |
卷号 | 20期号:2页码:486-496 |
关键词 | Belief revision approximate algorithm integrity constraints finite belief base |
ISSN号 | 1367-0751 |
中文摘要 | It is well known that the computational complexity of propositional knowledge base revision is at the second level of polynomial hierarchy. A way to solve this kind of problems is to introduce approximate algorithms. In this paper, an approximate approach is introduced for belief change. Operators, which satisfy the AGM rational postulates, are defined to change belief sets or belief bases. Furthermore, approximate algorithms to implement the revision of finite belief bases are presented. The time complexities of the approximate algorithms shown in this paper are at lower level than the time complexities of the existed approaches in literatures, although they may not generate the optimal solution, and this is meaningful from the theoretical point of view. |
英文摘要 | It is well known that the computational complexity of propositional knowledge base revision is at the second level of polynomial hierarchy. A way to solve this kind of problems is to introduce approximate algorithms. In this paper, an approximate approach is introduced for belief change. Operators, which satisfy the AGM rational postulates, are defined to change belief sets or belief bases. Furthermore, approximate algorithms to implement the revision of finite belief bases are presented. The time complexities of the approximate algorithms shown in this paper are at lower level than the time complexities of the existed approaches in literatures, although they may not generate the optimal solution, and this is meaningful from the theoretical point of view. |
学科主题 | Mathematics ; Science & Technology - Other Topics |
收录类别 | SCI |
资助信息 | National Natural Science Foundation of China U0735004 |
语种 | 英语 |
WOS记录号 | WOS:000302303500010 |
公开日期 | 2013-09-17 |
源URL | [http://ir.iscas.ac.cn/handle/311060/15086] ![]() |
专题 | 软件研究所_软件所图书馆_期刊论文 |
推荐引用方式 GB/T 7714 | Luan Shangmin,Dai Guozhong,Magnani Lorenzo. an approximate approach to belief revision[J]. LOGIC JOURNAL OF THE IGPL,2012,20(2):486-496. |
APA | Luan Shangmin,Dai Guozhong,&Magnani Lorenzo.(2012).an approximate approach to belief revision.LOGIC JOURNAL OF THE IGPL,20(2),486-496. |
MLA | Luan Shangmin,et al."an approximate approach to belief revision".LOGIC JOURNAL OF THE IGPL 20.2(2012):486-496. |
入库方式: OAI收割
来源:软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。