Abstract:Reasoning, the ability to logically draw conclusions from existing knowledge, is a hallmark of human. Together with perception, they constitute the two major themes of artificial intelligence. While deep learning has pushed the limit of perception beyond human-level performance, the progress in reasoning domains is way behind. One fundamental reason is that reasoning problems usually have flexible structures for both knowledge and queries, and many existing models only perform well on structures seen during training. Here we aim to push the boundary of reasoning models by devising algorithms that generalize across knowledge and query structures, as well as systems that accelerate development on structured data. This thesis consists of three parts. In Part I, we study models that can inductively generalize to unseen knowledge graphs with new entity and relation vocabularies. For new entities, we propose a framework that learns neural operators in a dynamic programming algorithm computing path representations. For relations, we construct a relation graph to capture the interactions between relations, thereby converting new relations into new entities. In Part II, we propose two solutions for generalizing across multi-step queries on knowledge graphs and text respectively. For knowledge graphs, we show that multi-step queries can be solved by multiple calls of graph neural networks and fuzzy logic operations. For text, we devise an algorithm to learn explicit knowledge as textual rules to improve large language models on multi-step queries. In Part III, we propose two systems to facilitate machine learning development on structured data. Our library treats structured data as first-class citizens and removes the barrier for developing algorithms on structured data. Our node embedding system solves the GPU memory bottleneck of embedding matrices and scales to graphs with billion nodes.

RESOLUTION BASED MOST GENERAL SPECIALIZATION OF THEORY

An Integration Technology of One Domain and Cross Domain Evolution of Industrial Design Knowledge

A Survey on Inductive Logic Programming

A Logical Study of Some Common Principles of Inductive Definition and its Implications for Knowledge Representation

Inductive Generalization in Reinforcement Learning from Specifications

Specialization in Hierarchical Learning Systems

First-principles studies of modulated Co/Cu superlattices with strongly and weakly exchange-biased Co-monolayers leading to a ferrimagnetic ground state

Learning logic programs by combining programs

Learning logic programs by discovering where not to search

Generalisation through Negation and Predicate Invention

A mathematical theory of relational generalization in transitive inference

A Logic for Non-Monotone Inductive Definitions

A theory of formal synthesis via inductive learning

Abductive Learning with Ground Knowledge Base.

Learning Representations for Reasoning: Generalizing Across Diverse Structures

On the role of logical separability in knowledge compilation

Generalization on the Unseen, Logic Reasoning and Degree Curriculum

Learning by Applying: A General Framework for Mathematical Reasoning via Enhancing Explicit Knowledge Learning

Implicitly Learning to Reason in First-Order Logic

Unifying Principles of Generalization: Past, Present, and Future

An Axiomatic Foundation for the Logic of Inductive Generalization