On Forgetting Postulates in Answer Set Programming
Authors: Jianmin Ji, Jia-Huai You, Yisong Wang
IJCAI 2015 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | In this paper, we are interested in the question on the largest set of pairs (Π, V ), where Π is a logic program and V is a set of atoms, such that a forgetting operator exists that satisfies all the desirable properties for each (Π, V ) in . We answer this question positively by discovering the precise condition under which the knowledge forgetting, a well-established approach to forgetting in ASP, satisfies the property of strong persistence, which leads to a sufficient and necessary condition for a forgetting operator to satisfy all the desirable properties proposed in the literature. We explore computational complexities on checking the condition and present a syntactic characterization which can serve as the basis of computing knowledge forgetting in ASP. |
| Researcher Affiliation | Academia | Jianmin Ji University of Science and Technology of China, Hefei, China jianmin@ustc.edu.cn Jia-Huai You University of Alberta Edmonton, Canada you@cs.ualberta.ca Yisong Wang Guizhou University Guiyang, China csc.yswang@gzu.edu.cn |
| Pseudocode | Yes | Algorithm 1: HT-forgetting input : A formula ϕ and V A output: A result of HT-forgetting V in ϕ ϕ the normal form of ϕ; foreach p V do ϕ ϕ|p ϕ|p (ϕ{p}|p ϕ{p}|p ) ϕ|p ; ϕ the normal form of ϕ ; end return ϕ ; |
| Open Source Code | No | The paper does not provide any specific links or explicit statements about the availability of open-source code for the methodology described. |
| Open Datasets | No | The paper is theoretical and does not use or reference any datasets for training. |
| Dataset Splits | No | The paper is theoretical and does not involve dataset splits for training, validation, or testing. |
| Hardware Specification | No | The paper is theoretical and does not report on empirical experiments, therefore no hardware specifications are mentioned. |
| Software Dependencies | No | The paper presents theoretical concepts and an algorithm but does not provide specific software names with version numbers that would be needed for replication. |
| Experiment Setup | No | The paper is theoretical and does not describe any experimental setup details such as hyperparameters or system-level training settings. |