Cartesian Intuitionism for Program Synthesis - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2013

Cartesian Intuitionism for Program Synthesis

Résumé

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.
Fichier principal
Vignette du fichier
cognitive_2013_5_40_40041_publie.pdf (93.67 Ko) Télécharger le fichier
Origine Accord explicite pour ce dépôt
Loading...

Dates et versions

hal-00862117 , version 1 (16-09-2013)

Identifiants

  • HAL Id : hal-00862117 , version 1

Citer

Marta Franova. Cartesian Intuitionism for Program Synthesis. Cognitive 2013, May 2013, Valence, Spain. ⟨hal-00862117⟩
140 Consultations
144 Téléchargements

Partager

More