基于谓词逻辑和约束网络结构的遗传编程方法

提出了一种新的谓词型遗传编程方法，该方法包括；待求解问题论域的函数空间约束，遗传算子的谓词逻辑表达，谓词结构推理下数值参数空间的混沌式遍历及发生机制以及非线性方式下自适应进化和非监督学习的综合。整个过程是在约束网络的基础上的以谓词逻辑表达机制为核心实现的函数结点集合约束下的数值型进化计算过程。