[论文解读] Proceedings of the 8th International Workshop on Non-Monotonic Reasoning, NMR'2000

Chitta Baral, Mirosław Truszczyński|ArXiv.org|Mar 22, 2000

Logic, Reasoning, and Knowledge被引用 64

一句话总结

本论文集汇编了第8届国际非单调推理研讨会（NMR2000）上展示的研究成果，涵盖非单调逻辑的理论进展与实际应用。内容突出展示了在溯因推理、信念修正、动作表示、规划、不确定性建模以及实现系统方面的最新发展，反映了该领域过去十年的关键进展。

ABSTRACT

The papers gathered in this collection were presented at the 8th International Workshop on Nonmonotonic Reasoning, NMR2000. The series was started by John McCarthy in 1978. The first international NMR workshop was held at Mohonk Mountain House, New Paltz, New York in June, 1984, and was organized by Ray Reiter and Bonnie Webber. In the last 10 years the area of nonmonotonic reasoning has seen a number of important developments. Significant theoretical advances were made in the understanding of general abstract principles underlying nonmonotonicity. Key results on the expressibility and computational complexity of nonmonotonic logics were established. The role of nonmonotonic reasoning in belief revision, abduction, reasoning about action, planing and uncertainty was further clarified. Several successful NMR systems were built and used in applications such as planning, scheduling, logic programming and constraint satisfaction. The papers in the proceedings reflect these recent advances in the field. They are grouped into sections corresponding to special sessions as they were held at the workshop: 1. General NMR track 2. Abductive reasonig 3. Belief revision: theory and practice 4. Representing action and planning 5. Systems descriptions and demonstrations 6. Uncertainty frameworks in NMR

研究动机与目标

• 记录并传播在第8届NMR研讨会上展示的非单调推理领域近期理论与实践进展。
• 全面概述过去十年中非单调逻辑的发展，包括表达能力与计算复杂性结果。
• 探讨非单调推理在人工智能关键领域（如信念修正、溯因、动作推理、规划与不确定性）中的作用。
• 展示并评估在逻辑编程、约束满足与调度等领域中实现的系统与应用。

提出的方法

• 收集NMR2000研讨会中经过同行评审的论文，并按主题部分组织，反映专题研讨会的结构。
• 将贡献内容划分为六个主题方向：一般非单调推理、溯因推理、信念修正、动作与规划、系统演示以及不确定性框架。
• 通过非单调逻辑及其性质的正式分析，评估理论贡献。
• 通过系统描述与现场演示，展示实际系统与应用。
• 分析非单调形式化系统的计算复杂性与表达能力，以评估其可行性与适用范围。
• 调查非单调推理在实际人工智能任务（如规划与约束满足）中的集成情况。

实验结果

研究问题

• RQ1 非单调推理的理论基础是什么？过去十年中这些基础发生了怎样的演变？
• RQ2 非单调逻辑如何处理信念修正？近期进展具有哪些实际影响？
• RQ3 非单调推理在基于知识的系统中如何支持有效的溯因推理？
• RQ4 非单调形式化如何建模动作并支持自动规划？
• RQ5 在非单调推理系统中，哪些框架最有效地整合了不确定性？

主要发现

• 在理解支配非单调推理的抽象原理方面取得了显著理论进展，特别是在形式化默认与可废止推理方面。
• 确立了关于非单调逻辑表达能力与计算复杂性的关键结果，明确了其适用范围的边界。
• 非单调推理在信念修正、溯因及动作推理中的作用得到进一步澄清，增强了其在人工智能系统中的集成能力。
• 开发并成功应用了多个稳健的非单调推理系统，涵盖规划、调度、逻辑编程与约束满足等应用领域。
• 非单调推理与不确定性框架的集成被证明是可行且有效的，使现实世界推理的更真实建模成为可能。