概念知识表示和推理  

Conceptual Representation and Reasoning

作　　者：时百胜[1] 余泓[1] 

机构地区：[1]苏州科技学院应用数学系,江苏苏州215009

出　　处：《小型微型计算机系统》2006年第9期1618-1622,共5页Journal of Chinese Computer Systems

基　　金：国家自然科学基金项目(60275022)资助.

摘　　要：N ilsson教授首先提出了代数格应用于概念知识表示的思想,其优点在于知识表示的代数特性和图示特性,在此基础上,本文把代数格与PROLOG相结合,定义了一种基于概念的逻辑编程语言,其语言具有比PROLOG更抽象、更方便的编程风格.此外,给出了该逻辑编程语言的匹配算法.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,

关 键 词：格 概念代数 知识表示 语义 推理 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]