| 概念知识表示和推理 |
| |
| 引用本文： | 时百胜,余泓. 概念知识表示和推理[J]. 小型微型计算机系统, 2006, 27(9): 1618-1622 |
| |
| 作者姓名： | 时百胜 余泓 |
| |
| 作者单位： | 苏州科技学院,应用数学系,江苏,苏州,215009 |
| |
| 摘 要： | Nilsson教授首先提出了代数格应用于概念知识表示的思想．其优点在于知识表示的代数特性和图示特性，在此基础上．表文把代数格与PROLOG相结合．定义了一种基于概念的逻辑编程语言．其语言具有比PROLOG更抽象、更方便的编程风格．此外．给出了该逻辑编程语言的匹配算法．
|
| 关 键 词： | 格 概念代数 知识表示 语义 推理 |
| 文章编号： | 1000-1220（2006）09-1618-05 |
| 收稿时间： | 2005-06-21 |
| 修稿时间： | 2005-06-21 |
Conceptual Representation and Reasoning |
| |
| SHI Bai-sheng,YU Hong. Conceptual Representation and Reasoning[J]. Mini-micro Systems, 2006, 27(9): 1618-1622 |
| |
| Authors: | SHI Bai-sheng YU Hong |
| |
| Affiliation: | Department of Applied Mathematics, University of Science and Technology of Suzhou,Suzhou 215009, China |
| |
| Abstract: | Prof. Nilsson firstly propose a notion which algebraic lattice is applied to conceptual representation, its benefits are due to the algebraic and graphic properties of knowledge representation. Based on it. this paper defines a concept based logic programming language, combining algebraic lattice and PROLOG, making it more abstract and convenient than PROLOG. In addition, it gives how this language implements the unification of conceptual knowledge, |
| |
| Keywords: | lattice concept algebra knowledge representation semantic reasoning |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
