[论文笔记]归纳逻辑程序设计综述

论文笔记~归纳逻辑程序设计综述~戴望州 周志华

归纳逻辑程序设计（inductive logic programming）是由机器学习与逻辑程序设计发展并结合所形成的一个研究领域。

与传统机器学习方法有所不同，ILP借助逻辑程序设计的方法，利用背景知识学习一阶规则。

一阶规则有什么优点？一阶规则引入了谓词、量词、函数等。一阶规则可读性好，比神经网络具有更强大的表达能力。

ILP能在学习时以FOL（一阶逻辑）的形式引入复杂领域知识，并能自然地处理复杂推理。

基本内容

原子公式：不含连接词的FOL公式。如：“奇数（X）”

逻辑文字：原子公式及其否定被称为逻辑文字，如：“¬奇数（X）”

grounded（具体的）：当公式中不含变量时被称为‘具体的’

具体事实：具体的原子公式被称为具体事实，如“奇数(3)”

ILP模型：

FOL系统的语义被体现在FOL公式的赋值（assignment）中。

可以对每一个具体事实进行赋值，另其为true或为

标签：逻辑,综述,原子公式,笔记,一阶,ILP,FOL,程序设计
来源： https://www.cnblogs.com/ljfl-study/p/12793422.html