Knowledge Forgetting in Circumscription: A Preliminary Report

Authors

  • Yisong Wang Guizhou University
  • Kewen Wang Griffith University
  • Zhe Wang Griffith University
  • Zhiqiang Zhuang Griffith University

DOI:

https://doi.org/10.1609/aaai.v29i1.9419

Keywords:

Circumscription, Forgetting, Algorithms, Complexity

Abstract

The theory of (variable) forgetting has received significant attention in nonmonotonic reasoning, especially, in answer set programming. However, the problem of establishing a theory of forgetting for some expressive nonmonotonic logics such as McCarthy's circumscription is rarely explored.In this paper a theory of forgetting for propositional circumscription is proposed, which is not a straightforward adaption of existing approaches. In particular, some properties that are essential for existing proposals do not hold any longer or have to be reformulated. Several useful properties of the new forgetting are proved, which demonstrate suitability of the forgetting for circumscription. A sound and complete algorithm for the forgetting is developed and an analysis of computational complexity is given.

Downloads

Published

2015-02-18

How to Cite

Wang, Y., Wang, K., Wang, Z., & Zhuang, Z. (2015). Knowledge Forgetting in Circumscription: A Preliminary Report. Proceedings of the AAAI Conference on Artificial Intelligence, 29(1). https://doi.org/10.1609/aaai.v29i1.9419

Issue

Section

AAAI Technical Track: Knowledge Representation and Reasoning