Scifaro

中文

特征化推理：逻辑属性

人工智能 2007-05-23 v1

作者: Daniel Lehmann

在 arXiv 上查看 ↗ PDF ↗

摘要

特征化推理假设当前情境是某种类型的情境，并且具有与该类型情境通常相关的属性。这属于最基本的非单调推理形式之一。提出一种特征化推理的形式模型并研究该形式推理的逻辑属性。在弱假设下，证明特征化推理是 cumulative 的。

关键词

特征化推理非单调推理 cumulative 推理逻辑属性默认逻辑

引用

@article{arxiv.cs/0203004,
  title  = {Stereotypical Reasoning: Logical Properties},
  author = {Daniel Lehmann},
  journal= {arXiv preprint arXiv:cs/0203004},
  year   = {2007}
}

备注

Presented at Fourth Workshop on Logic, Language, Information and Computation, Fortaleza (Brasil), August 1997