Knowledge forgetting: Properties and applications
| Autor: | Yi Zhou, Yan Zhang |
|---|---|
| Rok vydání: | 2009 |
| Předmět: |
Linguistics and Language
Forgetting Circumscription Computer science business.industry Reasoning about belief and knowledge Modal logic Epistemic reasoning Semantics Procedural knowledge Knowledge games Language and Linguistics S5 Artificial Intelligence Bounded function Computer Science::Logic in Computer Science Mathematics::Category Theory Nonmonotonic reasoning Artificial intelligence Non-monotonic logic Knowledge update business |
| Zdroj: | Artificial Intelligence. 173(16-17):1525-1537 |
| ISSN: | 0004-3702 |
| DOI: | 10.1016/j.artint.2009.07.005 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full Text from ScienceDirect