×

邓吉尼

swMATH ID: 22091
软件作者: 南部,M。;Vreeswijk,G。;J.福克斯。
描述: Dungine:一个Java Dung Reasoner。Dungine是一个用Java编程语言实现的开源参数引擎和API。邓金使用论点游戏来评估一个论点的可接受性,给出了一系列基于基础(怀疑)和首选轻信语义的论点。现有的论证引擎都依赖于配套的逻辑编程语言。由于开发人员必须将其系统翻译成配套的逻辑编程语言,因此这些配套语言代表了将引擎集成到现有软件中的障碍。Dungine在Argument的概念上是自由的,这种灵活的方法克服了这一障碍,使得将基于论证的推理集成到现有软件中相对容易。为了证明这种方法的有用性及其易于应用,我们描述了Dungine与Araucaria(一种开源参数映射工具)的集成。
主页: https://dl.acm.org/citation.cfm?id=1566167
相关软件: ASPARTIX公司;超小卫星;ConArg2公司;;葡萄糖;玲玲;ProGraph软件;CoQuiAAS公司;拉马兹解算器;Argtools公司;崔弟;预MaxSAT;卡奈德(Carneades);钻石;CEGARTIX公司;克林戈;计算TW;数据日志;D-扁平;Potassco公司
引用于: 5文件

2篇连载文章中引用

4 人工智能
1 国际近似推理杂志

在1个字段中引用

5 计算机科学(68至XX)

按年份列出的引文