Evolution Theory of Self-Evolving Autonomous Problem Solving Systems

08/24/2013
by   Seppo Ilari Tirri, et al.
0

The present study gives a mathematical framework for self-evolution within autonomous problem solving systems. Special attention is set on universal abstraction, thereof generation by net block homomorphism, consequently multiple order solving systems and the overall decidability of the set of the solutions. By overlapping presentation of nets new abstraction relation among nets is formulated alongside with consequent alphabetical net block renetting system proportional to normal forms of renetting systems regarding the operational power. A new structure in self-evolving problem solving is established via saturation by groups of equivalence relations and iterative closures of generated quotient transducer algebras over the whole evolution.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
08/06/2014

The Mathematical Abstraction Theory, The Fundamentals for Knowledge Representation and Self-Evolving Autonomous Problem Solving Systems

The intention of the present study is to establish the mathematical fund...
research
05/24/2013

Algebraic Net Class Rewriting Systems, Syntax and Semantics for Knowledge Representation and Automated Problem Solving

The intention of the present study is to establish general framework for...
research
12/16/2021

Skeleton Abstraction for Universal Temporal Properties

Uniform coloured Petri nets can be abstracted to their skeleton, the pla...
research
06/08/2018

Orbital Petri Nets: A Novel Petri Net Approach

Petri Nets is very interesting tool for studying and simulating differen...
research
10/02/2018

Proof nets, coends and the Yoneda isomorphism

Proof nets provide permutation-independent representations of proofs and...
research
08/26/2020

Countdown games, and simulation on (succinct) one-counter nets

We answer an open complexity question by Hofman, Lasota, Mayr, Totzke (L...
research
11/01/2022

True Concurrency Can Be Easy

Step net bisimulation is a coinductive behavioral relation for finite Pe...

Please sign up or login with your details

Forgot password? Click here to reset