AGENTIC-SYSTEMSJuly 16, 20261 min read1 views

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

Researchers have expanded the cognitive power of neuro-symbolic AGI robots by integrating probability computation based on Belnap's logic and Nilsson's probability structure, enabling real-time decision-making under uncertainty.

Computer Science > Artificial Intelligence

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

View PDF HTML (experimental)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.

Bibliographic and Citation Tools

Code, Data and Media Associated with this Article

Demos

Recommenders and Search Tools

arXivLabs: experimental projects with community collaborators

arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.

Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.

Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.

Source: arXiv cs.AI Recent

More in this category

agentic-systems

Multi-Agent Collaborative Reasoning with Tool-Augmented Evidence for Urban Region Profiling

Researchers have introduced UrbanAgent, a novel agentic framework that revolutionizes urban region profiling. By leveraging multi-agent collaborative reasoning and tool-augmented external knowledge retrieval, UrbanAgent outperforms traditional models in estimating population, GDP, and carbon emissions.

agentic-systems

AI advice suppresses people's willingness to say "I don't know", even when the advice is wrong and accuracy is incentivized

A new study reveals that access to AI assistants nearly eliminates people's willingness to say "I don't know," even when the AI's advice is incorrect. Despite a significant drop in accuracy, users' confidence nearly doubled, suggesting AI alters our metacognitive threshold for decision-making.

agentic-systems

CayleyR: Solving the TopSpin puzzle via cycle intersection

Researchers have introduced cayleyR, an R package designed to solve complex permutation puzzles like TopSpin. By combining Cayley graph theory, bidirectional search, and Vulkan GPU acceleration, this tool opens new avenues for combinatorial optimization.

agentic-systems

OriginBlame: Record- and Token-Level Data Provenance for AI Training Datasets

Researchers have introduced OriginBlame, a record- and token-level data provenance system for AI training datasets. It precisely identifies data to be removed upon author request, eliminating catastrophic over-deletion and improving machine unlearning efficiency by 42%.

agentic-systems

AI-Native Insurance for Agentic AI: Pricing, Underwriting, and End-to-End Automation

The rise of Agentic AI, capable of autonomous decision-making and environmental interaction, introduces unprecedented risk and liability challenges. A new research paper proposes an AI-native mathematical framework for underwriting, pricing, and end-to-end automation of insurance contracts tailored for autonomous AI deployments.

agentic-systems

Theory-Level Autoformalization: From Isolated Statements to Unified Formal Knowledge Bases

Researchers advocate for 'theory-level autoformalization,' shifting the AI focus from translating isolated mathematical statements to formalizing entire, interconnected theories. This approach aims to enable AI to construct comprehensive, machine-verifiable formal knowledge bases.