A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit <a rel="external noopener" href="https://arxiv.org/pdf/1603.09465v1.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
A New Approach for Revising Logic Programs
[article]
<span title="2016-03-31">2016</span>
<i >
arXiv
</i>
<span class="release-stage" >pre-print</span>
Preserved Fulltext
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
<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>
more »
... 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.
<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>