Belief, provability, and logic programs

José Júlio Alferes, Luís Moniz Pereira
<span title="">1995</span> <i title="Informa UK Limited"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/5dxceprzerhvngc2dulzkx45le" style="color: black;">Journal of Applied Non-Classical Logics</a> </i> &nbsp;
The main goal of this paper is to establish a nonmonotonic epistemic logic with two modalities -provability and belief -capable of expressing and comparing a variety of known semantics for extended logic programs, and clarify their meaning. In particular we present here, for the first time, embeddings into epistemic logic of logic programs extended with a second kind of negation under the wellfounded semantics, and contrast them to the recent embeddings into autoepistemic logics of such
more &raquo; ... under stable models based semantics. Because of the newly established relationship between our epistemic logic and extended program semantics, the former benefits from the procedures and implementations of the latter, and can be applied to at least the same class of AI problems that the latter can. Moreover, one issue of epistemic logic introduced here, belief revision, can profit from adapting techniques employed by the latter for contradiction removal. Furthermore, the language of the epistemic logic presented here being more general than that of extended programs, it offers a basic tool for further generalizations of the latter, for instance regarding disjunction and modal operators.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1080/11663081.1995.10510842">doi:10.1080/11663081.1995.10510842</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/y2s4fqionjg6fnkbmysl7p5ixe">fatcat:y2s4fqionjg6fnkbmysl7p5ixe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190227021839/http://pdfs.semanticscholar.org/889d/0748aa8bfac0cdd79a0ae55253b20a91c099.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/88/9d/889d0748aa8bfac0cdd79a0ae55253b20a91c099.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1080/11663081.1995.10510842"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> tandfonline.com </button> </a>