基于矩阵表示和合一操作的并行推理方法
摘要
本文介绍一个具有高度并行性的推理过程. 它是基于Prawitz的矩阵证明方法和Robinson的合一算法而得到的一种间接推理方法.该过程的输入为一子句集合，输出是问题的解（若该问题有解的话).
© 2004-2018 中国地质图书馆版权所有 京ICP备05064691号 京公网安备11010802017129号 地址：北京市海淀区学院路29号 邮编：100083 电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700 |