| 基于数理逻辑的知识表示 |
| |
| 引用本文： | 王青海.基于数理逻辑的知识表示[J].榆林高等专科学校学报,2008,18(4):97-99. |
| |
| 作者姓名： | 王青海 |
| |
| 作者单位： | 青海师范大学计算机系,青海西宁810008 |
| |
| 摘 要： | 数理逻辑是一种基于命题与谓词分析的形式化的语言及其推理，是人工智能产生和发展的最重要的基础。从逻辑推理、自然语言形式化、数学命题形式化及动态系统行为描述四个方面入手，提出了基于数理逻辑的知识表示方法与实例，并提出谓词逻辑的局限与应当进一步研究的问题。
|
| 关 键 词： | 数理逻辑 谓词逻辑 知识表示 |
Knowledge Representation Based on Symbolic Logic |
| |
| WANG Qing-hai.Knowledge Representation Based on Symbolic Logic[J].Journal of Yulin College,2008,18(4):97-99. |
| |
| Authors: | WANG Qing-hai |
| |
| Institution: | WANG Qing - hai (Computer department of Qinghai Normal University, Xining 810008, Qinghai) |
| |
| Abstract: | Symbolic logic is a highly formalized language and inference based on the analysis of proposition and predicate ,and is one of the most important theoretical bases of AI. By illustrating logical reference, natural language formalization, mathematics proposition formalization and dynamic system behaviour , the paper presents the methods of knowledge representation and concrete examples in symbolic logic. It also points out the limitations of predicate logic and some problems for further study. |
| |
| Keywords: | symbolic logic predicate logic knowledge representation |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
