将一阶逻辑嵌入核机器

💡 原文中文,约200字,阅读约需1分钟。
📝

内容提要

本文提出了一个通用框架,将监督和无监督示例与背景知识集成到内核机器中,并在示例上学习多个谓词,并在其值的允许配置上强制执行一组 FOL 约束。

🎯

关键要点

  • 本文提出了一个通用框架。

  • 框架将监督和无监督示例与背景知识集成。

  • 背景知识由一组一阶逻辑子句表示。

  • 通过学习多个谓词在示例上进行操作。

  • 谓词定义在一组对象上。

  • 框架在值的允许配置上强制执行一组 FOL 约束。

🏷️

标签

➡️

继续阅读