[논문 리뷰] Proceedings of the 8th International Workshop on Non-Monotonic Reasoning, NMR'2000

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

Logic, Reasoning, and Knowledge인용 수 64

한 줄 요약

이 회의록은 제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년간 비단조리 논리 분야의 발전, 특히 표현력과 계산 복잡도 결과를 종합적으로 개괄하기 위해.
• 비단조리 추론이 신념 수정, 추론, 행동에 대한 추론, 계획 수립 및 불확실성과 같은 핵심 인공지능 분야에서 수행하는 역할을 탐색하기 위해.
• 논리 프로그래밍, 제약 만족, 스케줄링 분야에서의 구현된 시스템 및 응용 사례를 제시하고 평가하기 위해.

제안 방법

• NMR2000 워크숍에서 심사된 논문을 수합하여 전문 세션을 반영한 주제별 섹션으로 구성하기.
• 기여 사항을 여섯 가지 주제 트랙으로 분류: 일반 비단조리 추론, 추론, 신념 수정, 행동 및 계획, 시스템 시연, 불확실성 프레임워크.
• 비단조리 논리 및 그 성질에 대한 형식적 분석을 통해 이론적 기여를 평가하기.
• 시스템 기술서 및 라이브 시연을 통해 실용적 시스템과 응용 사례를 제시하기.
• 비단조리 형식 체계의 계산 복잡도 및 표현력을 분석하여 타당성과 적용 범위 평가하기.
• 계획 수립 및 제약 만족와 같은 실제 인공지능 과제에 비단조리 추론의 통합을 조사하기.

실험 결과

연구 질문

• RQ1 비단조리 추론의 이론적 원리는 무엇이며, 지난 10년간 어떻게 진화해 왔는가?
• RQ2 비단조리 논리가 신념 수정을 어떻게 다루며, 최근의 진전이 실용적 의미를 갖는가?
• RQ3 비단조리 추론은 지식 기반 시스템에서 효과적인 추론을 지원하는 데 어떻게 활용될 수 있는가?
• RQ4 비단조리 형식 체계는 행동을 어떻게 모델링하고 자동 계획 수립을 지원할 수 있는가?
• RQ5 비단조리 추론 시스템에 불확실성을 통합하는 데 가장 효과적인 프레임워크는 무엇인가?

주요 결과

• 비단조리 추론을 지배하는 추상적 원리에 대한 이해에서 상당한 이론적 진전이 이루어졌으며, 특히 기본 및 취소 가능한 추론의 형식화 측면에서 두드러졌다.
• 비단조리 논리의 표현력과 계산 복잡도에 관한 핵심 결과가 확립되어 적용 범위의 경계를 명확히 했다.
• 비단조리 추론이 신념 수정, 추론, 행동에 대한 추론에서 수행하는 역할이 더욱 명확히 규명되어 인공지능 시스템에의 통합이 향상되었다.
• 계획 수립, 스케줄링, 논리 프로그래밍, 제약 만족 분야에서 성공적으로 적용된 몇몇 강력한 비단조리 추론 시스템이 개발되었다.
• 비단조리 추론에 불확실성 프레임워크를 통합하는 것이 실현 가능하고 효과적임이 입증되어 실제 세계의 추론을 더 현실적으로 모델링할 수 있게 되었다.