应用归结原理求取问题答案-谓词逻辑与推理
5.3应用归结原理求取问题答案(1)
例5.23 已知：
（1）如果x和y是同班同学，则x的老师也是y的老师。
（2）王先生是小李的老师。
（3）小李和小张是同班同学。
问：小张的老师是谁？
解 首先定义如下谓词：
T(x,y)表示x是y的老师
C(x,y)表示x与y是同班同学。
已知条件可以表示成如下谓词公式：
F1： x yz(C(x,y) T(z,x) T(z,y))
F2: T(Wang,Li) F3: C(Li,Zhang)
文件下载
评论信息
其他资源
- 纯Win32 API 编写的截图小工具（附源码）
- rc522原理图+PCB图（4x6cm大小）
- 810米隧道火灾FDS模型文件
- 基于倒谱图判断浊音的基音周期MATLAB仿真 语音信号处理
- 地质CAD软件
- 数字和字母训练数据集
- 并行计算体系结构(陈国良版)课后答案
- 三星1640/1641/4300/2241 清零破解软件工具下载 完全公开免费
- MFC图像处理
- viola_jones 的haar 特征检测的matlab 程序
- php实现简单BBS论坛及回复
- Tensorflow实现Mnist手写数据集的识别
- rtx兼容64位jdk补丁包,解决Tomcat: Can't load IA 32-bit .dll on a AMD 64-bit platform问题
- 解决Windows下PHP的exec、shell_exec等函数不能正常运行的方法
- adoquery+fastreport+主从表
- 数据融合中D-S证据理论 java语言编写
- utility-image-terraform：具有terraform和AWSCLI的Docker映像，用于自动化任务-源码
- 基于贝叶斯推理的递归算法在线更新基于信念规则的管道泄漏检测专家系统
- image-crawler-master.zip
- CameraPlay.rar
- 西北农林科技大学《会计学原理》知识点总结.pdf
- 汇编-第10课控制转移类指令.pdf
- 基于MSP430的数控直流电压源
- android开发小程序
- 信息系统分析与设计教案.doc
- Java Socket编写的教学管理系统(简易版)
- Altium Designer 电子设计常用元器件集成库，封装库，元件库
免责申明
【只为小站】的资源来自网友分享，仅供学习研究，请务必在下载后24小时内给予删除，不得用于其他任何用途，否则后果自负。基于互联网的特殊性，【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查；无论 【只为小站】 经营者是否已进行审查，用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明