资源简介
简介:本程序为朱福喜、朱三元、伍春香编著的《人工智能原理》(清华大学出版社)一书的关于合一算法的演示程序。合一算法:文字L1和L2如果经过执行某个代换s,满足L1s=L2s,则称L1与L2可合一,s称为其合一元。本程序可判断任意两个文字能否合一,若能合一,则给出其合一元。1. 合一:文字1和文字2必须是有效的(目前没有对非法的文字做判别);2.谓词项中首字母为大写的为常量,小写为变量,函数名首字母应该为小写;3.表格化:将文字表格化,为合一算法的基础算法。
代码片段和文件信息
属性 大小 日期 时间 名称
----------- --------- ---------- ----- ----
文件 4744 2006-03-02 17:07 合一算法\unify.HLP
文件 486400 2006-03-02 17:07 合一算法\unify.exe
目录 0 2005-12-14 17:24 合一算法
----------- --------- ---------- ----- ----
491144 3
----------- --------- ---------- ----- ----
文件 4744 2006-03-02 17:07 合一算法\unify.HLP
文件 486400 2006-03-02 17:07 合一算法\unify.exe
目录 0 2005-12-14 17:24 合一算法
----------- --------- ---------- ----- ----
491144 3
- 上一篇:清华大学校园地图高清3D版本
- 下一篇:班级档案管理系统
相关资源
- 基于动态分割与合一的排样算法.
- 海尔人单合一系统管理后台模版
- 一键安装macOS多合一U盘系统安装U盘制
- 二维集装箱问题的新算法
- 迷宫问题课程设计报告
- 严题集算法设计答案汇总
- 电子琴和音乐盒二合一音乐发生器Q
- 有人网络调试助手 串口调试助手二合
- 串口以太网二合一调试助手
- 矩阵乘积winogard算法
- clustream算法源代码
- 基于学生核心竞争力的工程管理专业
- 无线网络抓包工具minidwep-gtk三版合一
- 美军装备试验鉴定:知行合一
- TCP和IP网络调试助手与串口调试助手二
- 符合BT4.0标准RTL8723BU蓝牙wifi二合一模
- packet tracer实验集合一共84个,附加答
- winring0_1_2_1winring0_1_3_0wingring0_1_3_1b 三
- PTES渗透测试执行标准(二合一)
- 黑苹果读卡器驱动多合一,Thinkpad读卡
- vim插件:omnicppcomplete-0.41.zip、taglist
- gVIM的全屏插件、透明插件以及始终最
- 编程之美 编程入门,算法入门资源
评论
共有 条评论