KM全名是知识机器(Knowledge Machine),是用在知识表示领域的知识框架语言。
KM有一阶逻辑的语意,也有包括依描述选择、合一、分类、理解等机械推理。KM源自Theo语言及KRL 编程语言(英语:KRL (programming language)),是用Lisp实现。
KM全名是知识机器(Knowledge Machine),是用在知识表示领域的知识框架语言。
KM有一阶逻辑的语意,也有包括依描述选择、合一、分类、理解等机械推理。KM源自Theo语言及KRL 编程语言(英语:KRL (programming language)),是用Lisp实现。