归纳编程

✍ dations ◷ 2025-08-16 08:18:37 #归纳编程

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

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

相关

黄体制剂黄体制剂（英语：Progestin）是一种合成的孕激素，与孕酮有类似效果。Progestin的两种最重要用途为激素避孕（英语：Hormonal contraception）（独立或与雌激素一同使用）以及作为激素替代疗法
雷丁雷丁（英语：Reading，意为“Reada 的人”，拼法跟“阅读”刚好相同，可是意思和读音都不同；读音：i/ˈrɛdɪŋ/ RED-ing），英国英格兰东南区域伯克郡的自治市镇，英格兰的单一管理区之一，人口
董鄂氏董鄂氏（满语：ᡩᠣᠩᡤᠣᡥᠠᠯᠠ，转写：Donggo hala），亦作栋鄂氏、东额氏等，是满族姓氏，位列满族八大姓之一，基本上都是后金开国五大臣之一、三等勇勤公何和礼同族。董鄂氏源出瓦尔喀
李渊唐高祖李渊（566年4月7日－635年6月25日），字叔德，陇西成纪人，唐朝开国皇帝及奠基者，618年6月18日－626年9月4日在位共8年。玄武门之变后不久禅位于唐太宗，称号“太上皇”。据《旧唐书》
帕沃·哈维科帕沃·尤哈尼·哈维科（芬兰语：Paavo Juhani Haavikko；1931年1月25日－2008年10月6日）是芬兰作家、诗人及出版者。他发表过70多本著作。他的诗集翻译成12种语言。他被认为是芬兰20
蝙蝠侠：黑暗骑士归来 (动画电影)《蝙蝠侠：黑暗骑士归来》（英语：）是分成上下两部的录像带首映的超级英雄动画电影，改编自法兰克·米勒于1986年发行的漫画《蝙蝠侠：黑暗骑士归来》。导演为杰·奥利瓦，而曾参与过《超
新杉田站新杉田站（日语：新杉田駅／しんすぎたえき */?）是一个位于神奈川县横滨市矶子区新杉田町（日语：新杉田町），属于东日本旅客铁道（JR东日本）、横滨海岸线的铁路车站。此站有JR东日本的根
阿尔皮格利亚斯峰坐标：46°44′3.4″N 10°7′3.6″E / 46.734278°N 10.117667°E / 46.734278; 10.117667阿尔皮格利亚斯峰（Piz d'Arpiglias）是瑞士的山峰，位于该国东南部，由格劳宾登州负责管辖
克利斯朵夫·霍格伍德克利斯朵夫·霍格伍德，CBE（英语：Christopher Hogwood，1941年9月10日－2014年9月24日），是一位享有世界声誉的指挥家、羽管键琴演奏者、作家与音乐学学者，亦是古乐领域的权威，“古乐复兴运动”的代表人物之一。霍格伍德出生于诺丁汉，早年在剑桥彭布洛克学院学习音乐和古典文学。他是雷帕德（英语：Raymond Leppard）、达尔特（英语：Thurston Dart）、普亚那（英语：Rafael Puyana）和莱昂哈特的学生。获得了英国文化协会的奖学金后，霍格伍德在布拉格跟随苏珊
西木工作室西木工作室（英语：Westwood Studios，1985年－2003年）是一家电脑和电子游戏开发商。1985年，布雷特·斯佩里（英语：Brett_Sperry）（Brett Sperry）和路易斯·卡斯尔（英语：Louis_Castle）（Louis Castle）在美国内华达州拉斯维加斯创立了“Westwood Associates”，后于1992年公司并入维尔京互动时更名为西木工作室。1998年该工作室被美国艺电收购，2003年被关闭，大多数成员创立了另一家工作室岩石壁画或是进入了EA洛杉矶工作