×

兹马思-数学第一资源

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型 人工智能中的逻辑
PDF格式 BibTeX公司 XML 引用
全文: 内政部