Common equivalence and size of forgetting from Horn formulae
P Liberatore - Annals of Mathematics and Artificial Intelligence, 2024 - Springer
Forgetting variables from a propositional formula may increase its size. Introducing new
variables is a way to shorten it. Both operations can be expressed in terms of common …
variables is a way to shorten it. Both operations can be expressed in terms of common …
Knowledge forgetting in propositional μ-calculus
R Feng, Y Wang, R Qian, L Yang, P Chen - Annals of Mathematics and …, 2023 - Springer
The μ-calculus is one of the most important logics describing specifications of transition
systems. It has been extensively explored for formal verification in model checking due to its …
systems. It has been extensively explored for formal verification in model checking due to its …
Towards a notion of basis for knowledge-based systems—applications
In the paradigm of Knowledge-Based Systems (KBS), the design of methods to simplify the
reasoning leads to more efficient processes. A point of view that provides valuable insights …
reasoning leads to more efficient processes. A point of view that provides valuable insights …
Abductive forgetting
P Liberatore - arXiv preprint arXiv:2209.12825, 2022 - arxiv.org
Abductive forgetting is removing variables from a logical formula while maintaining its
abductive explanations. It is defined in either of two ways, depending on its intended …
abductive explanations. It is defined in either of two ways, depending on its intended …
[PDF][PDF] On forgetting postulates in answer set programming
Forgetting is an important mechanism for logicbased agent systems. A recent interest has
been in the desirable properties of forgetting in answer set programming (ASP) and their …
been in the desirable properties of forgetting in answer set programming (ASP) and their …
Common equivalence and size after forgetting
P Liberatore - arXiv preprint arXiv:2006.11152, 2020 - arxiv.org
Forgetting variables from a propositional formula may increase its size. Introducing new
variables is a way to shorten it. Both operations can be expressed in terms of common …
variables is a way to shorten it. Both operations can be expressed in terms of common …
Four algorithms for propositional forgetting
P Liberatore - arXiv preprint arXiv:2204.06528, 2022 - arxiv.org
Four algorithms for propositional forgetting are compared. The first performs all possible
resolutions and deletes the clauses containing a variable to forget. The second forgets a …
resolutions and deletes the clauses containing a variable to forget. The second forgets a …
[PDF][PDF] 多智能体模态逻辑系统Kn 中的知识遗忘
文习明， 方良达， 余泉， 常亮， 王驹 - 逻辑学研究, 2019 - studiesinlogic.sysu.edu.cn
如何让智能体像人一样具备遗忘的能力, 目前仍然是人工智能所面临的最大挑战之一.
遗忘在基于符号逻辑的知识表示与推理领域和基于统计的机器学习领域都有研究 …
遗忘在基于符号逻辑的知识表示与推理领域和基于统计的机器学习领域都有研究 …
Reconstructing a single-head formula to facilitate logical forgetting
P Liberatore - Journal of Logic and Computation, 2023 - academic.oup.com
Logical forgetting is removing some variables from a formula while maintaining its
consequences on the remaining variables. This removal may require exponential time on …
consequences on the remaining variables. This removal may require exponential time on …