KM编程语言

✍ dations ◷ 2025-02-28 17:22:58 #KM编程语言

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

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

相关

  • 莫多克莫多克国家森林(英语:Modoc National Forest)是一座1,654,392英亩(6,695平方千米)的国家森林,位于加利福尼亚州东北部。森林的行政中心位于加州的阿尔图拉斯,此外在埃丁(英语:Adin, C
  • 阿尔弗雷德·德·缪塞阿尔弗雷德·德·缪塞(法语:Alfred de Musset,全名:Alfred Louis Charles de Musset-Pathay,1810年12月11日-1857年5月2日)是法国贵族、剧作家、诗人、小说作家。阿尔弗雷德·德·
  • 金龙国金龙国(朝鲜语:김용국 ,汉语拼音:Jīn Lóngguó;1996年3月2日-),是一名在韩国发展的中国男歌手。2017年7月,与金始炫以“龙国&始炫”小分队形式出道。其后加入活动期为7个月的正式
  • 亚速尔-直布罗陀转换断层亚速尔-直布罗陀转换断层,也称为亚速尔-直布罗陀断层区 (AGFZ), 是一处大型地质断层,西起大西洋中部的特塞拉裂谷,东至直布罗陀海峡并延伸入地中海。形成了欧亚板块与非洲板块
  • Bechgaard盐Bechgaard盐是一类在低温下具超导性的电荷迁移配合物的统称,它得名于丹麦化学家Klaus Bechgaard。多数Bechgaard盐的转变温度都较低,在1-2K以上失去超导性。最高的转变温度可
  • NetScreen网屏技术有限公司(NetScreen Technologies Inc.)创建于1997年10月30日,是一个研发和销售网络安全系统软件和设备的公司。其产品分布为Firewall, IPSEC VPN, IDP/IDS等系列。200
  • 阿尔谢尼·塔尔科夫斯基阿尔谢尼·亚历山德罗维奇·塔尔科夫斯基(俄语:Арсе́ний Алекса́ндрович Тарко́вский,1907年6月25日-1989年5月27日),俄罗斯诗人、东方语言翻译
  • 西溪 (钓鱼岛)西溪(拼音:Xī Xī),日本称作尾泷溪(Otaki-dani),是位于中日台争议岛屿钓鱼台列屿的钓鱼台西部的一条溪流,为钓鱼台四条主要溪流之一。溪流自东向西流入顺风港。西溪的中文名于2012
  • 生态效率生态效率即能量从一个营养级转移到另一个营养级的效率 。 效率取决于生态系统中生物资源的获取和吸收效率。 初级生产发生在生态系统的自养生物
  • 阳宗白鱼阳宗白鱼(学名:)为辐鳍鱼纲鲤形目鲴科白鱼属的鱼类,俗名白鱼,是中国的特有物种。分布于阳宗海等,常栖息于水体中上层以及繁殖期亲鱼在河口或地下水出口处。该物种的模式产地在阳宗海。体长可达21.7公分。 维基物种上的相关信息:阳宗白鱼