合一算法:求非空有限具有相同谓词名的原子公式集的()


合一算法:求非空有限具有相同谓词名的原子公式集的()

正确答案:最一般合一(MGU)


Tag:人工智能 谓词 原子 时间:2024-02-08 10:58:00