KM程式语言
 | 此条目没有列出任何参考或来源。 (2024年9月17日) |
| 编程范型 | 知识表示 |
|---|---|
| 启发语言 | |
| KRL | |
KM全名是知识机器（Knowledge Machine），是用在知识表示领域的知识框架语言。
KM有一阶逻辑的语意，也有包括依描述选择、合一、分类、理解等机械推理。KM源自Theo语言及KRL 程式语言，是用Lisp实现。
外部链接
- KM: The Knowledge Machine （页面存档备份，存于互联网档案馆）.
- An Ontology editor for the KM language: KMgen （页面存档备份，存于互联网档案馆）.
 | 这是一篇关于电脑程式语言的小作品。您可以通过编辑或修订扩充其内容。 |