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

首页 > 按月查看>2007年第9月 >

一阶谓词逻辑在人工智能知识表示中的应用
DOI:
                        
                    
作者:
                        王湘云王湘云

在知网中查找
在百度中查找
在本站中查找

                    
作者单位:
作者简介:
通讯作者:
基金项目:教育部人文社会科学研究2006年度规划项目(06JA724002)

The Application of First-Order Predicate Logic in the Field of Knowledge Representation of Artificial Intelligence

Author:

WANG Xiang-yun
WANG Xiang-yun

在知网中查找
在百度中查找
在本站中查找

Affiliation:

Fund Project:

摘要

图/表

访问统计

参考文献

相似文献

引证文献

资源附件

摘要:

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

关键词:人工智能,知识表示,一阶谓词,形式语言

Abstract:

Using formal language of first-order predicate logic, this paper discusses the formal description of natural languages, formal description of mathematic knowledge, and representation of intelligence in artificial intelligence. It also summarizes the proce

Key words:AI,knowledge representation,first-order predicate,formal language,

引用本文

王湘云.一阶谓词逻辑在人工智能知识表示中的应用[J].重庆工商大学学报（自然科学版）,2007,(9):
WANG Xiang-yun. The Application of First-Order Predicate Logic in the Field of Knowledge Representation of Artificial Intelligence[J]. Journal of Chongqing Technology and Business University(Natural Science Edition）,2007,(9):

复制

文章指标

点击次数:
下载次数:

历史

收稿日期:
最后修改日期:
录用日期:
在线发布日期:

引用本文

分享

文章指标

历史