在 Z 中对面向对象约束程序建模
人工智能
2007-05-23 v1
摘要
面向对象约束程序（OOCPs）作为约束程序设计与人工智能的重要演进而出现，首先应用于一系列被称为配置问题的工业应用中。求解配置问题的丰富技术方法（CLP(FD)、CC(FD)、DCSP、术语系统、带集合变量的约束程序等）是困难的一个来源。目前尚不存在被普遍接受的用于交流 OOCPs 的形式语言，这使得系统间的比较变得困难。我们在此提出一种基于 Z 的 OOCPs 规约，避免了隐藏对象语义的陷阱。对象系统是规约的一部分，并捕获了面向对象建模标准 UML 中所有最先进的概念。本文通过一个求解经典人工智能问题——解析上下文无关文法——的可用 OOCP 的规约，阐明了这些问题以及 Z 的简洁性与精确性。由于用 Z 编写，OOCP 规约还支持形式化证明。整体上，这构建了一个用于交流受约束对象模型与程序的自适应且不断演进的框架的基础。
引用
@article{arxiv.cs/0312020,
title = {Modeling Object Oriented Constraint Programs in Z},
author = {Laurent Henocque},
journal= {arXiv preprint arXiv:cs/0312020},
year = {2007}
}