arXiv:2409.09069cs.LOcs.AI2024-09被引 2
将典型性多值逻辑与LTL结合，刻画系统动态的刚性与可撤销性质。
Temporal Many-valued Conditional Logics: a Preliminary Report
- 基于多值典型性逻辑，引入LTL时间算子
- 支持严格与可撤销的时间属性建模
- 适用于渐进式论证的形式化分析
本文提出一种多值时序条件逻辑。从具有典型性的多值逻辑出发，扩展了线性时序逻辑（LTL）的时间算子，构建了一个能够捕捉系统动态行为的形式体系，涵盖严格与可撤销的时间性质。该形式化方法还可用于渐进式论证的实例化建模。
原文摘要 · Abstract (English)
In this paper we propose a many-valued temporal conditional logic. We start from a many-valued logic with typicality, and extend it with the temporal operators of the Linear Time Temporal Logic (LTL), thus providing a formalism which is able to capture the dynamics of a system, trough strict and defeasible temporal properties. We also consider an instantiation of the formalism for gradual argumentation.
时序逻辑多值逻辑典型性
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。