史蒂文·张;维克托·达尔瓦鲁;吉卡，丹·R。;科科·穆罗亚;鲁本·罗伊，N.S。 通过可编程归纳和溯源对机器学习进行功能透视。 （英语） Zbl 1507.68241号 Gallagher，John P.（编辑）等人，《函数和逻辑编程》。2018年5月9日至11日在日本名古屋举行的2018年FLOPS第14届国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10818, 84-98 (2018). 摘要：我们提出了一种基于皮尔士科学逻辑中遇到的“归纳”和“诱拐”概念的机器学习编程语言。我们考虑了这样一种语言必须具备的理想特性，并将参数的“诱拐解耦”确定为这些特性的关键通用促成因素。给出了理想化的溯因演算及其作为OCaml的PPX扩展的实现，并给出了几个简单的例子。关于整个系列，请参见[Zbl 1386.68007号]. 引用于2文件 MSC公司： 68T05型 人工智能中的学习和自适应系统 68甲15 编程语言理论 68甲18 函数编程和lambda演算 PDF格式BibTeX公司 XML格式引用 \textit{S.Cheung}等人，Lect。注释计算。科学。10818，84-98（2018；Zbl 1507.68241） 全文： 内政部 链接