论证理论
计算机科学
论证(复杂分析)
语义学(计算机科学)
怀疑论
扩展(谓词逻辑)
利用
程序设计语言
约束(计算机辅助设计)
论证框架
约束规划
理论计算机科学
软件工程
数学
认识论
随机规划
哲学
统计
化学
生物化学
计算机安全
几何学
作者
Stefano Bistarelli,Fabio Rossi,Francesco Santini
标识
DOI:10.1109/ictai.2017.00065
摘要
We present ConArgLib, a C++ library implemented to help programmers solve some of the most important problems related to extension-based Abstract Argumentation. The library is based on ConArg, which exploits Constraint Programming and, in particular, Gecode, a toolkit for developing constraintbased systems and applications. Given a semantics, such problems consist, for example, in enumerating all the extensions, and checking the credulous or sceptical acceptance of an argument passed as parameter. The goal is to let programmers use the library to quickly develop programs on top of it, as, for instance, implementing decision-making procedures based on the strongest arguments, or comparing two frameworks by looking at the differences between their (e.g., stable) semantics.
科研通智能强力驱动
Strongly Powered by AbleSci AI