首页> 外文会议>International Conference on Machine Learning >Neural Datalog Through Time: Informed Temporal Modeling via Logical Specification
【24h】

Neural Datalog Through Time: Informed Temporal Modeling via Logical Specification

机译:Neural Datalog通过时间:通过逻辑规范通知时间建模

获取原文

摘要

Learning how to predict future events from patterns of past events is difficult when the set of possible event types is large. Training an unrestricted neural model might overfit to spurious patterns. To exploit domain-specific knowledge of how past events might affect an event's present probability, we propose using a temporal deductive database to track structured facts over time. Rules serve to prove facts from other facts and from past events. Each fact has a time-varying state - a vector computed by a neural net whose topology is determined by the fact's provenance, including its experience of past events. The possible event types at any time are given by special facts, whose probabilities are neurally modeled alongside their states. In both synthetic and real-world domains, we show that neural probabilistic models derived from concise Datalog programs improve prediction by encoding appropriate domain knowledge in their architecture.
机译:学习如何在可能的事件类型的集合大时,如何预测过去事件模式的未来事件是困难的。 培训一个不受限制的神经模型可能会造成虚假模式。 要利用域名的域名的知识可能会如何影响事件的现有概率,我们建议使用时间演绎数据库来跟踪结构化的事实随时间。 规则有助于证明来自其他事实和过去的事件的事实。 每个事实都有一个时变状态 - 由神经网络计算的传染媒介,其拓扑由事实的出处决定,包括其过去事件的经验。 任何时候可能的事件类型都是由特殊事实给出的,其概率与他们的国家一起是神经模拟的。 在合成和现实世界域中,我们表明,从简洁的Datalog程序导出的神经概率模型通过在其体系结构中编码适当的域知识来改进预测。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号