Research
Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL
arXiv:2607.13073v1 Announce Type: new Abstract: Neuro-symbolic AI based on IFOL_B is a way to combine neural learning and symbolic reasoning to overcome limitations of purely neural systems (like lack
arXiv:2607.13073v1 Announce Type: new Abstract: Neuro-symbolic AI based on IFOL_B is a way to combine neural learning and symbolic reasoning to overcome limitations of purely neural systems (like lack of interpretability and logical structure) with formal logical machinery for self-reference. In this paper we expand the cognitive power of IFOL_B by using the probability computation for the currently unknown sentences, based on Nilsson's probability structure for the IFOL_B. We introduce the global symmetry transformation that preserves the current knowledge database and logical deduction, and the local one used for real-time decisions about concrete (sub)problems that involve only a very strict subset of IFOL_B predicates. The computation of probability density function KI in both cases, based on the Shannon's maximum information entropy, is provided by neural networks of this probabilistic neuro-symbolic AGI.
Related
- Grounding vs. Compositionality: On the Non-Complementarity of Reasoning in Neuro-Symbolic Systems
- Neuro-Bayesian-Symbolic Residual Attention Shallow Network: Explainable Deep Learning for Cybersecurity Risk Assessment
- Logic of Hypotheses: from Zero to Full Knowledge in Neurosymbolic Integration
- Explainable Knowledge Tracing via Probabilistic Embeddings and Pattern-based Reasoning
- Concise and Logically Consistent Conformal Sets for Neuro-Symbolic Concept-Based Models
Source: arXiv cs.AI | 2026-07-16