KM编程语言

✍ dations ◷ 2025-11-09 20:21:49 #KM编程语言

KM全名是知识机器(Knowledge Machine),是用在知识表示领域的知识框架语言。

KM有一阶逻辑的语意,也有包括依描述选择、合一、分类、理解等机械推理。KM源自Theo语言及KRL 编程语言(英语:KRL (programming language)),是用Lisp实现。

相关

  • 萨摩亚语萨摩亚语(萨摩亚语:gagana Sāmoa)(英语:Samoan language)是萨摩亚与美属萨摩亚的官方语言之一,也是两地的传统语言。萨摩亚语属于南岛语系。萨摩亚语的使用者约有370,337人,其中将
  • 三级结构蛋白质三级结构(英语:Protein tertiary structure)是在生物化学里指蛋白质整体几何形状,亦称为其折叠。蛋白质分子是一连串的氨基酸一条线地接结,基本上假定其会有一可作用其生物
  • 锡-121m1锡-121m1(也写作“121m1Sn”)是锡元素的一种放射性同位素及同质异能素,具有约43.9年的半衰期。在普通热核反应堆中,它的裂变产物产额很低,因此这种同位素只占核废料的极小部分。
  • 承恩门坐标:25°02′52″N 121°30′40″E / 25.047717°N 121.511192°E / 25.047717; 121.511192台北府城北门,正式名称为承恩门、或迳称为北门,是位于台湾台北市中正区的清代城门
  • 奥运奥林匹克运动会(希腊语:Ολυμπιακοί Αγώνες、法语:Jeux olympiques、英语:Olympic Games),简称奥运会、奥运,是国际目前最高等级的综合型体育赛事,由国际奥林匹克委
  • 小李飞刀小李飞刀(The Little Li Flying Dagger/Xiaoli Feidao),武侠小说家古龙笔下所虚构的武器之一,为“小李探花”李寻欢的武器,后亦为叶开、丁灵中、李坏等角色使用。出自小说《多情
  • 苻硕苻硕,中国五胡十六国时代人物,前秦开国皇帝苻健的第六子。前秦皇始元年(351年)正月二十日,苻健即天王、大单于位,立国号为大秦,改年号为皇始,封苻硕为北平公。次年,苻硕进封北平王。3
  • 解耦 (电子学)解耦或去耦合(decoupling)在电子学中是指避免子系统间不希望出现的耦合效应。常见的例子是将集成的去耦电容连接到集成电路的电源引线附近,以抑制经由电源供应的耦合。它们在供
  • 游览车游览车又称观光巴士或旅游巴士,是一种集体的运输工具。游览车可分为出售车票给散客的固定行车线号,以及出租给旅行团包车之用。一般普通的游览车,大都配备以下的内装配备:游览车
  • 人体工学键盘人体工学键盘(英语:ergonomic keyboard)是设计顾及人体工学的电脑键盘,可尽量减少肌肉拉伤、疲劳等问题。常见的QWERTY键盘配置归功于C. Latham Sholes设计并于1878年获得专利的机械打字机;研究表明配置可能受电报员影响。行与列间为了容纳键与打字机内部机制间的物理连结而有偏移;随着打字职责过渡到电动(机动)打字机,然后是电脑,配置得以保留以简化已受打字培训的用户的过渡程序,但传统机械配置的斜列(staggered column)等多种特质迫使用户重复不舒服的动作和姿势。自1