NDADAS系统知识表示机制的设计

知识表示机制的设计是算法设计自动化的核心问题之一。基于算法设计过程的功能规格说明分解树模型,NDADAS系统采用三元组<树形模式,正确性条件,设计策略>作为其算法设计知识的表示机制。与传统的表示机制相比,其主要特点是将算法设计知识表示的清晰性、正确性和自动化溶为一体。

NDADAS系统的算法正确性构架

本文给出了算法设计过程的功能规格说明分解树模型,讨论了函数功能规格说明的性质和算法设计正确性的准则,并对NDADAS系统中的若干主要规则的正确性进行了验证。