Apr, 2013

H-逼近:基于历史的可能世界语义的ASP逼近

TL;DR该论文提出了一个可能世界语义的近似算法,通过将行动规范转化为答案集程序实现了相应的规划系统,支持相反效应,在我们的框架中计划存在问题可以在NP中解决,演示了规划系统与标准问题的集成,并在智能家居的机器人控制中进行了说明。