提出不确定解释的逻辑框架，用于推理语义蕴含与证据支持信念

A Logic of Uncertain Interpretation

• 构建不确定解释的逻辑系统，统一处理语义蕴含与信念推理
• 定义基于Dempster-Shafer理论的证据支持信念，保持保守性
• 适用于需处理模糊或不完整信息的推理场景

我们引入一种用于推理'不确定解释'的逻辑框架，并研究两个关键应用：一种捕捉某种'语义蕴含'的新蕴涵语义，以及一种以Dempster-Shafer信念函数形式呈现的保守型'证据支持信念'。该框架能够建模在信息不完整或不确定性存在时的合理推理行为，为自然语言理解、知识表示和不确定性推理提供形式化基础。

原文摘要 · Abstract (English)

We introduce a logical framework for reasoning about "uncertain interpretations" and investigate two key applications: a new semantics for implication capturing a kind of "meaning entailment", and a conservative notion of "evidentially supported" belief that takes the form of a Dempster-Shafer belief function.

Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。