A New Approach for Revising Logic Programs [article]

Zhiqiang Zhuang, James Delgrande, Abhaya Nayak, Abdul Sattar
<span title="2016-03-31">2016</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Belief revision has been studied mainly with respect to background logics that are monotonic in character. In this paper we study belief revision when the underlying logic is non-monotonic instead--an inherently interesting problem that is under explored. In particular, we will focus on the revision of a body of beliefs that is represented as a logic program under the answer set semantics, while the new information is also similarly represented as a logic program. Our approach is driven by the
more &raquo; ... bservation that unlike in a monotonic setting where, when necessary, consistency in a revised body of beliefs is maintained by jettisoning some old beliefs, in a non-monotonic setting consistency can be restored by adding new beliefs as well. We will define a syntactic revision function and subsequently provide representation theorem for characterising it.
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1603.09465v1">arXiv:1603.09465v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/eifb27oyfngfblfhuf4tnk2bcy">fatcat:eifb27oyfngfblfhuf4tnk2bcy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200911221135/https://arxiv.org/pdf/1603.09465v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/dc/09/dc09a74c2a27b3dcff874c2ecb73665d44a9c3e9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1603.09465v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>