电影

Moviola:通过多点回答集编程解释动态逻辑程序。基于因果拒绝的更新语义为动态逻辑程序(DLP)赋予意义,动态逻辑程序是一个逻辑程序序列,每个逻辑程序更新前面的逻辑程序。尽管在这些更新语义下,dlp已经被翻译成了应答集编程(ASP)的逻辑程序,但它们并没有带来高效和易于使用的实现。这主要是因为这种转换的目的是离线求解,在某种意义上,产生的逻辑程序被提供给一个答案集解算器来计算当前DLP的模型,对于将来的任何更新,整个过程必须从头开始重复。我们的目标是利用多镜头ASP来解决这一问题,它由一个不断变化的程序的迭代答案集计算组成,而不是每一步都从头开始。为此,我们开发了一个名为Moviola的系统,利用多镜头答案集解算器Clingo。使用该系统,用户可以交互式地编写DLP,更新DLP,动态地根据各种语义计算其模型。