一种基于生成-验证的认知描述程序的求解方法

摘要

本发明公开了一种基于生成-验证的认知描述程序的求解方法，当输入一个认知描述程序：首先，在词法、语法正确性分析和安全检查基础上，构建认知描述程序的谓词依赖图，据此对程序分块并生成块的拓扑排序，然后，使用正向推理技术，依据拓扑排序，依次实例化程序块，最终生成实例化的认知描述程序。其次，对实例化的认知描述程序求其恒真恒假字集，用于删除冗余规则和冗余字，以简化程序。然后，根据谓词依赖图确定主观字之间的依赖关系，依据主观字之间的依赖关系启发式生成程序的可能解。此后，通过验证主观字取值是否正确，确定这个可能解是否是认知描述程序的解。整个求解方法采用回溯过程生成所有可能解，并验证得到程序所有解。