非单调逻辑与语义

Daniel Lehmann

非单调逻辑与语义

人工智能 2007-05-23 v2 计算机科学中的逻辑逻辑

作者: Daniel Lehmann

摘要

塔尔斯基给出了演绎推理的通用语义：若公式 a 可从公式集合 A 中推导出，则 a 在所有包含 A 中每个元素的模型中都成立。考虑更宽松的语义：若公式 a 可从公式集合 A 中推导出，则 a 在所有"受偏好的"模型中都成立，其中 A 中的每个元素都成立。Shoham 提议以部分序关系对模型进行排序来定义"受偏好"模型的概念。本文描述了一种更一般的语义，基于自然选择函数的属性。这一语义被证明等价于基于比较模型集合相对"重要性"的语义，实际上相当于一种定性概率度量。由等价语义定义的因果运算随后通过一种弱化塔尔斯基属性的方式进行刻画，其中单调性要求被取代为三个较弱的条件。经典命题联结词在非单调环境下通过自然的引入-消除规则进行刻画。即使在非单调环境中，也仍可获得经典命题逻辑，从而表明单调性并非证明经典命题联结词所必需。

关键词

非单调逻辑语义 Tarski语义受偏好模型选择函数

引用

@article{arxiv.cs/0202018,
  title  = {Nonmonotonic Logics and Semantics},
  author = {Daniel Lehmann},
  journal= {arXiv preprint arXiv:cs/0202018},
  year   = {2007}
}

备注

28 pages. Misprint corrected 15/04/02

非单调逻辑与语义

摘要

关键词

引用

备注

相关论文