A Model of Pulsation for Evolutive Formalizing Incomplete Intelligent Systems
Modèle de Pulsation pour une formalisation évolutive des systèmes intelligents incomplets
Résumé
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.
Mots clés
pulsation
Symbiotic Recursive Pulsative Systems
security
progress
progress
practical completeness
Symbiotic Recursive Pulsative Systems
intelligent systems
Ackermann's function
practical completeness
security
control
Ackermann's function
intelligence by design
intelligent systems
control
intelligence by design