Neurosymbolic Architectural Reasoning: Towards Formal Analysis through Neural Software Architecture Inference

• URL: http://arxiv.org/abs/2503.16262v1
• Date: Thu, 20 Mar 2025 15:56:54 GMT
• Title: Neurosymbolic Architectural Reasoning: Towards Formal Analysis through Neural Software Architecture Inference
• Authors: Steffen Herbold, Christoph Knieke, Andreas Rausch, Christian Schindler,
• Abstract summary: We outline neural architecture inference to solve the problem of having a formal architecture definition for subsequent symbolic reasoning over these architectures.<n>We discuss how this approach works in general and outline a research agenda based on six general research question that need to be addressed.
• Score: 4.023600998747813
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Formal analysis to ensure adherence of software to defined architectural constraints is not yet broadly used within software development, due to the effort involved in defining formal architecture models. Within this paper, we outline neural architecture inference to solve the problem of having a formal architecture definition for subsequent symbolic reasoning over these architectures, enabling neurosymbolic architectural reasoning. We discuss how this approach works in general and outline a research agenda based on six general research question that need to be addressed, to achieve this vision.

Related papers

• A Survey of Model Architectures in Information Retrieval [64.75808744228067]
  We focus on two key aspects: backbone models for feature extraction and end-to-end system architectures for relevance estimation.<n>We trace the development from traditional term-based methods to modern neural approaches, particularly highlighting the impact of transformer-based models and subsequent large language models (LLMs)<n>We conclude by discussing emerging challenges and future directions, including architectural optimizations for performance and scalability, handling of multimodal, multilingual data, and adaptation to novel application domains beyond traditional search paradigms.
  arXiv  Detail & Related papers  (2025-02-20T18:42:58Z)
• Categorical semiotics: Foundations for Knowledge Integration [0.0]
  We tackle the challenging task of developing a comprehensive framework for defining and analyzing deep learning architectures. Our methodology employs graphical structures that resemble Ehresmann's sketches, interpreted within a universe of fuzzy sets. This approach offers a unified theory that elegantly encompasses both deterministic and non-deterministic neural network designs.
  arXiv  Detail & Related papers  (2024-04-01T23:19:01Z)
• Unsupervised Graph Neural Architecture Search with Disentangled Self-supervision [51.88848982611515]
  Unsupervised graph neural architecture search remains unexplored in the literature. We propose a novel Disentangled Self-supervised Graph Neural Architecture Search model. Our model is able to achieve state-of-the-art performance against several baseline methods in an unsupervised manner.
  arXiv  Detail & Related papers  (2024-03-08T05:23:55Z)
• Zero-shot Sequential Neuro-symbolic Reasoning for Automatically Generating Architecture Schematic Designs [4.78070970632469]
  This paper introduces a novel automated system for generating architecture schematic designs. We leverage the combined strengths of generative AI (neuro reasoning) and mathematical program solvers (symbolic reasoning) Our method can generate various building designs in accordance with the understanding of the neighborhood.
  arXiv  Detail & Related papers  (2024-01-25T12:52:42Z)
• Serving Deep Learning Model in Relational Databases [70.53282490832189]
  Serving deep learning (DL) models on relational data has become a critical requirement across diverse commercial and scientific domains. We highlight three pivotal paradigms: The state-of-the-art DL-centric architecture offloads DL computations to dedicated DL frameworks. The potential UDF-centric architecture encapsulates one or more tensor computations into User Defined Functions (UDFs) within the relational database management system (RDBMS)
  arXiv  Detail & Related papers  (2023-10-07T06:01:35Z)
• Neural Architecture Retrieval [27.063268631346713]
  We define a new problem Neural Architecture Retrieval which retrieves a set of existing neural architectures with similar designs to the query neural architecture. Existing graph pre-training strategies cannot address the computational graph in neural architectures due to the graph size and motifs. We introduce multi-level contrastive learning to achieve accurate graph representation learning.
  arXiv  Detail & Related papers  (2023-07-16T01:56:41Z)
• Cognitive Architecture for Decision-Making Based on Brain Principles Programming (in Russian) [0.34410212782758043]
  We describe a cognitive architecture intended to solve a wide range of problems based on the five identified principles of brain activity. We provide a basic ontology for a number of practical applications as well as for the functional domain based upon it, describe the proposed architecture, and give possible examples of the execution of these applications in this architecture.
  arXiv  Detail & Related papers  (2023-02-18T16:34:05Z)
• Cognitive Architecture for Decision-Making Based on Brain Principles Programming [0.3867363075280543]
  We describe a cognitive architecture intended to solve a wide range of problems based on the five identified principles of brain activity. We provide a basic ontology for a number of practical applications as well as for the functional domain based upon it, describe the proposed architecture, and give possible examples of the execution of these applications in this architecture.
  arXiv  Detail & Related papers  (2022-04-17T04:25:20Z)
• Towards a Predictive Processing Implementation of the Common Model of Cognition [79.63867412771461]
  We describe an implementation of the common model of cognition grounded in neural generative coding and holographic associative memory. The proposed system creates the groundwork for developing agents that learn continually from diverse tasks as well as model human performance at larger scales.
  arXiv  Detail & Related papers  (2021-05-15T22:55:23Z)
• Understanding Deep Architectures with Reasoning Layer [60.90906477693774]
  We show that properties of the algorithm layers, such as convergence, stability, and sensitivity, are intimately related to the approximation and generalization abilities of the end-to-end model. Our theory can provide useful guidelines for designing deep architectures with reasoning layers.
  arXiv  Detail & Related papers  (2020-06-24T00:26:35Z)
• A Semi-Supervised Assessor of Neural Architectures [157.76189339451565]
  We employ an auto-encoder to discover meaningful representations of neural architectures. A graph convolutional neural network is introduced to predict the performance of architectures.
  arXiv  Detail & Related papers  (2020-05-14T09:02:33Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.