关系推理利用了对称性中的对称关系和反对称关系，传递性中的传递关系和反传递关系，关系推理的四种形式如图1-1所示。图1-1 关系推理的四种形式1.对称关系推理对称...(展开)