归纳编程

✍ dations ◷ 2025-09-05 20:30:15 #归纳编程

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

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

相关

  • 银牌银牌通常是奖励给某项竞赛(例如奥运会等体育比赛)第二名优胜者的奖牌。竞赛的一、三名优胜者一般是分别获得金牌和铜牌。这种做法据说是由一位犹太人的国王首创的。银牌通常都
  • 阿尔·格林阿尔伯特·“阿尔”·格林尼(Albert "Al" Greene,1946年4月13日-)是一位美国歌手,在1970年代早期有多首灵魂乐歌曲在榜单上取得佳绩,包括《Tired of Being Alone》、《I'm Still I
  • 萧统萧统(501年-531年5月30日),字德施,中国南朝梁代太子、文学家,梁武帝长子,其母为贵嫔丁氏。天监元年(502年)十一月立为太子。然英年早逝,未及即位即于中大通三年(531年)去世,死后谥“昭明
  • 资本充足率资本适足率指商业银行资本充足程度的比率。按照《巴塞尔协议》,资本充足率的最低标准为:银行资本和风险加权的总资产之间比率至少为8%,其中核心资本和风险加权的总资产之间比率
  • 老克莱门斯·冯内古特老克莱门斯·冯内古特(Clement Vonnegut Sr.,1824年11月20日-1906年12月13日)是一位美籍德裔移民和成功的商人。他是印第安纳波利斯著名的德裔美国人家族冯内古特家族的族长(之
  • 蔡成勇蔡成勇(1967年-),男,汉族,青海湟中人。1989年7月参加工作,1997年7月加入中国共产党,硕士学历。历任青海省湟源县委书记、青海省玉树州政府副州长等职。2014年5月,任青海省玉树州委常
  • 公子留公子留(?-?),妫姓,名留,陈哀公之子,太子偃师之弟,公子胜之兄。陈哀公的第一夫人郑姬生了太子偃师,第二夫人生了公子留,第三夫人生了公子胜。第二夫人受到陈哀公的宠爱,公子留因此得宠,陈哀
  • 上野真实上野真実(1996年9月27日-),日本足球运动员,日本国家女子足球队成员。2017年,他共为日本国家女子足球队出场3次。
  • 水石书店水石书店(Waterstones,原称:Waterstone's)是一家英国连锁书店,由蒂姆·水石创立于1982年,1993年被WHSmith收购。1998年被水石和EMI及Advent International买下,由HMV运营。 2011年5
  • 南海高速公路 */?),是连接韩国全罗南道灵岩郡及釜山广域市北区的一条高速公路,因与朝鲜半岛南部海岸平行得名。长273.17公里。目前全线仅剩顺天市区内约5公里路段因用地问题无法贯通。另有三条支线(即南海高速公路第一支线、南海高速公路第二支线及南海高速公路第三支线),分别连接昌原市及咸安郡、金海市及釜山沙上区、金海市及釜山港新港。1973年开始分段开通。2001年山仁至昌原间、长16.2公里的马山外环高速公路通车,并在2008年11月17日取代原来18.4公里长的路段,后者成为。