返回
Knowledge forgetting: Properties and applications
DOI:10.1016/j.artint.2009.07.005.png)
摘要
En 中文
In this paper we study a formal notion of knowledge forgetting in S5 modal logic. We propose four postulates and prove that these postulates precisely characterize both semantic and logical properties of knowledge forgetting. We then investigate possible applications of knowledge forgetting in various epistemic reasoning scenarios. In particular, we show that different forms of knowledge updates may be represented via knowledge forgetting. We also demonstrate how knowledge forgetting can be used in formalizing and reasoning about knowledge games with bounded memory. Crown Copyright (C) 2009 Published by Elsevier B.V. All rights reserved.
Keyword:
Epistemic reasoning
Reasoning about belief and knowledge
Knowledge update
Knowledge games
Nonmonotonic reasoning
期刊
IF:
13.9
论文数:
6.1K
被引数:
1.9W
机构
引用论文
Experimental hydrothermal alteration of a martian analog basalt: Implications for martian meteorites
Agent-oriented epistemic reasoning: Subjective conditions of knowledge and belief面向主体的认知推理: 知识和信念的主观条件

