非单调推理运算
人工智能
2007-05-23 v1
摘要
A. Tarski提出将无限可导运算的研究作为数学逻辑的核心议题。他认为单调性是所有此类运算的属性。在本文中，我们放宽单调性要求，考虑更一般的运算，即推理运算。这些运算描述了人类和机器在从不完整知识中推理出推断信息时所使用的非单调逻辑。我们确定了多个有趣的推理运算家族。这项对无限推理运算的研究灵感来自 Kraus、Lehmann 和 Magidor 关于有限非单调运算的结果，但本文是自包含的。
引用
@article{arxiv.cs/0202031,
title = {Nonmonotonic inference operations},
author = {Michael Freund and Daniel Lehmann},
journal= {arXiv preprint arXiv:cs/0202031},
year = {2007}
}
备注
54 pages. A short version appeared in Studia Logica, Vol. 53 no. 2 (1994) pp. 161-201