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 条
  • [21] Approximate reasoning about knowledge
    Li, Jun
    Zhou, Yan
    2008 PROCEEDINGS OF INFORMATION TECHNOLOGY AND ENVIRONMENTAL SYSTEM SCIENCES: ITESS 2008, VOL 1, 2008, : 142 - 146
  • [22] A model of reasoning about knowledge
    陆汝钤
    应明生
    Science in China(Series E:Technological Sciences), 1998, (05) : 527 - 534
  • [23] LOGIC FOR REASONING ABOUT KNOWLEDGE
    ORLOWSKA, E
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1989, 35 (06): : 559 - 572
  • [24] Reasoning about knowledge of unawareness
    Halpern, Joseph Y.
    Rego, Leandro C.
    GAMES AND ECONOMIC BEHAVIOR, 2009, 67 (02) : 503 - 525
  • [25] A model of reasoning about knowledge
    Institute of Mathematics, Chinese Academy of Sciences, Beijing 100080, China
    不详
    Sci China Ser E Technol Sci, 5 (x11-534):
  • [26] Reasoning about knowledge: A response
    Fagin, R
    Halpern, JY
    Moses, Y
    Vardi, MY
    MINDS AND MACHINES, 1997, 7 (01) : 113 - 113
  • [27] A model of reasoning about knowledge
    Ruqian Lu
    Mingsheng Ying
    Science in China Series E: Technological Sciences, 1998, 41 : 527 - 534
  • [28] Graded reasoning about knowledge
    Li, Jun
    DCABES 2007 PROCEEDINGS, VOLS I AND II, 2007, : 175 - 179
  • [29] Reasoning about proof and knowledge
    Lewitzka, Steffen
    ANNALS OF PURE AND APPLIED LOGIC, 2019, 170 (02) : 218 - 250
  • [30] A model of reasoning about knowledge
    Lu, RQ
    Ying, MS
    SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES, 1998, 41 (05): : 527 - 534
12345