• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Proceedings of the Twenty-Third international joint conference on artificial intelligence >Meta-Interpretive Learning of Higher-Order Dyadic Datalog:Predicate Invention Revisited
【24h】

Meta-Interpretive Learning of Higher-Order Dyadic Datalog:Predicate Invention Revisited

机译：高阶二进式数据记录的元解释性学习：谓词发明的再探讨

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

In recent years Predicate Invention has been underexplored within Inductive Logic Programming due to difficulties in formulating efficient search mechanisms.However,a recent paper demonstrated that both predicate invention and the learning of recursion can be efficiently implemented for regular and context-free grammars,by way of abduction with respect to a meta-interpreter.New predicate symbols are introduced as constants representing existentially quantified higher-order variables.In this paper we generalise the approach of Meta-Interpretive Learning (MIL) to that of learning higher-order dyadic datalog programs.We show that with an infinite signature the higher-order dyadic datalog class H2 2 has universal Turing expressivity though H2 2 is decidable given a finite signature.Additionally we show that Knuth-Bendix ordering of the hypothesis space together with logarithmic clause bounding allows our Dyadic MIL implementation MetagolD to PAC-learn minimal cardinailty H2 2 definitions.This result is consistent with our experiments which indicate that MetagolD efficiently learns compact H2 2 definitions involving predicate invention for robotic strategies and higher-order concepts in the NELL language learning domain.
机译：近年来，由于难以建立有效的搜索机制，因此在归纳逻辑编程中尚未充分研究谓词发明。但是，最近的一篇论文表明，对于常规和无上下文语法，谓词发明和递归学习都可以有效地实现。关于元解释器的绑架。引入新的谓词符号作为表示存在量化的高阶变量的常量。在本文中，我们将元解释学习的方法概括为学习高阶二进数据记录程序的方法我们展示了具有无限签名的高阶二进式数据记录类H2 2具有通用的图灵表达能力，尽管在给定有限签名的情况下H2 2是可以确定的。二元MIL实施MetagolD到PAC可以学习最小的H2 2定义。他的结果与我们的实验一致，该实验表明MetagolD在NELL语言学习领域有效学习了涉及谓词发明的紧凑型H2 2定义，涉及机器人策略和高阶概念。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号