4 papers
Dimensional Confluence Algebra of Information Space Modulo Quotient Abstraction Relations in Automated Problem Solving Paradigm
Seppo Ilari Tirri
Confluence in abstract parallel category systems is established for net class-rewriting in iterative closed multilevel quotient graph structures with uncountable node arities by mu…
The Mathematical Abstraction Theory, The Fundamentals for Knowledge Representation and Self-Evolving Autonomous Problem Solving Systems
Seppo Ilari Tirri
The intention of the present study is to establish the mathematical fundamentals for automated problem solving essentially targeted for robotics by approaching the task universal a…
Evolution Theory of Self-Evolving Autonomous Problem Solving Systems
Seppo Ilari Tirri
The present study gives a mathematical framework for self-evolution within autonomous problem solving systems. Special attention is set on universal abstraction, thereof generation…
Algebraic Net Class Rewriting Systems, Syntax and Semantics for Knowledge Representation and Automated Problem Solving
Seppo Ilari Tirri
The intention of the present study is to establish general framework for automated problem solving by approaching the task universal algebraically introducing knowledge as realizat…