文献检索-宁波市创意产业特色资源库

限定检索结果

概念代数──新一代数据库系统的理论: 收藏
分享
引用; 《计算机研究与发展》1996年第1期33卷 32-38页; 作者：车敦仁周立柱清华大学计算机系软件组; 念代数ＣＡ（ＣｏｎｃｅｐｔＡｌｇｅｂｒａ）是Ｎｉｌｓｓｏｎ教授以格（ｌａｔｔｉｃｅ）理论为数学背景提出的一个新的代数系统。在ＣＡ中，关系范型、ＯＯ范型、逻辑程序设计和框架知识表示获得了统一的表示──概念项（ｃｏｎｃｅ...; 念代数ＣＡ（ＣｏｎｃｅｐｔＡｌｇｅｂｒａ）是Ｎｉｌｓｓｏｎ教授以格（ｌａｔｔｉｃｅ）理论为数学背景提出的一个新的代数系统。在ＣＡ中，关系范型、ＯＯ范型、逻辑程序设计和框架知识表示获得了统一的表示──概念项（ｃｏｎｃｅｐｔｔｅｒｍ），项进一步组成句子（ｓｅｎｔｅｎｃｅ）。一个完整的知识库就由这样的项和句子组成。推理操作（ｉｎｆｅｒｅｎｃｅｏｐｅｒａｔｉｏｎ）是一组被称为重写规则（ｒｅｗｒｉｔｉｎｇ）的代数公理（ａｌｇｅｂｒａｉｃａｘｉｏｍｓ）。目前的ＣＡ还只是个代数系统雏形，有很多方面有待扩充。本文对概念代数进行综述，并给出初步的扩充。; 来源：详细信息评论

限定检索结果