论文部分内容阅读
本文介绍了基于约束求解机制的布局规划系统的总体设计思想和各模块的基本实现原理,以及约束求解系统BPU-CLP的基本功能和实现原理。重点研究了如何基于约束求解机制,用BPU-CLP程序表示布局规划系统知识库中的知识,以及如何构建布局规划系统的通用推理机,借助这些知识求解布局规划问题。并且,本文将基于约束求解机制的布局规划系统与本课题组提出的其他布局规划系统进行比较。同时,本文还在上述理论基础上提出了动画自动生成系统中的布局规划系统的开放性框架,并利用此框架实现了一个布局规划原型系统,表明该框架是一个具有可扩展性的开放性系统平台。