演绎非单调推理操作：反单调表示
人工智能
2007-05-23 v1
摘要
我们给出那些非单调推理操作 C 的描述特征，其中 C(X) 可描述为 X 与一些依赖于 X 的额外假设集合 S(X) 的所有逻辑后果的集合（即，X 是 Y 的子集意味着 S(Y) 是 S(X) 的子集）。表示的操作正式特征为大多数已在 Freund-Lehmann(cs.AI/0202031) 中研究过的属性。也提供了 right-absorbing 和 cumulative 操作的类似特征。对于 cumulative 操作，结果与 Freund 的结果密切相关。我们随后讨论如何以规范方式将仆立操作扩展到无限操作，并讨论共紧性属性。我们的结果为非单调演绎操作提供了令人满意的伪紧凑性概念，推广了单调操作紧凑性概念。它们还提供了对任何仆立演绎操作存在无限演绎扩展（Freund-Lehmann 的 Theorem 7.9）的另一种更优雅、更一般的证明。
关键词
引用
@article{arxiv.cs/0203003,
title = {Deductive Nonmonotonic Inference Operations: Antitonic Representations},
author = {Yuri Kaluzhny and Daniel Lehmann},
journal= {arXiv preprint arXiv:cs/0203003},
year = {2007}
}