期刊文献+

半结构化概率论辩

Semistructured Probabilistic Argumentation
下载PDF
导出
摘要 群组方法概率论辩是一种建模因知识不确定性而导致论证不确定性的有效方法。目前已有工作假设所有论证之间具有独立性,悬隔了论证之间的支持关系,在语义的解释上造成三个与直觉不甚相符的问题:第一,存在接受一个论证却不接受其子论证的可能性;第二,存在可能接受子论证间相互矛盾的论证;第三,论证受到其子论证的保护作用可能被削弱。针对这三个问题,在群组方法概率论辩的基础上引入直接子论证关系,建立半结构化概率论辩框架,恰当地修补原有群组方法的不足。 In probabilistic argumentation,constellations approach is an effective approach for modelling the uncertainty of arguments resulted from that of underlying knowledge.In existing work,since there is an independence assumption over all arguments,without considering the support relation between arguments,this gives rise to the following three counter intuitive problems.First,it is possible to accept an argument,without accepting its subarguments.Second,it is possible that an argument may contain conflicting subarguments.Third,the defense of an argument from its subarguments is weakened,in the sense that in some possible worlds,an argument can be defended by its subarguments,while in some other worlds not.In this paper,we propose a new model by introducing subargument relationship,which can handle the above problems properly.
作者 陈琛 董惠敏 廖备水 Chen Chen;Huimin Dong;Beishui Liao
出处 《逻辑学研究》 CSSCI 2021年第2期1-21,共21页 Studies in Logic
基金 浙江省自然科学基金项目“可用且高效的概率论辩理论及算法研究”(LY20F030014) 国家社会科学基金青年项目“面向社会交互的道义逻辑研究”(20CZX051) 国家社会科学基金重大项目“新一代人工智能驱动的逻辑学研究”(20&ZD047)。
  • 相关文献

参考文献2

二级参考文献22

  • 1马希文.人工智能中的逻辑问题[J].哲学研究,1985(1):33-39. 被引量:2
  • 2Martin W. A. Caminada,Dov M. Gabbay.A Logical Account of Formal Argumentation[J].Studia Logica (-).2009(2-3)
  • 3S.Modgil,H.Prakken."Reasoning about preferences in structured extended argumentation frameworks"[].Computational Models of Argument;Proceedings of COMMA.2010
  • 4H.Prakken."Intuitions and the modelling of defeasible reasoning:some case studies"[].Proceedings of the Ninth International Workshop on Nonmonotonic Reasoning (NMR-).2002
  • 5B.Verheij."Two approaches to dialectical argumentation:admissible sets and argumentation stages"[].Proceedings of the Eighth Dutch Conference on Artificial Intelligence (NAIC‘ ).1996
  • 6G.A.W.Vreeswijk."An algorithm to compute minimally grounded and admissible defence sets in argument systems"[].Computational Models of Argument;Proceedings of COMMA.2006
  • 7Authored by Mikolaj Podlaszewski. http://argulab.uni.lu/ .
  • 8L.Amgoud,L.Bodenstaff,M.Caminada,P.McBumey,S.Parsons,H.Prakken,J.van Veenen,G.A.W.Vreeswijk.Final Review and Report on Formal Argumentation System[]..2006
  • 9K.Atkinson,T.Bench-Capon.Argumentation and standards of proof[].ICAIL‘ : Proceedings of the th International Conference on Artificial Intelligence and Law.2007
  • 10M.Caminada,Y.Wu."An argument game for stable semantics"[].Logic Journal of the Igpl.2009

共引文献10

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部