[论文解读] 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.

研究动机与目标

• 开发一种用于智能系统推理科学领域的正式框架，特别是化学致癌性领域。
• 解决以结构化、定性方式表示科学不确定性和相互冲突证据的挑战。
• 将推理过程建立在科学探究与话语的哲学原则上，确保与科学规范保持一致。
• 通过论证机制实现可废止推理——即在新证据出现时可撤回结论。
• 提供一个正式模型，支持在复杂、不确定领域中实现透明、可审计的科学推理。

提出的方法

• 该框架采用辩证论证模型，其中各方基于科学证据提出并挑战论证。
• 论证被结构化为从证据到致癌性结论的可废止推理，明确表示假设和反驳。
• 通过将结论视为可能可废止来建模科学不确定性，从而在新证据出现时允许结论的修订。
• 引入论证的形式语义，基于攻击关系和偏好排序来定义论证的可接受性。
• 该框架支持多个参与方（例如研究人员或机构），他们可以在结构化对话中提出、辩护或攻击论证。
• 采用辩证证明过程，根据逻辑一致性和认识强度来确定哪些论证是可接受的。

实验结果

研究问题

• RQ1 如何以反映真实科学话语的方式，对不确定条件下的科学推理进行形式化？
• RQ2 哪些机制能够实现对化学致癌性相关相互冲突科学主张的表示与解决？
• RQ3 如何结构化可废止推理，以支持科学证据的透明、可审计评估？
• RQ4 论证框架在何种方式下能够建模科学探究的辩证性质？
• RQ5 该框架如何支持多样科学证据的整合，同时保持逻辑一致性？

主要发现

• Risk Agoras 框架成功运用辩证论证建模了致癌性相关的科学推理，实现了对不确定性和冲突的结构化处理。
• 该框架支持可废止结论的表示，使得在新证据出现时可撤回或修订结论。
• 它提供了反映科学推理与证据评估规范的形式语义，以定义论证的可接受性。
• 该模型支持多方参与结构化论证，模拟科学辩论与共识形成过程。
• 该方法在处理证据不完整或相互冲突的复杂现实科学领域中表现出可行性。
• 该框架在科学探究的哲学原则上具有正式基础，增强了其可信度与可解释性。