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
    LOGIC JOURNAL OF THE IGPL, 2003, 11 (02) : 247 - 284
  • [2] Theory of belief degrees for reasoning about knowledge
    Jun, Li
    Qian, Lan
    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
    Journal of Donghua University (English Edition), 2010, 27 (02) : 254 - 257
  • [4] Reasoning with knowledge and belief
    Przymusinski, TC
    PROGRAMMING AND COMPUTER SOFTWARE, 1998, 24 (01) : 11 - 31
  • [5] Belief and Knowledge Reasoning
    宁正元
    赖贤伟
    胡山立
    王秀丽
    JournalofDonghuaUniversity(EnglishEdition), 2010, 27 (02) : 254 - 257
  • [6] Reasoning with knowledge and belief
    Pshimusinskij, T.C.
    Programmirovanie, 24 (01): : 18 - 50
  • [7] Reasoning about knowledge, belief and certainty in hierarchical multi-agent systems
    Lijun Wu
    Kaile Su
    Yabiao Han
    Jingyu Chen
    Xiangyu Lu
    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
    FRONTIERS OF COMPUTER SCIENCE, 2017, 11 (03) : 499 - 510
  • [9] A modal logic for reasoning about belief
    Zhang, GQ
    Huang, C
    Rounds, WC
    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
    IJCAI-97 - PROCEEDINGS OF THE FIFTEENTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLS 1 AND 2, 1997, : 508 - 513
12345