XASP公司 swMATH ID: 13876 软件作者： 卡斯特罗，L.，斯威夫特，T.，沃伦，D.S。 描述： XASP概述：使用XSB进行应答集编程：。。XASP包提供了各种机制，允许XSB程序与SModels[14]稳定模型生成器紧密链接。主接口基于子句存储，XSB程序可以增量断言或删除这些子句。除了默认否定之外，此存储区中的子句还可以使用SModels支持的所有基数和权重约束语法。当用户决定存储区中的子句是程序的完整表示，应生成其稳定模型时，这些子句将复制到SModels缓冲区中。使用Smodels API调用生成器，并返回有关生成的任何稳定模型的信息。XASP的这种使用大致类似于在CLP中建立约束存储，并定期评估该存储，但XASP中与存储的集成不如CLP中的透明。在XASP中，子句必须显式添加到存储并进行计算；此外，与CLP中的约束不同，回溯时不会从存储中删除子句。XNMR解释器提供了XASP的第二种更隐含的用法。在XNMR接口中，查询Q的计算与XSB中的任何其他查询一样。然而，根据用户请求，为Q及其子目标生成的条件答案可以视为子句并发送给SModels进行评估。在通过Q的答案进行回溯时，用户不仅通过Q变量的答案替换来回溯，还通过为各种绑定生成的稳定模型来回溯。XASP的当前版本基于SModels API。其他提供低级C接口的稳定模型生成器将来可能会并入XASP中。 主页： http://xsb.sourceforge.net/shadow_site/manual2/node129.html 相关软件： 斯莫德尔斯;本质;ESRA公司;Clingcon公司;ACORDA公司;XSB公司;高度测井 引用于： 5文件 全部的 前5名11位作者引用 2 汤米·詹胡宁 2 马蒂·Järvisalo 2 路易斯·莫尼兹·佩雷拉 2 Niemelä，Ilkka N.F。 2 埃米利亚·奥伊卡里宁 1 汉、安 1 亚历山大·米盖尔·平托 1 恩里科·蓬泰利 1 恰基萨卡马 1 阿里·萨普塔维贾亚 1 儿子Tran Cao 0连载引用 在1个字段中引用 5 计算机科学（68至XX） 按年份列出的引文