-
题名结构化论辩理论在医疗决策中的应用研究
- 1
-
-
作者
崔建英
安宇辉
-
机构
中山大学逻辑与认知研究所、哲学系
-
出处
《学术研究》
北大核心
2025年第4期42-48,177,共8页
-
基金
国家社会科学基金重大项目“语用逻辑的深度拓展与应用研究”(19ZDA042)
广东省哲学社会科学规划项目“基于语用论辩论证理论的同行评议研究”(GD24CZX02)的阶段性成果。
-
文摘
神经网络被广泛应用于决策支持系统,但其无法对决定(从输入到输出)给出明确解释,由此被称作人工智能的“黑盒”效应。结构化论辩理论通过论证间的支持与击败关系解释输入—输出(从前提到结论),有助于合乎伦理规范和可解释医疗决策模型的设计。我们基于结构化论辩框架P-ASPIC+构建医疗决策模型MDM,将其应用于一个医疗决策案例的刻画:首先,将患者的就诊信息量化并存储到知识库;其次,构造推理框架,借助求解器TOAST计算在给定语义下的可接受论证集;最后,通过解释生成器生成文本解释辅助主体医疗决策。结构化论辩框架建构决策模型的方法,既可为决策者提供合适的选择,也可清晰阐明这些选择背后的支持理由,提高了决策的透明度和可解释性,有助于提升医疗决策的质量和信任度。
-
关键词
标准可能性逻辑
医疗决策模型
结构化论辩框架
-
分类号
B81-05
[哲学宗教—逻辑学]
-
-
题名一种渐进式论辩语义的论证博弈模型
被引量：1
- 2
-
-
作者
魏斌
-
机构
西南政法大学
-
出处
《计算机科学》
CSCD
北大核心
2017年第4期256-262,294,共8页
-
基金
重庆市教委科学技术项目(KJ1500103)资助
-
文摘
在可计算论辩模型中,论辩语义的证明理论解决如何判定给定论辩语义中某个论证的证成状态的问题,这通常需要建构与之对应的论证博弈模型。论证博弈发生在正方和反方的论证交互过程中,正反双方都是通过给出攻击论证来质疑对方的论证和辩护己方的论证,正方只有在论证博弈中获胜才能使其初始论证获得确定的证成状态。文中定义了一种被称为BRD-论辩语义的渐进式论辩语义,不同于Dung的抽象论辩语义,它是在结构化论辩框架ASPIC+中嵌入了一种用于计算论证的强度和证成度的循环语义。为了给出该语义的证明理论,建构了与之对应的论证博弈模型。
-
关键词
结构化论辩框架
渐进式论辩语义
论证博弈
-
Keywords
Structured argumentation framework
Gradual argumentation semantics
Argument game
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
