paper-with-me

Papers

Neural Disjunctive Normal Form: Vertically Integrating Logic With Deep Learning For Classification

2021-01-01 · Jialin Lu, Martin Ester

We present Neural Disjunctive Normal Form (Neural DNF), a hybrid neuro- symbolic classifier that vertically integrates propositional logic with a deep neural network. Here, we aim at a vertical integration of logic and deep learning: we utilize the ability of deep neural networks as feature extractors to extract intermediate representation from data, and then a Disjunctive Normal Form (DNF) module to perform logical rule-based classification; we also seek this integration to be tight that these two normally-incompatible modules can be learned in an end-to-end manner, for which we propose the BOAT algorithm. Compared with standard deep classifiers which use a linear model or variants of additive model as the classification head, Neural DNF provides a new choice of model based on logic rules. It offers interpretability via an explicit symbolic representation, strong model expressity, and a different type of model inductive bias. Neural DNF is particularly suited for certain tasks that require some logical composition and provides extra interpretability.

📄 PDF Abstract BibTeX

Code (0)

등록된 구현이 없습니다.

Tasks

FormGeneral ClassificationInductive Bias

Methods 이 논문이 사용한 방법론

Interpretability 설명 없음

Similar Papers 제목 키워드 기반

Disjunctive Logic Programs versus Normal Logic Programs

2013-04-02 · Heng Zhang, Yan Zhang

This paper focuses on the expressive power of disjunctive and normal logic programs under the stable model semantics over finite, infinite, or arbitrary structures. A translation from disjunctive logic programs into norm…

Translation

A Fixpoint Characterization of Three-Valued Disjunctive Hybrid MKNF Knowledge Bases

2022-08-05 · Spencer Killen, Jia-Huai You

The logic of hybrid MKNF (minimal knowledge and negation as failure) is a powerful knowledge representation language that elegantly pairs ASP (answer set programming) with ontologies. Disjunctive rules are a desirable ex…

Negation

Expressiveness of Logic Programs under General Stable Model Semantics

2014-12-02 · Heng Zhang, Yan Zhang

The stable model semantics had been recently generalized to non-Herbrand structures by several works, which provides a unified framework and solid logical foundations for answer set programming. This paper focuses on the…

Translation

Argumentative Characterizations of (Extended) Disjunctive Logic Programs

2023-06-12 · Jesse Heyninck, Ofer Arieli

This paper continues an established line of research about the relations between argumentation theory, particularly assumption-based argumentation, and different kinds of logic programs. In particular, we extend known re…

Counting Answer Sets of Disjunctive Answer Set Programs

2025-07-15 · Mohimenul Kabir, Supratik Chakraborty, Kuldeep S Meel arxiv

Answer Set Programming (ASP) provides a powerful declarative paradigm for knowledge representation and reasoning. Recently, counting answer sets has emerged as an important computational problem with applications in prob…