cd /news/artificial-intelligence/probabilistic-extension-of-neuro-sym… · home topics artificial-intelligence article
[ARTICLE · art-61456] src=arxiv.org ↗ pub= topic=artificial-intelligence verified=true sentiment=· neutral

Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL

A new arXiv paper (2607.13073v1) expands the cognitive power of neuro-symbolic AI based on IFOL_B by integrating probability computation for unknown sentences using Nilsson's probability structure. The authors introduce global and local symmetry transformations to preserve knowledge and enable real-time decisions, with neural networks computing the probability density function KI via Shannon's maximum information entropy.

read1 min views53 publishedJul 16, 2026

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.

── more in #artificial-intelligence 4 stories · sorted by recency
── more on @belnap 3 stories trending now
sponsored brought to you by zahid.host 4,200+ EU-deployed projects
reading about agents? ship yours in a single git push.

Run your AI side-project on zahid.host

EU-based hosting, git-push deploys, automatic HTTPS, no cold starts. Free tier with a custom domain — perfect for shipping the agent you just read about.

$git push zahid main
Live at https://your-agent.zahid.host
Get free account → Pricing
from €0/mo · no card required
LIVE [news/probabilistic-extens…] indexed:0 read:1min 2026-07-16 ·