×

兹马思-数学第一资源

系统aspmt2smt公司:由SMT求解器计算ASPMT理论。(英语) Zbl 1432.68055
Fermé,Eduardo(编辑)等人,《人工智能中的逻辑》。2014年9月24日,葡萄牙曼德拉,2014年9月24日,欧洲会议。诉讼程序。柏林:斯普林格。选择。笔记计算。科学。8761529-542(2014年)。
摘要:答案集规划模理论(ASPMT)是基于功能稳定模型语义,将答案集规划与可满足性模理论相结合的一种方法。结果表明,ASPMT程序的紧密片段可以转化为SMT实例,从而允许SMT求解器计算ASPMT程序的稳定模型。在本文中,我们提出了一个名为aspmt2smt公司,实现此翻译。系统采用ASP打地机外国佬和SMT求解器z3型.外国佬当某些输入变量被部分地保留时,程序被处理z3型. 我们证明了该系统能够有效地处理实数计算来推理连续变化。
整个系列请参见[Zbl 1296.68009].

理学硕士:
68N17 逻辑程序设计
68牛顿 编译理论
68吨20 人工智能环境下的问题解决(启发式、搜索策略等)
PDF格式 BibTeX公司 XML 引用
全文: 内政部