Knowledge forgetting: properties and applications

DOI10.1016/J.ARTINT.2009.07.005zbMath1187.03015OpenAlexW2154114149MaRDI QIDQ1045992

J. Blot

Publication date: 21 December 2009

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2009.07.005

zbMATH Keywords

nonmonotonic reasoningreasoning about belief and knowledgeepistemic reasoningknowledge gamesknowledge update

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)

Related Items (15)

Preserving Strong Equivalence while Forgetting ⋮ Human rationality challenges universal logic ⋮ Knowledge forgetting in propositional \(\mu\)-calculus ⋮ A Syntactic Operator for Forgetting that Satisfies Strong Persistence ⋮ Reverse public announcement operators on expanded models ⋮ On the limits of forgetting in answer set programming ⋮ Hidden protocols: modifying our expectations in an evolving world ⋮ Price of privacy ⋮ A logic-algebraic tool for reasoning with knowledge-based systems ⋮ The ghosts of forgotten things: a study on size after forgetting ⋮ Propositional variable forgetting and marginalization: semantically, two sides of the same coin ⋮ Common equivalence and size of forgetting from Horn formulae ⋮ A model of three-way decisions for knowledge harnessing ⋮ Forgetting in ASP: The Forgotten Properties ⋮ Forgetting in multi-agent modal logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Agent-oriented epistemic reasoning: Subjective conditions of knowledge and belief
• Introspective forgetting
• Complete axiomatizations for reasoning about knowledge and branching time
• Undefinability of propositional quantifiers in the modal system S4
• Propositional belief base update and minimal change
• Semantic forgetting in answer set programming
• Solving logic program conflict through strong and weak forgettings
• Knowledge updates: Semantics and complexity issues
• The logic of Pit
• Dynamic Epistemic Logic and Knowledge Puzzles
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• On strongest necessary and weakest sufficient conditions

This page was built for publication: Knowledge forgetting: properties and applications