一二三阶谓词
命题逻辑和谓词逻辑是人工智能领域使用最早的知识表示方法，命题逻辑定义了具有真假值的原子命题，并通过 或 且 非 蕴含 当且仅当 等逻辑连接符将多个原子命题组合成复合命题；
一阶谓词逻辑在命题逻辑的基础上引入了 全称量词 ：任何 ，和存在量词 ，使得一阶谓词逻辑可以量化实体概念，比如 对于所有的海豚 都有背鳍 ，这个 所有的 就是全称量词；
二阶谓词逻辑可以量化集合，
三阶谓词逻辑可以量化集合的集合，高阶谓词逻辑 依此类推 。 ---参考 赵军《知识图谱》高等教育出版社
一阶谓词逻辑优点：
结构性，能把事物的属性以及事物的各种语义联想显式的表达出来。
结构性，能把事物的属性以及事物的各种语义联想显式的表达出来。
严密性，有形式化的语法和语义，以及相关的逻辑推理。
可实现性，可以转化为计算机内部形式，以便使用算法实现。
一阶谓词缺点：
有限的可用性，一阶逻辑的逻辑归结只是半可判定性的。
有限的可用性，一阶逻辑的逻辑归结只是半可判定性的。
无法表示不确定性知识。
发表于 2019-10-16 23:22:30
回复(0)
细节上来说，知识表示主要经历了从一阶谓词逻辑表示、产生式规则、框架表示法、脚本表示法、语义网表示法、知识图谱表示法等几种表示，各种表示方式都有其优缺点。
编辑于 2021-09-07 10:38:18
回复(0)
问题信息
-
扫描二维码，关注牛客网
- 意见反馈
-
下载牛客APP，随时随地刷题
扫一扫，把题目装进口袋
- 求职之前，先上牛客
-
扫描二维码，进入QQ群
扫描二维码，关注牛客公众号
- 公司地址：北京市朝阳区北苑路北美国际商务中心K1座一层-北京牛客科技有限公司
- 联系方式：010-60728802 投诉举报电话：010-57596212（朝阳人力社保局）
- 牛客科技© All rights reserved admin@nowcoder.com
- 京ICP备14055008号-4 增值电信业务经营许可证 营业执照 人力资源服务许可证
-
京公网安备
11010502036488号
