论文部分内容阅读
用集合进行时态的表示与推理，降低计算复杂性．用区间代数能表示不确定的时态关系，可以很方便地用于时态推理，表达能力强．时态关系的区间表示比较直观，容易理解．同时，它可以进一步扩展到二维空间领域，拓展成为矩阵代数，实现二维空间的推理．对每个原子矩阵建立一个特征集，用特征集的并运算来取代矩阵的复合运算，构造出了13个特征集，使得它们既能表达原子矩阵间的差异，又不会分离出多余的原子矩阵，也不会漏掉应该有的原子矩阵．含25个元素的矩阵可以用含不超过3个元素的特征集来表示，将矩阵运算转换为集合运算，提高了计算效率．