基于PROLOG元级扩充的知识消化系统  

Knowledge Assimilation System Based on PROLOG Extended at Meta-level

作　　者：万金友[1] 王晓国[1] 吴永明[1] 杨振山[1] 

机构地区：[1]同济大学计算机系,上海200092

出　　处：《同济大学学报（自然科学版）》1997年第5期588-592,共5页Journal of Tongji University:Natural Science

摘　　要：通过对TURBOPROLOG进行元级扩充，实现了一个能在知识获取时对新知识进行逻辑一致性检测的实用知识消化系统，所采用的技术和方法对提高微机PROLOG知识库系统的质量和性能有重要参考价值.Based on TURBO PROLOG extended at meta-level, a knowledge assimilation system checking the logical consistency and completeness of the new knowledge is developed. It is of great value to the improvement in the quality and function of the knowledge base system on microcomputer.

关 键 词：计算机原理 知识消化 元级扩充 元逻辑程序 

分 类 号：TP301[自动化与计算机技术—计算机系统结构] TP314[自动化与计算机技术—计算机科学与技术]