Temporal Inductive Logic Reasoning over Hypergraphs

arXiv:2206.05051v2 Announce Type: replace
Abstract: Inductive logic reasoning is a fundamental task in graph analysis, which aims to generalize patterns from data. This task has been extensively studied for traditional graph representations, such as knowledge graphs (KGs), using techniques like inductive logic programming (ILP). Existing ILP methods assume learning from KGs with static facts and binary relations. Beyond KGs, graph structures are widely present in other applications such as procedural instructions, scene graphs, and program executions. While ILP is beneficial …

abstract analysis arxiv cs.ai cs.lg cs.lo data facts fundamental graph graphs inductive knowledge knowledge graphs logic patterns programming reasoning temporal type