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

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

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)

Cites Work

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

Cited In (22)

• The ghosts of forgotten things: a study on size after forgetting
• A logic-algebraic tool for reasoning with knowledge-based systems
• Forgetting for knowledge bases in DL-lite
• A Syntactic Operator for Forgetting that Satisfies Strong Persistence
• Title not available (Why is that?)
• Forgetting in multi-agent modal logics
• Variable Forgetting in Reasoning about Knowledge
• Title not available (Why is that?)
• Knowledge forgetting in propositional \(\mu\)-calculus
• Propositional variable forgetting and marginalization: semantically, two sides of the same coin
• Human rationality challenges universal logic
• From forgetting signature elements to forgetting formulas in epistemic states
• Kinds and Aspects of Forgetting in Common-Sense Knowledge and Belief Management
• On the limits of forgetting in answer set programming
• Forgetting in ASP: The Forgotten Properties
• Price of privacy
• A model of three-way decisions for knowledge harnessing
• Common equivalence and size of forgetting from Horn formulae
• Preserving Strong Equivalence while Forgetting
• Hidden protocols: modifying our expectations in an evolving world
• Introspective forgetting
• Reverse public announcement operators on expanded models

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)