A Model of Pulsation for Evolutive Formalizing Incomplete Intelligent Systems - Archive ouverte HAL Access content directly
Conference Papers Year : 2017

A Model of Pulsation for Evolutive Formalizing Incomplete Intelligent Systems

Modèle de Pulsation pour une formalisation évolutive des systèmes intelligents incomplets

(1) , (1)
1
Marta Franova
Yves Kodratoff
  • Function : Author
  • PersonId : 831511

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.
Not file

Dates and versions

hal-01648748 , version 1 (28-11-2017)

Licence

Attribution - NonCommercial - CC BY 4.0

Identifiers

  • HAL Id : hal-01648748 , version 1

Cite

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

Share

Gmail Facebook Twitter LinkedIn More