逻辑程序设计的研究现状与展望-逻辑学论文-哲学论文.docxVIP

逻辑程序设计的研究现状与展望-逻辑学论文-哲学论文 ——文章均为WORD文档，下载后可直接编辑使用亦可打印—— 　　机器学习试图利用计算机来模拟人类的学习行为，进而利用计算机的技术优势给人类的生活带来便利。归纳逻辑程序设计 （Inductive Logic Programming,简写为ILP）是机器学习和逻辑程序设计的交叉研究领域。它在子句逻辑的框架下，通过让计算机考察具体的事例，然后学习出能够刻画这些事例特有属性的一般性规则。具体来说，计算机进行操作时，根据背景知识在限定的归纳假设空间中不断地搜索，最后得出一个理论 （也即满足某种语言偏向的子句集），使得所有的正例都能被理论覆盖，而