Introspective Forgetting

被引:0
作者
van Ditmarsch, Hans [1 ,2 ]
Herzig, Andreas [2 ]
Lang, Jerome [2 ]
Marquis, Pierre [3 ]
机构
[1] Univ Otago, Christchurch, New Zealand
[2] Univ Paul Sabatier, IRIT, Sabatier, France
[3] Univ Artois, CRIL, Artix, France
来源
AI 2008: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS | 2008年 / 5360卷
关键词
modal logic; forgetting; abstraction; action logic; belief change;
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
We model the forgetting of propositional variables in a modal logical context where agents become ignorant and are aware of each others' or their own resulting ignorance. The resulting logic is sound and complete. It can be compared to variable-forgetting as abstraction from information, wherein agents become unaware of certain variables: by employing elementary results for bisimulation, it follows that beliefs not involving the forgotten atom(s) remain true.
引用
收藏
页码:18 / +
页数:3
相关论文
共 28 条
  • [1] [Anonymous], AAAI FALL S REL NEW
  • [2] AUCHER G., 2008, THESIS U OTAGO NZ
  • [3] BALTAG A, 2006, P LOFT 2006 7 C LOG
  • [4] Baltag A., 1998, P 7 TARK, P43
  • [5] Knowledge updates: Semantics and complexity issues
    Baral, C
    Zhang, Y
    [J]. ARTIFICIAL INTELLIGENCE, 2005, 164 (1-2) : 209 - 243
  • [6] Benthem J. V., 2007, P TARK 2007, P72
  • [7] BLACKBURN P, 2001, CAMBRIDGE TRACTS THE, V0053
  • [8] EITER T, 2006, P AAAI
  • [9] Erdem E., 2007, P 22 AAAI C ART INT, P409
  • [10] French T., 2006, THESIS U W AUSTR