当前位置: X-MOL 学术Artif. Intell. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models
Artificial Intelligence ( IF 14.4 ) Pub Date : 2021-03-02 , DOI: 10.1016/j.artint.2021.103489
Christoph Beierle , Christian Eichhorn , Gabriele Kern-Isberner , Steven Kutsch

There are multiple ways of defining nonmonotonic inference relations based on a conditional knowledge base. While the axiomatic system P is an important standard for such plausible nonmonotonic reasoning, inference relations obtained from system Z or from c-representations have been designed which go beyond system P by selecting preferred models for inference. For any class of models M, we propose the notion of weakly skeptical inference, first introduced in an ECAI conference paper this article revises and extends, that lies between skeptical and credulous inference with respect to M. Weakly skeptical c-inference properly extends skeptical c-inference, but avoids disadvantages of a too liberal credulous c-inference. We extend the concepts of skeptical, weakly skeptical, and credulous c-inference modes by taking models obtained from different minimality criteria into account. We illustrate the usefulness of the obtained inference relations and show that they fulfill various desirable properties put forward for nonmonotonic reasoning. Furthermore, we elaborate in detail the interrelationships among the inference relations when taking the different inference modes and various classes of minimal models into account.



中文翻译:

由最小模型类引起的怀疑,弱怀疑和轻率推理的性质和相互关系

有多种基于条件知识库定义非单调推理关系的方法。虽然公理系统P是此类合理的非单调推理的重要标准,但通过选择首选的推理模型,已设计了从系统Z或从c表示获得的推理关系,该推理关系超出了系统P。对于任何模型M,我们都提出了弱怀疑性推理的概念,该思想首先在ECAI会议论文中进行了介绍,本文对此进行了修改和扩展,该模型介于关于M的怀疑性和可信推理之间。。较弱的怀疑性c推理适当地扩展了怀疑性c推理,但避免了过于自由的轻信性c推理的缺点。通过考虑从不同极小值标准获得的模型,我们扩展了怀疑,弱怀疑和轻信的c推理模式的概念。我们说明了所获得的推理关系的有用性,并表明它们具有非单调推理所提出的各种理想性质。此外,当考虑到不同的推理模式和各种类别的最小模型时,我们详细阐述了推理关系之间的相互关系。

更新日期:2021-03-09
down
wechat
bug