Skip to Main content Skip to Navigation
Conference papers

A Model of Pulsation for Evolutive Formalizing Incomplete Intelligent Systems

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 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.
Document type :
Conference papers
Complete list of metadata
Contributor : Marta Franova <>
Submitted on : Tuesday, November 28, 2017 - 3:19:47 PM
Last modification on : Thursday, July 8, 2021 - 3:49:45 AM


Distributed under a Creative Commons Attribution - NonCommercial 4.0 International License


  • HAL Id : hal-01648748, version 1


Marta Franova, Yves Kodratoff. A Model of Pulsation for Evolutive Formalizing Incomplete Intelligent Systems. INTELLI 2017, Jul 2017, NICE, France. pp.6. ⟨hal-01648748⟩



Record views