×

决策过程的自动综合:地面和线性算法的案例研究。 (英语) Zbl 1202.68381号

Kauers,Manuel(编辑)等人,《走向机械化数学助手》。2007年6月27日至30日,第14次研讨会,微积分2007,第6次国际会议,MKM 2007,奥地利哈根贝格。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-73083-5/pbk)。计算机科学课堂讲稿4573。人工智能课堂讲稿,80-93(2007)。
摘要:我们解决了决策过程的自动综合问题。我们的综合机制由几个阶段和子机制组成,非常适合于证明规划范式。本文介绍的系统(Adeptus)完全自动合成了地面算法的决策过程,它使用一些特定的方法生成器生成线性算法的决策程序,只需几秒钟的CPU时间。我们相信,这种方法可以自动帮助构建决策程序,并实现决策程序的更可靠实施。
关于整个系列,请参见[Zbl 1119.68011号].

MSC公司:

68吨15 定理证明(演绎、解析等)(MSC2010)
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接