论文部分内容阅读
循环术语集推理是描述逻辑研究中面；晦的难点问题，尚未得到很好的解决．有序．2-叉决策图（orderedbinarydecisiondiagram，简称OBDD）是一种对布尔函数进行紧凑表示和高效操作的数据结构，适用于表示和处理大规模问题．将OBDD应用于描述逻辑循环术语集的推理．首先，针对描述逻辑e．L中的循环术语集，给出了描述图上关于最大模拟关系的重要性质，并借助集合表示和集合运算对该性质进行了表述和证明．在此基础上，应用布尔函数对描述图进行编码，给出了基于OBDD求解最大模拟关系的方法，进而给出了最大