Partial Meet Revision and Contraction in Logic Programs
Authors: Sebastian Binnewies, Zhiqiang Zhuang, Kewen Wang
AAAI 2015 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | We define model-based operators for the expansion, revision, and contraction of logic programs that preserve the syntactic information about relationships between atoms encoded in a program. Our operators thereby bridge the gap between semantic and syntactic belief change approaches, and, to the best of our knowledge, present the first definition of a model-based contraction operator for logic programs. We adapt the classic AGM belief change postulates to the logic programming setting and show that our operators satisfy all major postulates. For those postulates that are not satisfied, we discuss their suitability, provide alterna-tive postulates, and demonstrate compliance. We introduce the notion of a module as a subset of a program and define which modules are relevant to a revision or contraction operation. Using this definition, we develop an algorithm that reduces the revision or contraction of a program to revising or contracting only the relevant modules of that program. |
| Researcher Affiliation | Academia | Sebastian Binnewies and Zhiqiang Zhuang and Kewen Wang School of Information and Communication Technology Griffith University, QLD, Australia {s.binnewies; z.zhuang; k.wang}@griffith.edu.au |
| Pseudocode | Yes | Algorithm 1: MODCHANGE |
| Open Source Code | No | The paper does not provide concrete access to source code for the methodology described. |
| Open Datasets | No | The paper does not mention using a dataset for training, as it is a theoretical paper. |
| Dataset Splits | No | The paper does not provide specific dataset split information, as it is a theoretical paper. |
| Hardware Specification | No | The paper does not provide specific hardware details used for running its experiments. |
| Software Dependencies | No | The paper does not provide specific ancillary software details with version numbers. |
| Experiment Setup | No | The paper does not contain specific experimental setup details. |