A Belief Structure for Reasoning about Knowledge

被引：0

作者：

Wong, S. K. M. ^{[1
]}

Noroozi, Nasser ^{[2
]}

机构：

[1] Univ Regina, Dept Comp Sci, Regina, SK S4S 0A2, Canada

[2] Lakehead Univ, Dept Comp Sci, Thunder Bay, ON, Canada

来源：

ROUGH SET AND KNOWLEDGE TECHNOLOGY (RSKT) | 2010年 / 6401卷

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

A logic-based belief structure is proposed for knowledge representation and reasoning. This structure is semantically different from the standard Kripke structure. It is demonstrated that such a representation of knowledge is particularly useful in a multi-agent environment. The proposed model is also suitable for dealing with inconsistent and incomplete information and provides a natural measure of uncertainty for the knowledge modal operators.

引用

页码：288 / 297

页数：10

共 50 条

[1] Reasoning about knowledge and belief: A syntactical treatment
Fasli, M
[J]. LOGIC JOURNAL OF THE IGPL, 2003, 11 (02) : 247 - 284
[2] Theory of belief degrees for reasoning about knowledge
Jun, Li
Qian, Lan
[J]. IITA 2007: WORKSHOP ON INTELLIGENT INFORMATION TECHNOLOGY APPLICATION, PROCEEDINGS, 2007, : 367 - +
[3] Belief and knowledge reasoning
Ning, Zheng-Yuan
Lai, Xian-Wei
Hu, Shan-Li
Wang, Xiu-Li
[J]. Journal of Donghua University (English Edition), 2010, 27 (02) : 254 - 257
[4] Reasoning with knowledge and belief
Przymusinski, TC
[J]. PROGRAMMING AND COMPUTER SOFTWARE, 1998, 24 (01) : 11 - 31
[5] Reasoning with knowledge and belief
Pshimusinskij, T.C.
[J]. Programmirovanie, 24 (01): : 18 - 50
[6] Belief and Knowledge Reasoning
宁正元
赖贤伟
胡山立
王秀丽
[J]. Journal of Donghua University(English Edition), 2010, 27 (02) : 254 - 257
[7] Reasoning about knowledge, belief and certainty in hierarchical multi-agent systems
Lijun Wu
Kaile Su
Yabiao Han
Jingyu Chen
Xiangyu Lu
[J]. Frontiers of Computer Science, 2017, 11 : 499 - 510
[8] Reasoning about knowledge, belief and certainty in hierarchical multi-agent systems
Wu, Lijun
Su, Kaile
Han, Yabiao
Chen, Jingyu
Lu, Xiangyu
[J]. FRONTIERS OF COMPUTER SCIENCE, 2017, 11 (03) : 499 - 510
[9] A modal logic for reasoning about belief
Zhang, GQ
Huang, C
Rounds, WC
[J]. THIRTIETH HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, VOL 5: ADVANCED TECHNOLOGY, 1997, : 383 - 391
[10] Qualitative reasoning about perception and belief
del Val, A
Maynard-Reid, P
Shoham, Y
[J]. IJCAI-97 - PROCEEDINGS OF THE FIFTEENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS 1 AND 2, 1997, : 508 - 513

← 1 2 3 4 5 →