置换与合一
1.置换 一个表达式的置换就是在该表达式中用置换项置换变量。一般说来,置换是可结合的,但置换是不可交换的。
自动控制网www.eadianqi.com版权所有2.合一 寻找项对变量的置换,以使两表达式一致,叫做合一(unification)。如果一个置换s作用于表达式集{Ei}的每个元素,则用{Ei}s来表示置换例的集。称表达式集{Ei}是可合一的。本文来自www.eadianqi.com
置换与合一 人工智能置换与合一的区别是什么
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌抄袭侵权/违法违规的内容，一经查实，本站将立刻删除。