归纳编程

✍ dations ◷ 2025-11-16 01:07:50 #归纳编程

归纳编程(IP),是特定领域的自动编程,覆盖了人工智能和计算机编程的一些研究领域,它致力于典型的声明式(逻辑式或函数式)且常为递归式程序的机器学习,它们面向不完全的规定比如输入/输出例子或约束。

依赖于使用的编程语言,有很多种归纳编程。“归纳函数式编程”,使用函数式语言比如Lisp或Haskell。而最特别的归纳逻辑编程(英语:Inductive logic programming) ,使用逻辑式编程语言比如Prolog,和其他逻辑式表述比如描述逻辑。尽管它们已经很突出了,但其他编程语言范式也有使用,比如约束编程或概率编程。

相关

  • 儿汤郡儿汤郡(日语:児湯郡/こゆぐん Koyu gun */?)是日本宫崎县辖下的一个郡。现辖有以下5町1村:过去的辖区曾包括现在的西都市全境和日向市的部分地区。
  • 转移酶转移酶是一种催化一个分子(称为供体)的官能团(如甲基或磷酸盐团)转移至另一个分子(称为受体)的酶。 举例来说,一种酶催化以下的化学反应就是转移酶:在这例子中的A就是供体,而B就是受
  • 豚鼠科豚鼠科(学名:Caviidae)是分布于南美洲的一类啮齿类动物,本科很多种类被驯化为宠物,如豚鼠属的豚鼠(Cavia porcellus),俗称“荷兰猪”或“几内亚猪”。
  • 新畿内亚新几内亚(英语:New Guinea;巴布亚皮钦语:Niugini;印尼语:Papua)位于澳大利亚北面,是世界上第二大岛屿。有时,本岛亦被称为“巴布亚”,但有时巴布亚亦单指本岛的一部分。此外,印尼官方过
  • 萨拉塔河萨拉塔河(乌克兰语:Сарата),是东欧的河流,流经摩尔多瓦和乌克兰,最终注入萨西克潟湖,河道全长120公里,流域面积1,250平方公里,河畔城镇有萨拉塔。
  • 上官婉儿上官婉儿(664年11月24日至12月22日-710年7月21日),又称上官昭容,唐朝陕州陕县人(今河南三门峡),祖籍陇西上邽(今甘肃天水),唐朝的女官、诗人、政治家,唐中宗李显之昭容,唐高宗时期宰相上
  • Project 25Project 25(亦作P25或APCO-25) 是为北美公共安全组织所设计的一套数字移动无线电标准。 P25电台是为模拟(例如FM)无线电设备设计的直接替代产品,并且在话音传输的基础上增加了
  • 黄先祥黄先祥(1940年4月20日-),汉族,中华人民共和国政治人物、第十一届全国政协委员。加入中国共产党,担任第二炮兵工程学院教授、中国工程院院士。2008年,当选第十一届全国政协委员,代表科学技术界,分入第二十九组。
  • 夸父夸父,是《山海经》和《列子》中记载的神话人物,立志追赶太阳,终未及,半道渴死,是太阳崇拜的神话故事。在《西山经》、《北山经》、《东山经》、《中山经》、《海外北经》、《大荒东经》、《大荒北经》中都有出现。夸父为后土之子,炎帝之后。《山海经》记载他想追逐太阳,追至禺谷,因口渴,喝了黄河水仍不足,准备至云梦大泽饮水,在路上过世。其过世原因,是被应龙所杀。另外《山海经·海外北经》亦载:“夸父与日逐走,入三日。渴欲得饮,饮于河、渭。河、渭不足,北饮大泽。未至,道渴而死。弃其杖,化为邓林(桃林)。”后有成语“夸父追日
  • 比约恩·巴赫比约恩·巴赫(德语:Björn Bach,1976年6月21日-),德国男子皮划艇运动员。他曾代表德国参加2000年和2004年夏季奥林匹克运动会皮划艇比赛,获得二枚银牌,均来自男子四人皮艇1000米项目。