归纳编程

✍ dations ◷ 2025-01-10 16:43:09 #归纳编程

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

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

相关

  • 里急后重里急后重(rectal tenesmus)是一个医学术语,形容便秘时的一种症状。患者感觉急需大便而无法顺利排出;可用16个字概括:“腹痛窘迫,时时欲便。肛门重坠,便出不爽”。中文病名出自中国
  • 留尼汪岛坐标:21°06′52″S 55°31′57″E / 21.11444°S 55.53250°E / -21.11444; 55.53250 留尼汪大区(法语:La Réunion),通称留尼汪,是一座印度洋西部马斯克林群岛中的火山岛。为法
  • 450110 数学 120 信息科学与系统科学 130 力学 140 物理学 150 化学 160 天文学 170 地球科学 180 生物学210 农学 220 林学 230 畜牧、兽医科学 240 水产学310 
  • 中南大学文学与新闻传播学院中南大学文学与新闻传播学院在原中文系的基础上于2002年7月挂牌成立,是学校重点扶持的新兴学院之一,原名称为中南大学文学院,现名更改于2015年6月。学院现任院长为刘泽民教授,
  • 对偶小波在数学上,一个对偶小波(英语:dual wavelet)为小波的对偶。一般情形下,在里斯表示定理(Riesz representation theorem)中,由平方可积函数(square integral function)产生的小波级数
  • 保罗 (电影)《外星人保罗》(英语:)是一部2011年英美合拍的科幻公路喜剧片。由格雷格·莫托拉执导,西蒙·佩吉和尼克·佛洛斯特共同撰写剧本。故事描述两位来自英格兰的科幻极客来到美国,进行
  • 绝望少女们绝望少女们(日语:絶望少女達),是按照于日本动画《绝望先生》系列登场之二年へ班女学生形象,汇聚各个出演声优之声优组合,主要负责作品内之主题曲和插曲工作。组合成立的契机,在于部
  • 加里·多伯曼加里·多伯曼(英语:Gary Dauberman)是一名美国男编剧、制片人和导演。他较著名的是在招魂宇宙中担任数部电影的编剧,如《安娜贝尔》(2014年)、《安娜贝尔2:诞生》(2017年)和《修女》(2
  • 杜廼松杜廼松(1937年6月-),北京人,中国青铜器与古文字研究和鉴定专家,故宫博物院研究员、故宫博物院学术委员会委员,中央文史研究馆馆员,被誉为“青铜器鉴定第一人”。1962年毕业于北京大
  • 委拉斯开兹委拉斯开兹,全名迭戈·罗德里格斯·德席尔瓦-委拉斯开兹(西班牙语:Diego Rodríguez de Silva y Velázquez,1599年6月6日-1660年8月6日),是文艺复兴后期、巴洛克时代、西班牙黄金时代的一位画家,对后来的画家影响很大,哥雅认为他是自己的“伟大教师之一”。对印象派的影响也很大。他通常只画所见到的事物,所画的人物,几乎能走出画面;他也画过一些宗教画,但其中的神像宛如人间,充满紧张和痛苦的表情;他画的马和狗充满活力。他的作品原来大部分收藏在马德里的博物馆中默默无闻,在18