ICCMA公司
国际辩论计算模型竞赛
主页 2015年竞赛 规则 参与 重要日期 解算器 结果 组织 2017年竞赛 2019年比赛 2021年竞赛 2023年竞赛 2025年竞争 联系人

与合作

2015年形式论证理论与应用国际研讨会（TAFA'15）



支持单位：

结果

比赛中解决了以下计算任务：

  1. 给出一个抽象的论证框架，确定一些扩展（SE）
  2. 给定一个抽象的论证框架，确定所有扩展（EE）
  3. 给出一个抽象的论证框架和一些论证，决定给定的论证是否可信推断（DC）
  4. 给出一个抽象的论证框架和一些论证，决定给定的论证是否是怀疑推理的（DS）

上述计算任务将根据以下标准语义进行解决：

  1. 完全语义（CO）
  2. 首选语义（PR）
  3. 固定语义（GR）
  4. 稳定语义（ST）

对于计算任务和语义的每个组合，支持此组合的所有解算器的最终排名如下：

SE-CO公司
  1. CoQuiAAS公司
  2. ASGL公司
  3. ASPARTIX-D公司
  4. ConArg公司
  5. 精氨酸盐
  6. ArgTools公司
  7. LabSAT解算器
  8. 钻石
  9. 卡奈德（Carneades）
  10. 邓吉尔
 SE-PR公司
  1. 塞加蒂克斯
  2. ArgSemSAT卫星
  3. 实验室卫星解决方案
  4. ASPARTIX-V公司
  5. CoQuiAAS公司
  6. ASGL公司
  7. ConArg公司
  8. ASPARTIX-D公司
  9. ArgTools公司
  10. 全球资源信息系统
  11. 钻石
  12. 邓吉尔
    卡奈德（Carneades）
 SE-GR公司
  1. CoQuiAAS公司
  2. 卡奈德（Carneades）
  3. 实验室卫星解决方案
  4. ArgSemSAT卫星
  5. ArgTools公司
  6. 全球资源信息系统
  7. ASGL公司
  8. ASPARTIX-D公司
  9. ConArg公司
  10. 邓吉尔
  11. 钻石
 SE-ST公司
  1. ASPARTIX-D公司
  2. ArgSemSAT卫星
  3. 实验室卫星解决方案
  4. CoQuiAAS公司
  5. ConArg公司
  6. ASGL公司
  7. 钻石
  8. ArgTools公司
  9. ProGraph软件
  10. 邓格尔
    卡奈德（Carneades）
    亚萨合会
EE-CO公司
  1. ASPARTIX-D公司
  2. ArgSemSAT卫星
  3. CoQuiAAS公司
  4. 实验室卫星解决方案
  5. ASGL公司
  6. ConArg公司
  7. 钻石
  8. ArgTools公司
  9. 邓吉尔
    卡奈德（Carneades）
 EE-PR公司
  1. 塞加蒂克斯
  2. ArgSemSAT卫星
  3. CoQuiAAS公司
  4. ASPARTIX-V公司
  5. 实验室卫星解决方案
  6. 预MaxSAT
  7. ASGL公司
  8. ASPARTIX-D公司
  9. ConArg公司
  10. ArgTools公司
  11. ZJU-ARG公司
  12. 全球资源信息系统
  13. 钻石
  14. 邓吉尔
    卡奈德（Carneades）
 EE-GR公司
  1. CoQuiAAS公司
  2. 卡奈德（Carneades）
  3. LamatzSolver公司
  4. LabSAT解算器
  5. ArgSemSAT卫星
  6. ZJU-ARG公司
  7. ArgTools公司
  8. 全球资源信息系统
  9. ASGL公司
  10. 天冬氨酸-D
  11. ConArg公司
  12. 邓吉尔
  13. 钻石
 EE-ST公司
  1. ASPARTIX-D公司
  2. ArgSemSAT卫星
  3. CoQuiAAS公司
  4. ASGL公司
  5. ConArg公司
  6. ArgTools公司
  7. 实验室卫星解决方案
  8. 钻石
  9. 邓吉尔
    卡奈德（Carneades）
    亚萨合会
DC-CO公司
  1. ArgSemSAT卫星
  2. ASPARTIX-D公司
  3. 实验室卫星解决方案
  4. CoQuiAAS公司
  5. ASGL公司
  6. ConArg公司
  7. 钻石
  8. ArgTools公司
  9. 卡奈德（Carneades）
 DC-PR公司
  1. ArgSemSAT卫星
  2. 实验室卫星解决方案
  3. CoQuiAAS公司
  4. ASGL公司
  5. 钻石
  6. 全球资源信息系统
  7. ArgTools公司
  8. 天冬氨酸-D
  9. 卡奈德（Carneades）
 DC-GR公司
  1. CoQuiAAS公司
  2. 卡奈德（Carneades）
  3. LabSAT解算器
  4. ASGL公司
  5. ArgSemSAT卫星
  6. ArgTools公司
  7. 全球资源信息系统
  8. 钻石
  9. ASPARTIX-D公司
 DC-ST公司
  1. ASPARTIX-D公司
  2. ArgSemSAT卫星
  3. 实验室卫星解决方案
  4. CoQuiAAS公司
  5. ConArg公司
  6. ASGL公司
  7. 钻石
  8. 亚萨合会
  9. ArgTools公司
  10. ProGraph软件
  11. 卡奈德（Carneades）
DS-CO公司
  1. ASGL公司
  2. 实验室卫星解决方案
  3. ConArg公司
  4. ArgSemSAT卫星
  5. ASPARTIX-D公司
  6. ArgTools公司
  7. CoQuiAAS公司
  8. 钻石
  9. 卡奈德（Carneades）
 DS-PR公司
  1. ArgSemSAT卫星
  2. 塞加蒂克斯
  3. 实验室卫星解决方案
  4. ASPARTIX-V公司
  5. CoQuiAAS公司
  6. 钻石
  7. 全球资源信息系统
  8. ASGL公司
  9. ArgTools公司
  10. ASPARTIX-D公司
  11. 大麻酚类
 DS-GR公司
  1. CoQuiAAS公司
  2. 卡奈德（Carneades）
  3. ASGL公司
  4. 实验室卫星解决方案
  5. ArgSemSAT卫星
  6. ArgTools公司
  7. 全球资源信息系统
  8. ASPARTIX-D公司
  9. 钻石
 DS-ST公司
  1. ASPARTIX-D公司
  2. 实验室卫星解决方案
  3. CoQuiAAS公司
  4. ConArg公司
  5. ASGL公司
  6. 钻石
  7. ArgSemSAT卫星
  8. 亚萨合会
  9. ArgTools公司
  10. 卡奈德（Carneades）

上面的每个排名都是通过使用相应计算任务的N个实例查询每个解算器来确定的，每个实例的超时时间为10分钟（SE和EE的N=192，DC和DS的N=576）。解算器按wrt进行排序。这些实例上的超时数，也会考虑实例上的实际运行时来打破联系。

仅考虑参与上述所有轨道的解算器，并计算其博尔达计数在所有轨道上，我们都有以下排名：

  1. CoQuiAAS公司
  2. ArgSemSAT卫星
  3. 实验室卫星解决方案
  4. ASGL公司
  5. ASPARTIX-D公司
  6. ArgTools公司
  7. 卡奈德（Carneades）
  8. 金刚石

上述排名前三名分别获得2015年ICCMA“第一名”、“第二名”和“第三名”。此外，解算器Cegartix还获得了“荣誉奖”，因为它在参与的三个轨道（SE-PR、EE-PR、DS-PR）中取得了最佳排名。

原始数据、已执行查询的完整列表和单个运行时可以在以下Excel表中找到：xls公司（更新日期：2015年9月30日）

比赛中使用的所有基准图都可以在这里下载：拉链

所有基准图都是基于三种不同的图模型随机生成的：

  • 第一组由图组成，图具有很大的固定扩展和许多节点
  • 第二组由具有许多完整/首选/稳定扩展的图组成（这是大多数解算器最难的组）
  • 第三组由图组成，这些图具有丰富的强连接组件结构

对于这三个模型，每个图都是由三个不同大小的类生成的，总共产生了9个测试集（请注意，与第二组最大图对应的测试集已从竞争中删除，因为大多数解算器都无法解出其中的任何一个）。

三个图形生成器的源代码位于探查。更准确地说，源代码文件是




上次更新时间：2018年7月18日，Matthias Thimm|条款