首页> 中文期刊>河南机电高等专科学校学报 >谓词逻辑在人工智能中的应用

谓词逻辑在人工智能中的应用

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

谓词逻辑是一种基于谓词分析的高度形式化的语言及其推理,是人工智能产生和发展的最重要的理论基础.本文从具体事例出发,解析了谓词逻辑在人工智能领域中两个主要应用:知识表示和消解原理.并在结束语提出谓词逻辑的局限,希望有更多的学者参加逻辑学的研究.

著录项

来源
《河南机电高等专科学校学报》|2006年第6期|52-53|共2页
作者
杜文静;
展开▼
作者单位

南开大学,哲学系,天津,300071;

展开▼
原文格式 PDF
正文语种 chi
中图分类逻辑学（论理学）;
关键词
人工智能; 谓词逻辑; 知识表示; 消解原理;
入库时间 2022-08-17 15:51:39

相似文献

中文文献
外文文献
专利

1. 一阶谓词逻辑在人工智能知识表示中的应用 [J] . 王湘云 . 重庆理工大学学报 . 2007,第009期
2. 一阶谓词逻辑在人工智能知识表示中的应用 [J] . 王湘云 . 重庆理工大学学报（社会科学版） . 2007,第009期
3. 一阶谓词逻辑在人工智能知识表示中的应用 [J] . 王湘云 . 重庆工学院学报 . 2007,第018期
4. 对谓词逻辑在人工智能科学中应用的分析 [J] . 赵卯生 . 山西高等学校社会科学学报 . 2001,第012期
5. 谓词逻辑在会计处理中的应用初探 [J] . . 中国总会计师 . 2018,第012期
6. 欧美人工智能教育应用研究鸟瞰:从封闭系统到生态化学习环境——《人工智能教育应用国际期刊》高影响力论文与近期论文的内容分析 [C] . Zhang Ling-ling ,张玲玲 ,Zhang Zhi-zhen . 中国人工智能学会智能教育技术专业委员会2018年学术年会 . 2018
7. 一阶谓词逻辑在人工智能中的应用 [A] . 刘素姣 . 2004

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号