Advanced Tools for Graph-Based Formal Argumentation

基于图的形式推理的高级工具

• 批准号: 226818978
• 负责人: Professor Dr. Gerhard Brewka
• 金额: --
• 依托单位: Institut für Informationssysteme
• 依托单位国家: 德国
• 项目类别: Research Grants
• 财政年份: 2013
• 资助国家: 德国
• 起止时间: 2012-12-31 至 2017-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/226818978?language=en
• 关键词: Advanced; Tools; Graph; Based; Formal

This follow-up project will investigate novel graph-based methods and tools for formal argumentation. We will transfer theoretical results established in the predecessor project for abstract dialectical frameworks to arbitrary labelled argument graphs. We investigate corresponding algorithms and implement flexible and user friendly tools which we evaluate in two domains, legal reasoning and online debating.

这个后续项目将研究新的基于图形的正式论证方法和工具。我们将把在前一个项目中建立的抽象辩证框架的理论结果转移到任意标记的论证图。我们研究了相应的算法，并实现了灵活和用户友好的工具，我们在两个领域进行了评估，法律推理和在线辩论。