KM程式語言
KM全名是知識機器（Knowledge Machine），是用在知识表示領域的知識框架語言。
| 知识表示 | |
| 啟發語言 | |
| KRL | |
KM有一階邏輯的語意，也有包括依描述選擇、合一、分類、理解等機械推理。KM源自Theo語言及KRL 程式語言，是用Lisp實現。
外部連結
- KM: The Knowledge Machine （页面存档备份，存于）.
- An Ontology editor for the KM language: KMgen （页面存档备份，存于）.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.