本文提出了利用Here-and-There的逻辑来实现ordered disjunction,并探究了其在分裂程序中的应用和性质,还和Karger等人的一个扩展进行了比较。
Nov, 2010
探讨了分布语义的适用范围和计算查询概率的有效性,提出了用于将概率程序转换为普通程序,并应用SLG分辨率和答案包含进行计算的算法“基于表和答案包 计算的概率推理(PITA)”来计算查询的概率。
Oct, 2011
本文利用二元逻辑模型提出了半稳定性和阶段扩展的特征,定义了GL支持和GL阶段模型,这两类逻辑模型是论证语义范围的逻辑编程对应概念。
Feb, 2016
本文研究了抽象论证、非单调逻辑、论证框架、稳定扩展和松弛相容扩展之间的关系,比较了松弛稳定、状态和松弛相容扩展之间的异同,并阐述了松弛相容扩展的对称性。
Jul, 2019
本文研究了计算认知学中的弱完成度语义(WCS)和已经建立的答案集语义(ASP)之间的对应关系,并比较了它们在不同逻辑转换下的模型,作者通过心理实验的形式阐述了它们的差异并提供了从WCS到ASP的逻辑程序翻译方法。
Oct, 2019
本研究提出了一种新的、基于模型理论的方法来确定 Logic Programs with Ordered Disjunction (LPODs) 中最受欢迎的模型,从而克服了现有语义的不足。而且,新的方法可以用来定义一个包含有序和经典析取的自然类别的逻辑程序的语义,这使得程序不仅可以表达严格的优先级,还可以表达同样优先级的选择。
Aug, 2021
该研究论文概述了与稳定模型语义下逻辑程序更新相关的主要方法和挑战,探讨了在信仰和规则更新方面存在的一些区别。
Dec, 2021
本文在四价逻辑中提出了逻辑程序的强等价的纯逻辑特征,并证明了该等价性的coNP完备性。
May, 2022
本文引入了游戏论语义(GTS)至定性选择逻辑(QCL),通过有序析取符扩展传统命题逻辑,以表达偏好。我们首先证明游戏语义可以自然地捕捉现有的基于程度的QCL语义,然后展示游戏语义可以用于推导QCL语言的新语义,特别地,我们提出了一种新的语义,利用了GTS否定,并通过这种方式避免了现有QCL语义中出现的否定问题。
Sep, 2022
本文提出了一个概括的方法来定义渐进论证语义的多值优先解释方式,其中包括有关论据的条件推理和布尔组合,以及有关偏好解释的渐进语义的基于概率的语义,并提出了一个有限值情况下的答案集编程方法来进行多值论证语义的条件推理。
Dec, 2022