[論文レビュー] 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

ひとこと要約

このプロceedイングス・ボリュームは、第8回国際非単調推論ワークショップ（NMR2000）で発表された研究をまとめたもので、非単調論理における理論的進展と実用的応用をカバーしている。帰納的推論、信念修正、行動表現、計画、不確実性のモデリング、実装済みシステムの分野における発展が強調されており、過去10年間における分野の主要な進歩を反映している。

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ワークショップで発表された非単調推論分野における最近の理論的・実用的進展を記録し、広報すること。
• 直近10年間における非単調論理分野の発展を包括的に概説すること、特に表現力と計算複雑性に関する結果を含む。
• 非単調推論が、信念修正、帰納、行動に関する推論、計画、不確実性といった主要なAI分野において果たす役割を検討すること。
• 論理プログラミング、制約充足、スケジューリング分野における実装済みシステムおよび応用を提示・評価すること。

提案手法

• NMR2000ワークショップから査読済み論文を収集し、専門セッションを反映するテーマ別セクションに編成する。
• 貢献を6つのテーマ別トラックに分類：一般非単調推論、帰納的推論、信念修正、行動と計画、システムデモ、不確実性フレームワーク。
• 非単調論理およびその性質の形式的分析を通じて理論的貢献を評価する。
• システム記述とライブデモンストレーションを通じて実用的システムと応用を提示する。
• 非単調形式的体系の計算複雑性と表現力を分析し、その実現可能性と適用範囲を評価する。
• 計画や制約充足といった現実世界のAIタスクへの非単調推論の統合を調査する。

実験結果

リサーチクエスチョン

• RQ1 非単調推論の背後にある理論的原則は何か。また、過去10年間でどのように進化してきたか。
• RQ2 非単調論理は信念修正をどのように扱うのか。最近の進展の実用的意味は何か。
• RQ3 非単調推論は、知識ベースシステムにおける効果的な帰納的推論をどのように支援できるか。
• RQ4 非単調形式的体系は行動をどのようにモデリングし、自動計画をどのように支援できるか。
• RQ5 非単調推論システムに不確実性を統合するための最も効果的なフレームワークは何か。

主な発見

• 非単調推論を規定する抽象的原則を理解する点で顕著な理論的進展が達成された。特に、デフォルト推論と反証可能性推論の形式化が進んだ。
• 非単調論理の表現力と計算複雑性に関する重要な結果が得られ、その適用範囲の境界が明確になった。
• 非単調推論が信念修正、帰納、行動に関する推論において果たす役割がさらに明確化され、AIシステムへの統合が促進された。
• 計画、スケジューリング、論理プログラミング、制約充足といった分野で、多数の強固な非単調推論システムが開発され、実際に応用された。
• 非単調推論に不確実性フレームワークを統合することが実現可能で効果的であることが示され、現実世界の推論をより現実的にモデリングできるようになった。