Skip to content
#software testing Open access

INTEGRAL UNDERSTANDING AND ARTIFICIAL INTELLIGENCE

Oct 2026 · Zenodo (CERN European Organization for Nuclear Research)
AI-based Problem Solving and Planning

Abstract

INTEGRAL UNDERSTANDING AND ARTIFICIAL INTELLIGENCE: Relational Architecture for Transduction, Memory, Discovery, Verification, and Mission Termination This research presents a relational and computational architecture for organizing artificial intelligence processes through transduction, structured state transitions, memory, search, verification, falsification, auditing, and explicit mission termination. The proposed architecture integrates a sequence of computational and epistemic operations: LATENCY → STRUCTURE → GENERATION → STATE → REFINEMENT → MEMORY → COVERAGE → BRANCHING → RECOVERY → REFUTATION → VERIFICATION → AUDITING → ARRIVAL CRITERION → STOP → RETURN → COCOON → END. The central objective is to establish a coherent framework in which the generation of candidate solutions is distinguished from their verification, the preservation of computational history, the recovery of previous states, and the determination of when a task has met its defined completion criteria. The article formalizes the architecture through a set of interacting components representing the state space, goals, actions, transition operators, memory, coverage, branching, recovery, refutation, verification, auditing, arrival criteria, and mission control. It also discusses potential applications to mathematical and computational research, software verification, cryptography, and the PAST-Mol computational hypothesis. Computational validation The study includes two computational experiments involving the Subset Sum problem. These experiments compare exhaustive enumeration with search strategies incorporating pruning and dynamic-programming guidance. Experiment 1 — Bound-based pruning For the set (A={1,2,\ldots,20}) and target (T=50), exhaustive enumeration examined (2^{20}=1,048,576) subsets and identified 1,969 solutions. A recursive search using upper-bound pruning visited 182,287 states and recovered the same 1,969 solutions. The reported reduction in the number of counted states was approximately 82.62%. Experiment 2 — Exhaustive search, pruning, and dynamic programming For a second set containing 20 positive integers and target (T=100), exhaustive enumeration, recursive bound-based pruning, and dynamic-programming-guided search each identified the same 51 solutions. The reported counts were 1,048,576 exhaustive masks, 19,763 states for bound-based search, and 1,455 search states for the dynamic-programming-guided strategy, with 2,121 dynamic-programming table cells. The search-state reduction relative to exhaustive enumeration was approximately 99.86% for the dynamic-programming-guided strategy. Both experiments report agreement between the solution sets and successful arithmetic audits. The results provide initial computational evidence for the tested search, pruning, and verification mechanisms. They do not, by themselves, establish a general polynomial-time algorithm, a universal efficiency guarantee, or a resolution of the P versus NP problem. The dynamic-programming result is understood in the context of the pseudo-polynomial dependence on the target value. Research contribution The principal contribution is the integration of computational search and epistemic control within a single relational architecture. The framework distinguishes candidate generation from verification, incorporates memory and recovery into the search process, and treats auditing and mission termination as explicit architectural functions rather than implicit outcomes. The two experiments provide an initial empirical basis for evaluating selected components of the proposal. Further research should extend the tests to larger and adversarial instances, measure runtime and memory under comparable conditions, conduct ablation studies, and compare the architecture against established algorithms and artificial-intelligence systems. The work is presented as a proposed architecture with initial computational validation and as a research program for developing more traceable, auditable, and systematically controlled computational processes. Author: Cláudio Vicente da SilvaAffiliation: Independent Researcher — Londrina, Paraná, BrazilDate: October 12, 2026

View source

Similar papers

#computer vision Review Sep 2017

Agile Software Development Methods: Review and Analysis

This publication proposes a definition and a classification of agile software development approaches and analyses ten software development methods that can be characterized as being "agile" against the defined criterion.

P. Abrahamsson, O. Salo, Jussi Ronkainen et al. · 727 citations · ⚡54
#computer vision Jun 2008

The impact of agile practices on communication in software development

The study shows that agile practices improve both informal and formal communication, but indicates that, in larger development situations involving multiple external stakeholders, a mismatch of adequate communication mechanisms can sometimes even hinder the communication.

M. Pikkarainen, Jukka Haikara, O. Salo et al. · 401 citations · ⚡48
#machine learning Review Open access Oct 2014

Software development in startup companies: A systematic mapping study

The results indicate that software engineering work practices are chosen opportunistically, adapted and configured to provide value under the constrains imposed by the startup context.

Nicolò Paternoster, Carmine Giardino, M. Unterkalmsteiner et al. · 394 citations · ⚡54
#computer vision Review Mar 2008

Agile methods in European embedded software development organisations: a survey on the actual use and usefulness of Extreme Programming and Scrum

The results show that the embedded industry has been able to apply agile methods in its development processes and that the appreciation of the agile methods and their individual practices appears to increase once adopted and applied in practice.

O. Salo, P. Abrahamsson · 238 citations · ⚡9
#computer vision Open access Jul 2017

What happens when software developers are (un)happy

Consequences of happiness and unhappiness that are beneficial and detrimental for developers' mental well-being, the software development process, and the produced artifacts are found.

D. Graziotin, Fabian Fagerholm, Xiaofeng Wang et al. · 236 citations · ⚡13
#computer vision Open access Oct 2004

Mobile-D: an agile approach for mobile application development

The Mobile-D approach is briefly outlined here and the experiences gained from four case studies are discussed, which helped develop an agile development approach for mobile application development.

P. Abrahamsson, Antti Hanhineva, H. Hulkko et al. · 225 citations · ⚡18

Related blog posts

Microsoft Research Blog Oct 12, 2026

Simulating student learning for better AI tutoring

StudentSim is a research system for evaluating and improving AI tutoring tools before they are tested with learners. It models how individuals may engage with tutors, giving feedback to improve tutor performance across subjects like chess, writing, and mathematics. The post Simulating student learning for better AI tutoring appeared first on Microsoft Research.

MIT News · Artificial Intelligence Oct 2, 2026

Documenting the tech worker movement

Writing as a participant and researcher, PhD student JS Tan SM ’22 has co-authored a new book about the rise of tech worker protests and the employer backlash that followed.

MIT News · Artificial Intelligence Oct 2, 2026

Documenting the tech worker movement

Writing as a participant and researcher, PhD student JS Tan SM ’22 has co-authored a new book about the rise of tech worker protests and the employer backlash that followed.

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.