亚历克斯·布里克;杰弗里·雷梅尔 动作语言混合AL。 (英语) Zbl 1491.68225号 Baldcucini,Marcelo(编辑)等人,《逻辑编程与非单调推理》。2017年7月3日至6日在芬兰埃斯波举行的2017年LPNMR第14届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10377, 322-335 (2017). 摘要:本文介绍了动作语言(mathcal{AL})到Hybrid的扩展。Hybrid\(\mathcal{AL}\)中的程序指定了一个转换图和相关的计算,用于观察fluents和执行动作。\(\mathcal{AL}\)的语义是根据答案集编程(ASP)定义的。类似地,Hybrid(\mathcal{AL})的语义是使用HybridASP定义的,它是ASP的扩展,允许规则控制任意算法的顺序执行。关于整个系列,请参见[Zbl 1367.68005号]. 引用于1审查引用于1文件 MSC公司: 68层35 人工智能语言和软件系统理论(基于知识的系统、专家系统等) 68N17号 逻辑编程 PDF格式BibTeX公司 XML格式引用 \textit{A.Brik}和\textit{J.Remmel},莱克特。注释计算。科学。10377、322--335(2017;Zbl 1491.68225) 全文: 内政部