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 （頁面存檔備份，存於互聯網檔案館）.
 | 這是一篇關於電腦程式語言的小作品。您可以透過編輯或修訂擴充其內容。 |