The complexity of model checking for propositional default logics

Paolo Liberatore, Marco Schaerf
<span title="">2005</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ueo4clepdnbdzhqnuojj57edri" style="color: black;">Data &amp; Knowledge Engineering</a> </i> &nbsp;
Default logic is one of the most widely used formalisms to formalize commonsense reasoning. In this paper we analyze the complexity of deciding whether a propositional interpretation is a model of a default theory for some of the variants of default logic presented in the literature. We prove that all the analyzed variants have the same complexity and that this problem is in general Σ p 2 complete, while it is coNP complete under some restrictions on the form of the defaults.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.datak.2005.03.002">doi:10.1016/j.datak.2005.03.002</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/iyd7vci7njeytdxyvaboulzogq">fatcat:iyd7vci7njeytdxyvaboulzogq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20040712130852/http://www.dis.uniroma1.it:80/%7eliberato/papers/libe-scha-98.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/f1/1d/f11d4f459f650a357542f3239cfc54ff5d1d2218.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.datak.2005.03.002"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>