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 条
  • [41] A Quantitative method for Reasoning about Knowledge
    Lan, Qian
    Ma, Teng
    2009 INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND COMPUTATIONAL INTELLIGENCE, VOL IV, PROCEEDINGS, 2009, : 85 - +
  • [42] Reasoning about knowledge of unawareness revisited
    Halpern, Joseph Y.
    Rego, Leandro C.
    MATHEMATICAL SOCIAL SCIENCES, 2013, 65 (02) : 73 - 84
  • [43] A Logic for Reasoning About Knowledge of Unawareness
    Agotnes, Thomas
    Alechina, Natasha
    JOURNAL OF LOGIC LANGUAGE AND INFORMATION, 2014, 23 (02) : 197 - 217
  • [44] A Logic for Reasoning About Knowledge of Unawareness
    Thomas Ågotnes
    Natasha Alechina
    Journal of Logic, Language and Information, 2014, 23 : 197 - 217
  • [45] Reasoning about Knowledge: A Response by the Authors
    Ronald Fagin
    Joseph Y. Halpern
    Yoram Moses
    Moshe Y. Vardi
    Minds and Machines, 1997, 7 : 113 - 113
  • [46] Reasoning about knowledge and conditional probability
    Dautovic, Sejla
    Doder, Dragan
    Ognjanovic, Zoran
    INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2023, 163
  • [47] Knowledge and reasoning about interaction traces
    Cordier, Amélie
    Lefevre, Marie
    Champin, Pierre-Antoine
    Mille, Alain
    Georgeon, Olivier L.
    Mathern, Benoît
    Revue d'Intelligence Artificielle, 2014, 28 (2-3) : 375 - 396
  • [48] Reasoning about knowledge by SAT solving
    Su, Kaile
    Chen, Qingliang
    Zheng, Xizhong
    Yue, Weiya
    2006 INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND SECURITY, PTS 1 AND 2, PROCEEDINGS, 2006, : 536 - 539
  • [49] A Model for Approximate Reasoning about Knowledge
    Li, Jun
    Lan, Qian
    2012 2ND INTERNATIONAL CONFERENCE ON APPLIED ROBOTICS FOR THE POWER INDUSTRY (CARPI), 2012, : 609 - 612
  • [50] A method for Approximate Reasoning about Knowledge
    Li, Jun
    ADVANCED RESEARCH ON AUTOMATION, COMMUNICATION, ARCHITECTONICS AND MATERIALS, PTS 1 AND 2, 2011, 225-226 (1-2): : 154 - 157
12345