OMiGA : An Open Minded Grounding On-The-Fly Answer Set Solver
OMiGA : An Open Minded Grounding On-The-Fly Answer Set Solver
复制标题
OMiGA：开放式接地动态答案集求解器
DOI：
--
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
A. Weinzierl
中科院分区：
文献类型：
--
作者：
Minh Dao;Thomas Eiter;Michael Fink;Gerald Weidinger;A. Weinzierl
我们提出了一个新的求解器的解决方案，其主要特点包括接地的飞行和准备用于解决分布式答案集程序。求解器是用Java实现的，并使用底层的Rete网络进行传播。最初的实验结果显示了使用Rete用于此目的的好处，但也显示了在运行中接地的情况下需要学习。
We present a new solver for Answer-Set Programs whose main features include grounding on-the-fly and readiness for use in solving distributed answer-set programs. The solver is implemented in Java and uses an underlying Rete network for propagation. Initial experimental results show the benefit of using Rete for this purpose, but also exhibit the need for learning in the presence of grounding on-the-fly.