优先非单调命题团队逻辑入门
通过构建一个与参数化规模相近的逻辑程序,将传统参数化的argumentation framework转化为disjunctive logic程序,从而找出适合的stable model,可以直接关联到非单调逻辑推理。
Mar, 2008
我们研究ABA+的性质,ABA+是一个扩展了假设为基础的论证(ABA)的形式化,具有偏好处理机制。我们确定了ABA +语义表现出的理想特性,这为ABA+在论证和非单调推理中满足一些(可以说是)理想的偏好处理原则以及ABA+的非单调推理性质奠定了基础。
Mar, 2016
本文提出了一种高度可表达的有限置信逻辑,可以进行可计算的推理,在一阶逻辑上保持可判定性,在命题逻辑上保持可操作性,并引入一种采用此逻辑作为表示语言的推理系统,该系统展示了有限置信的好处。
May, 2017
该文以ASPIC+形式主义为基础,构建了带偏好的论证的通用框架,并通过改进定义冲突自由的论据集,适应更广泛的逻辑实例化需求。最后,该框架被表明适应塔斯基逻辑实例化并通过古典逻辑审视,证明了该框架的广泛性。
Apr, 2018
Propositional Typicality Logic is a logic enriched with a typicality operator and studied in terms of ranked models like KLM approach; the semantics introduces non-monotonic features leading to the development of three different (semantic) versions of entailment based on different notions of minimality.
Sep, 2018
该论文提出了一种基于Rational Closure的KLM优先逻辑异常处理的优先方法,它通过利用Multi Preference Closure对不同可推翻属性的继承进行了处理,在语义视角下实现了有理性的推论关系,它比Rational Closure更强,但与Lexicographic Closure无法比拟。
May, 2019
该论文探讨了大脑是贝叶斯机器的假设,给出了一种基于 Bayesian 算法和数据结构的逻辑推理方法,并详细描述了它们的抽象推理属性及优点。
May, 2020
本研究提出了一种新的、基于模型理论的方法来确定 Logic Programs with Ordered Disjunction (LPODs) 中最受欢迎的模型,从而克服了现有语义的不足。而且,新的方法可以用来定义一个包含有序和经典析取的自然类别的逻辑程序的语义,这使得程序不仅可以表达严格的优先级,还可以表达同样优先级的选择。
Aug, 2021
本文介绍并探究了一个有关条件句的形式化方法,该方法可以定义一类广泛的推理系统。我们提出的语义适用于非满足与经典逻辑相关联的封闭性属性的条件句的结构性分析。
Feb, 2022
通过对非平面ABA的扩展,我们建立了假设为LP中的不可行否定的稳定模型语义,以及在LP中的否定失效头部的集合稳定ABA语义之间的对应关系。
May, 2024