爸爸,约瑟夫;李钟勇 Cplus2ASP:答案集编程中的计算操作语言\({\mathcal C}+\)。(英语) Zbl 1405.68041 卡巴拉,佩德罗(编辑)等,逻辑编程和非单调推理。第12届国际会议,LPNMR 2013,西班牙科伦纳,2013年9月15日至19日。诉讼程序。柏林:斯普林格出版社(ISBN 978-3-642-40563-1/pbk)。计算机科学课程讲稿8148。人工智能课堂讲稿,122-134(2013)。 小结:我们展示了系统的第2版Cplus2ASP,它实现了动作语言\(\mathcal C+\)的确定片段。它的输入语言与因果计算器版本2的语言完全兼容,但由于现代答案集解决技术,新系统的速度明显更快。该系统所实现的翻译是由一些最新的理论成果组成的。系统编制了一个工具链,包括f2lp公司,保鲜膜,伊克林戈,和AS2转换. 在增量执行模式下,系统将\(\mathcal C+\)描述转换为伊克林戈其开采机理。这种执行的正确性由扩展到具有嵌套表达式的程序的模定理来证明。此外,系统的输入语言还具有许多有用的特性,如通过Lua调用外部原子和用户交互方式。系统还支持其他操作语言的可扩展多模式翻译,例如\(\mathcal B\)和\(\mathcal{BC}\)。整个系列请参见[Zbl 1272.68012]. 引用于三文件 理学硕士: 68N17 逻辑程序设计 68T27型 人工智能中的逻辑 软件:CCalc公司;煤;Cplus2ASP;f2lp公司;行话 PDF格式 BibTeX公司 XML 引用 \texttit{J.Babb}和\textti{J.Lee},选择。笔记计算。科学。8148122--134(2013年;Zbl 1405.68041) 全文: 内政部