Pith. sign in

REVIEW 4 cited by

Dimensions of Neural-symbolic Integration - A Structured Survey

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv cs/0511042 v1 pith:4RL6MHJ3 submitted 2005-11-10 cs.AI cs.LOcs.NE

Dimensions of Neural-symbolic Integration - A Structured Survey

Sebastian Bader , Pascal Hitzler This is my paper
classification cs.AI cs.LOcs.NE
keywords artificialneural-symbolicintegrationnetworksneuralrecentsurveysystems
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original abstract

Research on integrated neural-symbolic systems has made significant progress in the recent past. In particular the understanding of ways to deal with symbolic knowledge within connectionist systems (also called artificial neural networks) has reached a critical mass which enables the community to strive for applicable implementations and use cases. Recent work has covered a great variety of logics used in artificial intelligence and provides a multitude of techniques for dealing with them within the context of artificial neural networks. We present a comprehensive survey of the field of neural-symbolic integration, including a new classification of system according to their architectures and abilities.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 4 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. From Hybrid Mechanistic--Data-Driven Modeling Toward Neuro-Symbolic AI: What, Why, and How

    cs.LG 2026-07 conditional novelty 6.0

    Hybrid mechanistic/data-driven models can be translated into a neuro-symbolic tuple (language, semantics, beliefs, logic), yielding structure-vs-uncertainty metrics that flag extrapolation risk before test data are seen.

  2. Neuro-Symbolic AI for Cybersecurity: State of the Art, Challenges, and Opportunities

    cs.CR 2025-09 unverdicted novelty 5.0

    A systematic review of neuro-symbolic AI in cybersecurity finds that deeper integration and causal reasoning improve performance across intrusion detection and vulnerability tasks, while identifying barriers and a res...

  3. Neuro-Symbolic Strong-AI Robots with Closed Knowledge Assumption: Learning and Deductions

    cs.LO 2026-02 reject novelty 4.0

    A four-valued intensional first-order logic with a Closed Knowledge Assumption is proposed for AGI robots, treating unlisted facts as 'unknown' and inconsistent statements as the special value ⊤.

  4. Neuro-Symbolic Strong-AI Robots with Closed Knowledge Assumption: Learning and Deductions

    cs.LO 2026-02 unverdicted novelty 3.0

    AGI robots learn and deduce using Belnap's 4-valued bilattice and Closed Knowledge Assumption to expand knowledge while supporting inconsistencies and providing logical security.