[論文レビュー] Risk Agoras: Dialectical Argumentation for Scientific Reasoning

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

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.

研究の動機と目的

• 知能システムが科学的分野、特に化学物質の発がん性について推論できる形式的枠組みを開発すること。
• 科学的不確実性と矛盾する証拠を、構造的で定性的な方法で表現する課題に対処すること。
• 科学的探求と議論の哲学的原則に根拠を置くことで、科学的基準と整合性を保つこと。
• 新たな証拠の提示によって結論を撤回できる可能性を有する、撤回可能な推論（defeasible reasoning）を論証メカニズムを通じて実現すること。
• 透明で監査可能な科学的推論を可能にする形式的モデルを提供すること。複雑で不確実な分野において有効である。

提案手法

• エージェントが科学的証拠に基づいて主張を提示し、それを批判する対話的論証モデルを採用する。
• 証拠から発がん性に関する結論への撤回可能な推論としての主張を構造化し、仮定と反論を明示的に表現する。
• 結論を一時的・撤回可能なものとして扱うことで、科学的不確実性をモデル化し、新たな証拠の出現に伴い見直しを可能にする。
• 論証の妥当性を攻撃関係と優先順位順序に基づいて定義する、形式的な意味論を組み込む。
• 複数のエージェント（例：研究者や機関）が、構造的な対話の中で主張を提示・擁護・反論できる仕組みをサポートする。
• 論理的整合性と認識的強度に基づき、論証の妥当性を決定するための対話的証明手順を用いる。

実験結果

リサーチクエスチョン

• RQ1 現実の科学的議論を反映する方法で、不確実性下における科学的推論を形式化するにはどうすればよいか？
• RQ2 化学物質の発がん性に関する矛盾する科学的主張を、どのようなメカニズムで表現・解決できるか？
• RQ3 透明で監査可能な科学的証拠の評価を支援するため、撤回可能な推論をどのように構造化できるか？
• RQ4 論証枠組みは、科学的探求の対話的性質をどのようにモデル化できるか？
• RQ5 多様な科学的証拠の統合を維持しながら、論理的整合性を保つにはどうすればよいか？

主な発見

• Risk Agoras枠組みは、対話的論証を用いて発がん性に関する科学的推論を効果的にモデル化し、不確実性と対立の構造的取り扱いを可能にした。
• 新たな証拠の出現に伴い、結論の撤回や見直しが可能な、撤回可能な結論の表現をサポートする。
• 科学的基準に即した推論と証拠評価の形式的意味論を提供し、科学的推論の妥当性を反映する。
• 複数のエージェントが構造的な論証に参加でき、科学的議論や合意形成のシミュレーションを可能にする。
• 証拠が不完全または矛盾する複雑な現実世界の科学的分野において、本アプローチの実現可能性が示された。
• 哲学的科学的探求の原則に形式的に根拠を置くことで、枠組みの信頼性と解釈可能性が向上した。