- 1、本文档共77页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
中山大学人工智能Prolog语言(耐心看完_你就入门了)讲述资料
* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * string: 用双引号括起来的字符序列 例:“I am from Nanjing” * * symbol:有两种形式: 以小写字母开头的字母、数字和下划线组成的序列 用双引号括起来的字符串序列 * * Prolog中表示成下列形式: integerlist = integer * “integer” 说明表中元素的类型 “* ” 告诉编译系统,这是一张表 表: * * 例 domains title , author = symbol pages = integer 注:每一个说明的最后无句号 “ . ” * * 谓词段(predicates) 说明用户自己定义的谓词 说明谓词变元的域 * * 谓词名: 由小写字母开头,由字母、数字和下划线组成(标识符原子) 谓词变元的类型 标准域 域段中说明的其它域 * * 例: domains person = symbol predicates father(person) 或者 father(symbol) alphabet_position(char, integer) 谓词后面无句号 “ . ” * * 子句段(clauses) 由事实与规则组成 说明: 每一个事实或规则后面必须有句号“ . ” * * 例: clauses likes(tom, football). classify(X, negative):- X0. classify(X, positive):- X0. * * 目标段(goal) 必须书写一个目标段,作为源码的一部分(内部目标) 外部目标 * * 例 goal likes(tom, X). * * 注释: 多行注释:/* …… */ (C/C++中采用的符号) 单行注释:% (Matlab中采用的符号) * * Visual Prolog 程序的基本结构: domains ……(说明变量类型,无句号) predicates ….. (说明谓词,无句号) clauses ….. (程序段,必须有句号) goal …… (目标或问题,必须有句号) * * 3 例子 * * * * * * * * * * * * * * * * * * * * 注意: 这两部分不能颠倒。必须前提部分写在前面,问题部分写在后面 * * likes(m, f). likes(m, w). (事实) likes(j, w). likes(j, s). goal likes(m, X), likes(j, X). (问题) 问题:是否 m 和 j 都喜欢什么东西?( X = ? ) f w s m j * * Prolog的求解过程 现在有两个问题:likes(m, X) 和 likes(j, X)) 第一步:第一个问题 likes(m, X) 去与事实匹配(置换与合一),按顺序得到 {f/X} likes(m, f). likes(m, w). likes(j, w). likes(j, s). * * 第二步:f 代替第二个问题 likes(j, X) 中的 X,则得 likes(j, f) 。再与事实匹配,不能匹配,失败,则回溯,忘掉刚才的匹配 likes(m, f). likes(m, w). likes(j, w). likes(j, s). likes(m, X) likes(j, X) * * 第三步:回到第一个问题 likes(m, X) ,重新匹配,得到 { w / X} 第四步:第二个问题变成 likes(j, w)。再与事实匹配,成功 第五步:答案就是 X=w likes(m, f). likes(m, w). likes(j, w). likes(j, s). likes(m, X) likes(j, X) * * 说明: 实际运行中,要逐个试探(搜索),失败则要回溯,成功也要回溯(求出所有解) * * 例: father(a, b). a是b的父亲 father(c, d). brother(a, c). a与c是兄弟关系 uncle(X, Y) :- brother(X, Z), father(Z, Y). ?- uncle(a, U). 问题: a 是
您可能关注的文档
- 中国联通行业解决方案--手机银行(支付)资料.ppt
- 中国联通WCDMA网络验收规范-核心网设备SGSN分册资料.doc
- 中国联通WCDMA网验收规范资料.doc
- 中国联通WCDMA基站配套设备验收规范培训提纲资料.ppt
- 中国联通业务支撑系统部业务支撑工作方案资料.ppt
- 中国药科大学 药物分析 期末试卷A卷(4套)资料.doc
- 中国药科大学 药物分析 期末试卷B卷资料.doc
- 中国药科大学 药物分析 期末试卷(A卷)资料.doc
- 中国药科大学 药物分析 期末试卷资料.doc
- 中国联通行业解决方案手机银行支付资料.ppt
- 2024年江西省寻乌县九上数学开学复习检测模拟试题【含答案】.doc
- 2024年江西省省宜春市袁州区数学九上开学学业水平测试模拟试题【含答案】.doc
- 《GB/T 44275.2-2024工业自动化系统与集成 开放技术字典及其在主数据中的应用 第2部分:术语》.pdf
- 中国国家标准 GB/T 44275.2-2024工业自动化系统与集成 开放技术字典及其在主数据中的应用 第2部分:术语.pdf
- GB/T 44285.1-2024卡及身份识别安全设备 通过移动设备进行身份管理的构件 第1部分:移动电子身份系统的通用系统架构.pdf
- 《GB/T 44285.1-2024卡及身份识别安全设备 通过移动设备进行身份管理的构件 第1部分:移动电子身份系统的通用系统架构》.pdf
- 中国国家标准 GB/T 44285.1-2024卡及身份识别安全设备 通过移动设备进行身份管理的构件 第1部分:移动电子身份系统的通用系统架构.pdf
- GB/T 44275.11-2024工业自动化系统与集成 开放技术字典及其在主数据中的应用 第11部分:术语制定指南.pdf
- 中国国家标准 GB/T 44275.11-2024工业自动化系统与集成 开放技术字典及其在主数据中的应用 第11部分:术语制定指南.pdf
- 《GB/T 44275.11-2024工业自动化系统与集成 开放技术字典及其在主数据中的应用 第11部分:术语制定指南》.pdf
最近下载
- 小学一年级家长会语文老师PPT课件1_图文.ppt
- 奥鹏云南开放大学 小学语文案例教学(20秋)形考作业4(客观).doc VIP
- 沅陵大曲酒厂续建项目(重大变更) 环境影响报告书.pdf
- SH∕T 1541.1-2019 塑料颗粒外观试验方法 第1部分:目测法.pdf
- 泳池清洁机器人.pdf VIP
- 中职高考语文二轮复习写作技巧专项突破专题01 应用文写作-技巧与练习(含详解).docx VIP
- (人教版)数学三年级上册计算题“天天练”习题卡,含100份题组,附参考答案.doc
- 【新教材】人教PEP版(2024)三年级上册英语Unit 1 Making friends单元整体教学设计.docx
- 乡村学校德育工作实践.docx VIP
- “国家中小学智慧教育平台”培训方案(2).doc
文档评论(0)