| 一阶谓词逻辑在人工智能知识表示中的应用 |
| |
| 引用本文： | 王湘云. 一阶谓词逻辑在人工智能知识表示中的应用[J]. 重庆工商大学学报(自然科学版), 2007, 0(9): 69-71 |
| |
| 作者姓名： | 王湘云 |
| |
| 作者单位： | 南开大学哲学系 天津300071 |
| |
| 基金项目： | 教育部人文社会科学研究2006年度规划项目(06JA724002) |
| |
| 摘 要： | 用一阶谓词逻辑的形式语言讨论了自然语言的形式描述、数学知识的形式表述、在人工智能中智能行为过程的描述等。总结用一阶谓词逻辑的形式语言表示具体知识的步骤,以及这种知识表示法的局限与应当进一步研究的问题。
|
| 关 键 词： | 人工智能 知识表示 一阶谓词 形式语言 |
The Application of First-Order Predicate Logic in the Field of Knowledge Representation of Artificial Intelligence |
| |
| 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, 0(9): 69-71 |
| |
| Authors: | WANG Xiang-yun |
| |
| Abstract: | |
| |
| Keywords: | AI knowledge representation first-order predicate formal language |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《重庆工商大学学报(自然科学版)》浏览原始摘要信息 |
|
点击此处可从《重庆工商大学学报(自然科学版)》下载全文 |
