Cartesian Intuitionism for Program Synthesis

Marta Franova (1)

1 TAO - Machine Learning and Optimisation

This paper presents two possible approaches to scientific discovery, the Newtonian and the Cartesian one. The paper explains the main difference between these two styles and underlines the importance of each of them. Its specific scientific contribution is presenting the less known Cartesian approach and the main problems that can be solved by it, in the light of our research in Automated Program Synthesis. The paper is thus related to the creative framework of modeling human reasoning mechanisms, cognitive and computational models, as well as modeling brain information processing mechanisms.

Cet article présente deux approches possibles à la découverte scientifique, la Newtonienne et la Cartésienne. L'article explique la différence principale entre ces deux styles et souligne l'importance de chacun d'entre eux. Sa contribution scientifique majeure est qu'il présente l'approche Cartésienne moins connue et les problèmes principaux qui peuvent être résolus par elle, à la lumière de notre recherche dans la Synthèse de Programmes. L'article est ainsi lié au cadre créatif de modélisation des mécanismes du raisonnement humain, de modèles cognitifs et informatiques, aussi bien que la modélisation de mécanismes mentaux en informatique.

Mots clés: creativity Program Synthesis; Newtonian style; Cartesian style; Constructive Matching Methodology

Domaines: Informatique; Intelligence artificielle [cs.AI]; Apprentissage [cs.LG]; Modélisation et simulation

Marta Franova. Cartesian Intuitionism for Program Synthesis. Cognitive 2013, May 2013, Valence, Spain. ⟨hal-00862117⟩