A logic for default reasoning

R. Reiter
<span title="">1980</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/weoplee4x5anpi62cco5v4higa" style="color: black;">Artificial Intelligence</a> </i> &nbsp;
The need to make default assumptions is frequently encountered in reasoning'about incompletely specified worlds. Inferences sanctioned by default are best viewed as beliefs which may well be modified or rejected by subsequent observations. It is this property which leads to the non.monotonJcity of any logic of defaults. In this paper we propose a logic for default reasoning. We then specialize our treatment to a very large class of commonly occurring defaults. For this class we develop a
more &raquo; ... e proof theory and show how to interface it with a top down resolution theorem prover. Finally, we provide criteria under which the revision of derived beliefs must be effected. The gods did not reveal, from the beginning, All things to us, but in the course of time Through seeking we may learn and know things better. But as for certain truth, no man has known it, Nor shall he know it, neither of the gods Nor yet of all the things of which I speak. For even if by chance he were to utter The final truth, he would himself not know it: For all is but a woven web of guesses. Xenophanes
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0004-3702(80)90014-4">doi:10.1016/0004-3702(80)90014-4</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zajetvo6xndovbzbnhjdxkhwxe">fatcat:zajetvo6xndovbzbnhjdxkhwxe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809020036/http://www.cs.nott.ac.uk/~psznza/G52HPA/articles/Reiter:80a.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/93/bd/93bdca51c9c0477121ba9708ffe2747855b93aef.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0004-3702(80)90014-4"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>