Research map / Continual learning / Online and replay-based
Dependence in Propositional Logic: Formula-Formula Dependence and Formula Forgetting – Application to Belief Update and Conservative Extension
Read the paperCheck your idea against 108,967 papers
AI-extracted summary. Written by AI from the paper's title only (no summary yet). Numbers and claims can be wrong or missing context, so check the paper before you cite or build on it.
Measured effects reported in the paper
| What was changed | Where | Measured | Effect |
|---|---|---|---|
| Use formula-formula dependence for belief update rather than minimal-change update | ⋄F versus ⋄PMA and ⋄For · SATLIB benchmarks: 20 variables, 91 clauses; 50 variables, 218 clauses | average runtime (ms): ⋄F: 0.051 and 1.201; ⋄For: 632.867 and 857.459; ⋄PMA: 876.926 and 1,225 | Helped |
| Use formula-formula dependence instead of variable-dependence update | ⋄F versus ⋄V · SATLIB benchmarks: 20 variables, 91 clauses; 50 variables, 218 clauses | average runtime (ms): ⋄F: 0.051 and 1.201; ⋄V: 0.068 and 1.206 | No clear effect |
| Use formula-formula dependence instead of literal-dependence update | ⋄F versus ⋄L · SATLIB benchmarks: 20 variables, 91 clauses; 50 variables, 218 clauses | average runtime (ms): ⋄F: 0.051 and 1.201; ⋄L: 0.029 and 0.164 | Mixed |
| Use formula-formula dependence update rather than minimal-change update | ⋄F versus ⋄PMA and ⋄For · Belief update | information preserved | Mixed |
| Restrict the new information to a term | ⋄F · Belief update | KM postulates satisfied | Helped |
Closest papers by meaning
- An Algebraic Notion of Conditional Independence, and Its Application to Knowledge Representation (AAAI 2025 · similarity 0.86)
- Minimal Change in Modal Logic S5 (AAAI 2025 · similarity 0.86)
- A Unified View on Forgetting and Strong Equivalence Notions in Answer Set Programming (AAAI 2024 · similarity 0.85)
- Boule or Baguette? A Study on Task Topology, Length Generalization, and the Benefit of Reasoning Trace (NeurIPS 2026 · similarity 0.84)
- A Compositional Atlas for Algebraic Circuits (NeurIPS 2024 · similarity 0.84)
- An Alternative Theory of Stable Revision for Nondeterministic Approximation Fixpoint Theory and the Relationships (AAAI 2025 · similarity 0.83)
Writing a paper in this area? scime draft is a free LaTeX editor with AI included, real-time co-authors and a check of your references and venue rules before you submit. It also imports OpenAI Prism projects.