Neural logic programs and neural nets

Neural-symbolic integration aims to combine the connectionist subsymbolic with the logical symbolic approach to artificial intelligence. In this paper, we first define the answer set semantics of (boolean) neural nets and then introduce from first principles a class of neural logic programs and show that nets and programs are equivalent.

• Publication year

  2024

• Venue

  arXiv.org

• Publication date

  2024-06-13

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.48550/arXiv.2406.11888arXiv 2406.11888
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Proportoids

  2022cited by this paper
• DeepStochLog: Neural Stochastic Logic Programming

  2021cited by this paper
• Sequential Composition of Answer Set Programs

  2021cited by this paper
• Sequential composition of propositional logic programs

  2020cited by this paper
• Fixed Point Semantics for Stream Reasoning

  2020cited by this paper
• Neural probabilistic logic programming in DeepProbLog

  2019cited by this paper
• Logic program proportions

  2018cited by this paper
• Mastering the game of Go without human knowledge

  2017cited by this paper
• Intelligent machinery

  2017cited by this paper
• Neural-Symbolic Learning and Reasoning: Contributions and Challenges

  2015cited by this paper
• Inductive Logic Programming

  2014cited by this paper
• Hex Semantics via Approximation Fixpoint Theory

  2013cited by this paper
• The neural binding problem(s)

  2013cited by this paper
• Learning and Representing Temporal Knowledge in Recurrent Networks

  2011cited by this paper
• Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources

  2011cited by this paper
• Answer Set Programming: A Primer

  2009cited by this paper
• Connectionist model generation: A first-order approach

  2008cited by this paper
• Logical and relational learning

  2008cited by this paper
• Neural-Symbolic Cognitive Reasoning

  2008cited by this paper
• Probabilistic Inductive Logic Programming - Theory and Applications

  2008cited by this paper
• Weighted monadic datalog

  2008cited by this paper
• Knowledge Infusion: In Pursuit of Robustness in Artificial Intelligence

  2008cited by this paper
• Introduction to Statistical Relational Learning

  2007cited by this paper
• Pattern Recognition and Machine Learning

  2006cited by this paper
• A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming

  2005cited by this paper
• Ontology learning as a use-case for neural-symbolic integration

  2005cited by this paper
• Weighted automata and weighted logics

  2005cited by this paper
• Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity

  2004cited by this paper
• Ultimate approximation and its application in nonmonotonic knowledge representation systems

  2004influential reference
• Knowledge Representation, Reasoning and Declarative Problem Solving

  2003cited by this paper
• Fixpoint semantics for logic programming a survey

  2002influential reference
• Neural-Symbolic Learning Systems

  2002cited by this paper
• Logic Programming

  2001cited by this paper
• APPROXIMATIONS, STABLE OPERATORS, WELL-FOUNDED FIXPOINTS AND APPLICATIONS IN NONMONOTONIC REASONING

  2000influential reference
• Connectionist variable binding

  1999cited by this paper
• Approximating the Semantics of Logic Programs by Recurrent Neural Networks

  1999cited by this paper
• Towards a New Massively Parallel Computational Model for Logic Programming

  1994cited by this paper
• Integrating rules and connectionism for robust commonsense reasoning

  1994cited by this paper
• Tensor Product Variable Binding and the Representation of Symbolic Structures in Connectionist Systems

  1991cited by this paper
• Classical negation in logic programs and disjunctive databases

  1991cited by this paper
• Semantics of Logic Programs with Aggregates

  1991cited by this paper
• A logical calculus of the ideas immanent in nervous activity

  1990cited by this paper
• Equivalences of Logic Programs

  1988cited by this paper
• Foundations of Logic Programming, 1st Edition

  1984cited by this paper
• The Semantics of Predicate Logic as a Programming Language

  1976influential reference
• Under Consideration for Publication in Theory and Practice of Logic Programming Products of Weighted Logic Programs *

  year unknowncited by this paper
• Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence A Neural-Symbolic Cognitive Agent for Online Learning and Reasoning

  year unknowncited by this paper

• Generalization-based similarity

  2023cites this paper
• Distributed Autoepistemic Logic: Semantics, Complexity, and Applications to Access Control

  2023cites this paper