Semantics of Knowledge Forgetting in Alternating-Time Temporal Epistemic Logic

The forgetting has been found an important and wide application in computer science and AI, especially epistemic reasoning fields. In this paper, the notion of knowledge forgetting is proposed in Alternating-Time Temporal Epistemic Logic. The bisimulation of forgetting is established, and the related properties are showed. By the bisimulation, the semantics and properties of knowledge forgetting are proposed. Knowledge forgetting can enrich Alternating-time Temporal Epistemic Logic. Knowledge forgetting of group agents can be presented and computed in Alternating-Time Temporal Epistemic Logic, include knowledge forgetting of "everyone knows", knowledge of common knowledge and knowledge of group knowledge.