条件知识库蕴含什么？
人工智能
2007-05-23 v1
摘要
本文基于非单调推论关系的概念，提出了一种非单调推理的逻辑方法。条件知识库由一组形式为"如果……那么……"的条件断言组成，代表智能体关于世界一般行为方式的显性可反驳知识。我们寻找一个合理的定义，以确定由条件知识库蕴含的所有条件断言集合。在之前的论文中，S. Kraus 和作者定义并研究了"优选"推论关系。他们注意到并非所有优选关系都可视为合理的推理过程。本文研究了一类更受限的推论关系——"理性"关系。论证了任何合理的非单调推理过程都应定义一种理性关系。证明了理性关系恰好是那些可用"分级"优选模型或（非标准）概率模型表示的关系。定义了条件知识库的理性闭包，并证明它为标题问题提供了一个吸引人的答案。证明了该闭包运算的整体性质：它是累积运算。它在计算上也是可处理的。本文假设底层语言是命题逻辑。
引用
@article{arxiv.cs/0202022,
title = {What does a conditional knowledge base entail?},
author = {Daniel Lehmann and Menachem Magidor},
journal= {arXiv preprint arXiv:cs/0202022},
year = {2007}
}
备注
Preliminary version presented at KR'89. Minor corrections of the Journal Version