Knowledge forgetting: properties and applications

DOI10.1016/J.ARTINT.2009.07.005zbMATH Open1187.03015OpenAlexW2154114149MaRDI QIDQ1045992FDOQ1045992

Authors 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

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

Recommendations

• Introspective forgetting
• A knowledge level account of forgetting
• Bounds to memory loss
• Forgetting complex propositions
• Knowledge updates: Semantics and complexity issues
• Kinds and Aspects of Forgetting in Common-Sense Knowledge and Belief Management
• Forgetting in multi-agent modal logics
• Semantic forgetting in answer set programming

Cites work

• scientific article; zbMATH DE number 140403 (Why is no real title available?)
• scientific article; zbMATH DE number 1946872 (Why is no real title available?)
• scientific article; zbMATH DE number 1546503 (Why is no real title available?)
• scientific article; zbMATH DE number 762058 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• Agent-oriented epistemic reasoning: Subjective conditions of knowledge and belief
• Complete axiomatizations for reasoning about knowledge and branching time
• Conservative extensions in modal logic
• Dynamic Epistemic Logic and Knowledge Puzzles
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• Introspective forgetting
• Knowledge in flux. Modeling the dynamics of epistemic states
• Knowledge updates: Semantics and complexity issues
• Modal logic
• On strongest necessary and weakest sufficient conditions
• Propositional belief base update and minimal change
• Semantic forgetting in answer set programming
• Solving logic program conflict through strong and weak forgettings
• The logic of Pit
• Undefinability of propositional quantifiers in the modal system S4

Cited in

(25)

• Rough forgetting
• A knowledge level account of forgetting
• Forgetting for knowledge bases in DL-lite
• Variable Forgetting in Reasoning about Knowledge
• Forgetting complex propositions
• Hidden protocols: modifying our expectations in an evolving world
• scientific article; zbMATH DE number 1302067 (Why is no real title available?)
• Kinds and Aspects of Forgetting in Common-Sense Knowledge and Belief Management
• A logic-algebraic tool for reasoning with knowledge-based systems
• A syntactic operator for forgetting that satisfies strong persistence
• scientific article; zbMATH DE number 176948 (Why is no real title available?)
• Knowledge forgetting in propositional \(\mu\)-calculus
• Introspective forgetting
• Forgetting in ASP: the forgotten properties
• Preserving strong equivalence while forgetting
• On the limits of forgetting in answer set programming
• Reverse public announcement operators on expanded models
• Forgetting in multi-agent modal logics
• Human rationality challenges universal logic
• Price of privacy
• Propositional variable forgetting and marginalization: semantically, two sides of the same coin
• From forgetting signature elements to forgetting formulas in epistemic states
• A model of three-way decisions for knowledge harnessing
• The ghosts of forgotten things: a study on size after forgetting
• Common equivalence and size of forgetting from Horn formulae

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1045992)