跳转到内容

KM程式语言

维基百科,自由的百科全书
KM
编程范型知识表示
启发语言
KRL英语KRL (programming language)

KM全名是知识机器(Knowledge Machine),是用在知识表示领域的知识框架语言。

KM有一阶逻辑的语意,也有包括依描述选择、合一、分类、理解等机械推理。KM源自Theo语言及KRL 程式语言英语KRL (programming language),是用Lisp实现。

外部链接

[编辑]