个性化阅读
专注于IT技术分析

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

人工智能

人工智能在一阶逻辑中的统一

半瓶木阅读(37)评论(0)赞(0)

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