KM编程语言

✍ dations ◷ 2025-06-09 23:09:52 #KM编程语言

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

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

相关

  • 格雷德卡罗琳·维德尼·卡罗尔·格雷德(英语:Carolyn Widney "Carol" Greider,1961年4月15日-),美国分子生物学家,现任约翰·霍普金斯大学分子生物学与遗传学系教授。她因为“发现端粒和
  • 访问互联网权访问互联网权或上网权(right to Internet access),也称为宽带权(right to broadband)、连接自由(freedom to connect),认为所有人必须能够访问互联网,以行使和享受其言论自由、见解自
  • 片上伸片上伸(1884年2月20日-1928年3月5日)是一位日本作家、俄语文学家与文艺评论家,出生于日本爱媛县今治市。
  • 郑祖琛郑祖琛(1784年-1851年),字梦白,浙江乌程县人,清朝政治人物。嘉庆进士。道光末累官至广西巡抚。因镇压太平天国不力,撤职查办。嘉庆九年(1804年)举人,嘉庆十年(1805年)联捷进士。分发江西
  • 范允临《沧浪亭五百名贤像》之范允临像范允临(1558年-1641年),字长倩,直隶苏州府吴县(今属江苏苏州市)人。明朝官员,书画家。宋名臣范仲淹十七世孙。万历二十三年(1595年)乙未科进士。官至福
  • 黄谦 (清朝)黄谦,字思逊,号柏山主人,晋江人。著有《汇音妙悟》。黄谦出身书香门第,叔父黄大振,是乾隆岁贡,乾隆、嘉庆期间任陕西兴安府学。黄谦虽未登第,对于声韵学有所研究,尤其对泉州音之用功
  • 马拉科夫-旺沃台站马拉科夫-旺沃台站(法语:Malakoff - Plateau de Vanves)是巴黎地铁的一个车站,位于马拉科夫。马拉科夫-旺沃台站开通于1976年11月9日,是巴黎地铁13号线延长工程的一部分。
  • 奥特加尔县奥特加尔县(加利西亚语:Comarca do Ortegal,西班牙语:Comarca de Ortegal)是西班牙加利西亚自治区拉科鲁尼亚省的一个县,下辖4个市镇,县治是奥尔蒂盖拉。埃斯塔卡德巴雷斯角(西班牙地理最北端)卡里尼奥奥特加尔角奥尔蒂盖拉湾
  • 奥尔加·列佩申斯卡娅奥尔加·列佩申斯卡娅(俄语:Ольга Васильевна Лепешинская;,1916年9月28日-2008年12月20日)是苏联的芭蕾舞者,于1951年获选为苏联人民艺术家。奥尔加·列佩申斯卡娅于1916年出生于基辅的一个波兰家庭,其祖父因为民意党成员而被捕,其父则为曾参与建造东清铁路的铁路工程师。列佩申斯卡娅早年即展现舞蹈天分,1925年录取莫斯科大舞蹈学院(今莫斯科国立舞蹈学院(英语:Moscow State Academy of Choreography)),10岁即在莫斯科大剧院登台首
  • 阿马尔纳特石窟阿马尔纳特石窟是一处印度教最神圣的朝圣地之一,供奉湿婆。它位于印度查谟-克什米尔邦,距离首府斯利那加141公里,海拔高度3888米,,周围被雪山环绕。洞窟一年中大部分时间为积雪覆盖,只有夏季能向朝圣者开放。洞窟高130英尺,朝圣的目标为洞内的冰石笋,被视为湿婆林伽,在夏季逐渐融化。根据印度教的传说,湿婆在此洞窟解释生命和永恒的秘密,另外两块冰代表他的妻子雪山神女和儿子象头神。