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

THE DESIGN OF KNOWLEDGE REPRESENTATION MECHANISM IN NDADAS SYSTEM

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

The design of knowleger representation mechanism is one of the key problems in algorithm design automation. Based on the functional specification decomposition tree model of algorithm design process, the 3-tuple <tree scheme, correctness condition, design strategy> is presented as the representation mechanism of algorithm design knowledge in NDADAS system. Compared with the traditional one, its main feature is the unification of the clarity, correctness and automation of the knowledge representation mechanism in algorithm design automation.