基于环境更新的条件弱实在必要性逻辑理论
本文介绍了现有应答集程序更新的语义学,指出两种方法存在的限制,并主张弱否定和强否定应该在更新的上下文中是平等的。我们确定了约束它们交互作用的原则。最后,我们扩展了最先进的语义,直接支持强否定,并展示了它满足所概述的原则,以及一系列其他的优秀特性。
Apr, 2014
该文以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
本文研究了计算认知学中的弱完成度语义(WCS)和已经建立的答案集语义(ASP)之间的对应关系,并比较了它们在不同逻辑转换下的模型,作者通过心理实验的形式阐述了它们的差异并提供了从WCS到ASP的逻辑程序翻译方法。
Oct, 2019
本文从收缩原则出发,旨在找到符合条件信念的收缩特性。我们考虑四组不同的迭代原则来描述条件信念的动态变化,并提供了其语义特征定理和公式化表述,以约束信念与条件信念的变化。
Feb, 2022
本文介绍并探究了一个有关条件句的形式化方法,该方法可以定义一类广泛的推理系统。我们提出的语义适用于非满足与经典逻辑相关联的封闭性属性的条件句的结构性分析。
Feb, 2022
本文讨论了本体必然性的不同形式以及弱本体必然性、强本体必然性、弱认识必然性和强认识必然性的逻辑形式,并提出了对这些必然性的完整逻辑理论,其中弱本体必然性涉及了预期时间线的可达性,在代理人的本体规则确定的预期时间线中,而强本体必然性则涉及到无法挑战的本体规则所确定的可接受时间线中。
Aug, 2022
本文提出了一个概括的方法来定义渐进论证语义的多值优先解释方式,其中包括有关论据的条件推理和布尔组合,以及有关偏好解释的渐进语义的基于概率的语义,并提出了一个有限值情况下的答案集编程方法来进行多值论证语义的条件推理。
Dec, 2022
通过对非平面ABA的扩展,我们建立了假设为LP中的不可行否定的稳定模型语义,以及在LP中的否定失效头部的集合稳定ABA语义之间的对应关系。
May, 2024