[논문 리뷰] Risk Agoras: Dialectical Argumentation for Scientific Reasoning

Peter McBurney, Simon Parsons|arXiv (Cornell University)|2013. 01. 16.

Semantic Web and Ontologies참고 문헌 23인용 수 38

한 줄 요약

이 논문은 화학물질의 발암성 평가에서의 불확실성과 갈등을 모델링하기 위해 다이알렉틱적 논증을 사용하는 Risk Agoras라는 공식적 프레임워크를 소개한다. 철학적 과학 논의 원리와 논증 이론을 통합함으로써, 이 프레임워크는 과학적 증거에 대한 정성적이고 취약한 추론을 가능하게 하여, 불확실성 하에서 경쟁하는 주장을 체계적으로 평가하는 데 기여한다.

ABSTRACT

We propose a formal framework for intelligent systems which can reason about scientific domains, in particular about the carcinogenicity of chemicals, and we study its properties. Our framework is grounded in a philosophy of scientific enquiry and discourse, and uses a model of dialectical argumentation. The formalism enables representation of scientific uncertainty and conflict in a manner suitable for qualitative reasoning about the domain.

연구 동기 및 목표

• 지능형 시스템이 과학 분야, 특히 화학물질의 발암성에 대해 추론할 수 있는 공식적 프레임워크를 개발하기 위해.
• 과학적 불확실성과 상충하는 증거를 체계적이고 정성적으로 표현하는 데 도전하는 데 위해.
• 과학적 탐구와 논의의 철학적 원칙에 기반하여 추론 과정을 정립함으로써 과학적 기준과의 일치를 확보하기 위해.
• 새로운 증거가 제시될 경우 결론을 철회할 수 있는 취약한 추론을 논증 메커니즘을 통해 가능하게 하기 위해.
• 복잡하고 불확실한 영역에서 투명하고 감사 가능한 과학적 추론을 지원하는 공식적 모델을 제공하기 위해.

제안 방법

• 프레임워크는 과학적 증거에 기반하여 주장 제시와 반박을 수행하는 에이전트를 포함하는 다이알렉틱적 논증 모델을 사용한다.
• 주장은 증거에서 발암성에 대한 결론으로의 취약한 추론으로 구조화되며, 가정과 반박이 명시적으로 표현된다.
• 결론이 취약할 수 있도록 처리함으로써 과학적 불확실성을 모델링하고, 새로운 증거가 나타날 경우 수정이 가능하도록 한다.
• 공격 관계와 선호 순서에 기반하여 주장의 수용 가능성을 정의하는 논증의 공식적 의미론을 통합한다.
• 연구자나 기관과 같은 다수의 에이전트가 구조화된 대화에서 주장 제안, 방어, 반박을 수행할 수 있도록 지원한다.
• 논리적 일관성과 지식적 강도를 기반으로 하여 어떤 주장이 수용 가능한지를 판단하기 위한 다이알렉틱적 증명 절차를 사용한다.

실험 결과

연구 질문

• RQ1 실제 과학적 논의를 반영하는 방식으로 불확실성 하에서의 과학적 추론을 어떻게 공식화할 수 있는가?
• RQ2 화학물질의 발암성에 대한 상충하는 과학적 주장을 어떻게 표현하고 해결할 수 있는가?
• RQ3 투명하고 감사 가능한 과학적 증거 평가를 지원하기 위해 취약한 추론을 어떻게 체계화할 수 있는가?
• RQ4 논증 프레임워크는 과학적 탐구의 다이알렉틱적 성격을 어떻게 모델링할 수 있는가?
• RQ5 다양한 과학적 증거를 통합하면서도 논리적 일관성을 유지할 수 있도록 프레임워크는 어떻게 지원할 수 있는가?

주요 결과

• Risk Agoras 프레임워크는 다이알렉틱적 논증을 사용하여 발암성에 대한 과학적 추론을 성공적으로 모델링하였으며, 불확실성과 갈등을 체계적으로 다룰 수 있도록 하였다.
• 프레임워크는 취약한 결론의 표현을 지원하여 새로운 증거가 제시될 경우 철회 또는 수정이 가능하도록 하였다.
• 과학적 추론과 증거 평가의 과학적 기준을 반영하는 주장 수용 가능성을 위한 공식적 의미론을 제공하였다.
• 다수의 에이전트가 구조화된 논증에 참여할 수 있도록 하여 과학적 논쟁과 공감 형성의 시뮬레이션을 가능하게 하였다.
• 증거가 불완전하거나 상충하는 복잡한 실제 과학 분야에서의 적용 가능성을 입증하였다.
• 프레임워크는 과학적 탐구의 철학적 원칙에 공식적으로 기반하여 있어 신뢰성과 해석 가능성의 향상을 이룩하였다.