标签：AI在一阶逻辑中的统一

2020-02-13半瓶木阅读(973)评论(0)赞(0)

本文概述 统一条件 统一算法 算法的实现 统一是通过查找替换使两个不同的逻辑原子表达式相同的过程。统一取决于替换过程。 它使用两个文字作为输入，并使用替换使它们相同。 令Ψ1和be2是两个原子语句，????是一个统一符，使得Ψ1???? =...