KM程式語言 - 维基百科,自由的百科全书
编程范型 | 知识表示 |
---|---|
啟發語言 | |
KRL |
KM全名是知識機器(Knowledge Machine),是用在知识表示領域的知識框架語言。
KM有一階邏輯的語意,也有包括依描述選擇、合一、分類、理解等機械推理。KM源自Theo語言及KRL 程式語言,是用Lisp實現。
外部連結
[编辑]- KM: The Knowledge Machine (页面存档备份,存于互联网档案馆).
- An Ontology editor for the KM language: KMgen (页面存档备份,存于互联网档案馆).
![]() | 这是一篇關於電腦程式語言的小作品。您可以通过编辑或修订扩充其内容。 |