Home // INTELLI 2017, The Sixth International Conference on Intelligent Systems and Applications // View article

A Model of Pulsation for Evolutive Formalizing Incomplete Intelligent Systems

Authors:
Marta Franova
Yves Kodratoff

Keywords: pulsation; Symbiotic Recursive Pulsative Systems; intelligent systems; intelligence by design; Ackermann's function; control; security; progress; practical completeness

Abstract:
The notion of pulsation concerns a possibility of a particular kind of intelligent controlled and secured evolution in dynamic real-world systems. It is therefore related to fundamentals in intelligent systems and applications as well as to the topic of intelligence by design. In this paper we present a model of pulsation based on Ackermann’s function. This brings more clarity to understanding Symbiotic Recursive Pulsative Systems that are important, for instance, for designing and implementing intelligent security systems or for automating robots’ programming in incomplete domains and unknown environments. One particular application for these systems is our Constructive Matching Methodology for automating program synthesis from formal specifications in incomplete domains.

Pages: 1 to 6

Copyright: Copyright (c) IARIA, 2017

Publication date: July 23, 2017

Published in: conference

ISSN: 2308-4065

ISBN: 978-1-61208-576-0

Location: Nice, France

Dates: from July 23, 2017 to July 27, 2017