×

中国科学院科学院

swMATH ID: 42995
软件作者: 华金·阿里亚斯(Joaquin Arias)、曼努埃尔·卡罗(Manuel Carro)、埃尔默·萨拉查(Elmer Salazar)、凯尔·马普尔(Kyle Marple)、戈帕尔·古普塔(Gopal Gupta)
描述: s(CASP):无接地约束答案集编程。使用约束扩展ASP(CASP)增强了其表达能力和性能。这种扩展并不简单,因为大多数ASP系统中存在的接地阶段会删除变量及其之间的链接,并且还会导致程序大小的组合爆炸。已经设计了几种解决此问题的方法:限制约束域(例如,离散而非密集),或可以返回的模型类型(或数量)。在本文中,我们建议将约束合并到s(ASP)中,这是一个目标导向的自顶向下的执行模型,它实现了ASP,同时保留了执行期间和答案集中的逻辑变量。结果模型(CASP)可以约束在执行期间和答案集中保留的变量,如CLP中的变量。s(CASP)继承和推广了s(ASP)的执行模型,是约束求解器的参数化。我们描述了这种新颖的执行模型,并通过几个示例展示了s(CASP)w.r.t.ASP、CLP和其他CASP系统的增强表达能力。我们还报告了在一些基准测试中,与其他非常成熟、高度优化的ASP系统相比,性能有所提高。
主页: https://arxiv.org/abs/1804.11162
源代码: https://gitlab.software.imdea.org/ciao-lang/sCASP
关键词: arXiv_cs.PL公司;逻辑;arXiv_cs.LO公司;约束答案集编程;CASP公司;ASP公司
相关软件: 克林戈;GASP公司;ezcsp公司;Clingcon公司;右折叠式++;QuickFOIL公司;nFOIL(非燃油);阿勒夫;XGBoost公司;UCI-毫升;小队;StanfordCoreNLP公司;DLV-EX公司;扣环;iClingo公司;格林戈;4.5条;kFOIL公司;SkuARE公司;VerbNet(动词网络)
引用于: 12出版物

标准条款

1出版物描述软件 年份
无接地约束应答集编程
华金·阿里亚斯(Joaquin Arias)、曼努埃尔·卡罗(Manuel Carro)、埃尔默·萨拉查(Elmer Salazar)、凯尔·马普尔(Kyle Marple)、戈帕尔·古普塔(Gopal Gupta)
2018

按年份列出的引文