KM编程语言

✍ dations ◷ 2025-05-19 06:08:10 #KM编程语言

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

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

相关

  • 动物细胞细胞(英语:Cell)旧称䏭,是生物体结构和功能的基本单位。它是除了病毒之外所有具有完整生命力的生物的最小单位,也经常被称为生命的积木(病毒仅由DNA/RNA组成,并由蛋白质和脂肪包裹
  • 埃芬汉县埃芬汉县(Effingham County, Georgia)是美国乔治亚州东部的一个县,东邻南卡罗莱纳州。面积1,250平方公里。根据美国2000年人口普查,共有人口37,535人。县治春田市 (Springfield)
  • 襄阳市襄阳市,简称襄,曾称襄州、襄樊,是中华人民共和国湖北省下辖的地级市,位于湖北省北部,汉水中游。市境西界十堰市、神农架林区,西南邻宜昌市,东南接荆门市,东毗随州市,北达河南省南阳市
  • 中华文武国中华文武国,简称文武国,是指1982年至1983年期间在广西北流县(今北流市),由何文源为首成立的一个秘密结社政权。何文源,平政公社六沙大队人,从1979年开始,利用封建迷信活动在两广一带
  • 安平镇 (明郑)安平镇,又称为王城,是台湾郑氏王朝的王宫地带,位于今日的安平古堡,为京畿承天府所管辖的行政区之一。
  • 基兰·韦斯特伍德基兰·韦斯特伍德(英语:Keiren Westwood,1984年10月23日-)出生于英格兰大曼彻斯特曼彻斯特市,是一名爱尔兰足球运动员,司职门将,现时效力英冠俱乐部谢周三。他以在爱尔兰出生的祖母
  • AcquireAcquire株式会社(株式会社アクワイア)是一间位于日本东京都千代田区的电子游戏开发商,制作有天诛、侍道和秋叶原之旅等游戏。公司创建于1994年12月6日,4年后从有限公司改制成股
  • 尼古拉·格奥尔吉耶维奇·卡罗塔姆尼古拉·格奥尔吉耶维奇·卡罗塔姆(爱沙尼亚语:Nikolai Karotamm;俄语:Никола́й Гео́ргиевич Ка́ротамм;1901年10月10日(格里历:10月23日)-1969年6月26
  • 菲墨在希腊神话中, 菲墨 (//Pheme ; 希腊语: ΦήμηΦήμη,相当于罗马文字:Fama),也被称为 Ossa。她是名誉和名声的化身,她为成名而喜悦,她为可耻的谣言愤怒。 她是盖亚或 Elpis(希望之神)的女儿,被描述为“发起并增强了人之间的通信的女人”。她在雅典有一个祭坛。一个巨大的八卦:Pheme 曾刺探凡人和神的事情,然后会复述她听到的事情。一开始只是一句小声的低语,每复述一遍,声音就会越大声,直到每个人都知道。 在艺术作品中,她通常长着翅膀,手持小号。在罗马神话中,维吉尔( 第 180
  • 乌姆·卡伯乌姆·卡伯(Umm el-Qa'āb,亦作Umm el Ga'ab,阿拉伯语:أم القعاب)位于埃及阿拜多斯北部,是古埃及早王朝时期统治者的大型墓地(necropolis)。“乌姆·卡伯”的意思解作“陶罐之乡”(Mother of Pots),此乃由于在早王朝时期之后,用作祭祀的陶罐成了碎片,散落在四处,因而得名。该处是古埃及人进行宗教崇拜的地方,到了中王国时期,最少一个王陵因为敬拜欧西里斯的缘故而被发掘,并加以重建。乌姆·卡伯的墓地首先由埃米尔·阿美利诺(英语:Émile Amélineau)(É