KM程式語言
此條目没有列出任何参考或来源。 (2024年9月17日) |
KM全名是知識機器（Knowledge Machine），是用在知识表示領域的知識框架語言。
| 编程范型 | 知识表示 |
|---|---|
| 啟發語言 | |
| KRL | |
KM有一階邏輯的語意，也有包括依描述選擇、合一、分類、理解等機械推理。KM源自Theo語言及KRL 程式語言，是用Lisp實現。
外部連結
- KM: The Knowledge Machine （页面存档备份，存于互联网档案馆）.
- An Ontology editor for the KM language: KMgen （页面存档备份，存于互联网档案馆）.
 | 这是一篇關於電腦程式語言的小作品。您可以通过编辑或修订扩充其内容。 |