首页> 中文期刊> 《重庆理工大学学报（社会科学版）》 >一阶谓词逻辑在人工智能知识表示中的应用

一阶谓词逻辑在人工智能知识表示中的应用

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

用一阶谓词逻辑的形式语言讨论了自然语言的形式描述、数学知识的形式表述、在人工智能中智能行为过程的描述等.总结用一阶谓词逻辑的形式语言表示具体知识的步骤,以及这种知识表示法的局限与应当进一步研究的问题.

著录项

来源
《重庆理工大学学报（社会科学版）》 |2007年第9期|69-71|共3页
作者
王湘云;
展开▼
作者单位

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

展开▼
原文格式 PDF
正文语种 chi
中图分类逻辑学（论理学）;
关键词
人工智能; 知识表示; 一阶谓词; 形式语言;

相似文献

中文文献
外文文献
专利

1. 一阶谓词逻辑在人工智能知识表示中的应用 [J] . 王湘云 . 重庆理工大学学报 . 2007,第009期
2. 一阶谓词逻辑在人工智能知识表示中的应用 [J] . 王湘云 . 重庆工学院学报 . 2007,第018期
3. 从知识表示的角度看DRT与一阶谓词逻辑 [J] . 夏年喜 . 南京社会科学 . 2006,第2期
4. 谓词逻辑在人工智能中的应用 [J] . 杜文静 . 河南机电高等专科学校学报 . 2006,第006期
5. 对谓词逻辑在人工智能科学中应用的分析 [J] . 赵卯生 . 山西高等学校社会科学学报 . 2001,第012期
6. 一阶谓词逻辑的图形推理法 [C] . GENG Xia ,耿霞 ,ZHANG Ji-jun . 第十四届全国Petri 网理论与应用学术年会 . 2013
7. 一阶谓词逻辑在人工智能中的应用 [A] . 刘素姣 . 2004

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号