Logiques et comportements des systèmes rationnels. Une esquisse d'épistémologie

Après l'introduction, en termes de logique, de la notion de système rationnel, deux grands chapitres étudient, l'un le fondement logique des raisonnements calculables, l'autre les stratégies de raisonnement. Le premier chapitre est essentiellement un exposé de diverses approches logiques, illustré par plusieurs exemples. Le second chapitre montre l'intérêt de ces diverses approches pour mettre en œuvre des stratégies de raisonnement dans un univers simplifié (comme les jeux). Cela conduit à étudier les rapports entre machines rationnelles et neurosciences, puis à une expression de ce qu'est un univers simplifié dans le contexte de la robotique et de l'analyse des séquences génétiques. La conclusion exprime un vœu de rigueur épistémologique dans le développement de l'intelligence artificielle, développement qui devrait consister en la poursuite d'expérimentations scientifiques rigoureuses à l'aide de machines simulant des systèmes rationnels.

After introducing the notion of rational systems from a logical viewpoint, two major sections study, first, the logical basis of calculable reasoning and, next, the strategies of reasoning. The first section is mainly an account of various logical approaches, backed by several examples. The second section shows the need for these approaches in implementing the strategies of reasoning in a simplified universe (like games). This leads to a study of the relationships between rational appliances and the neurosciences, then to express what is a simplified universe in the context of robotics and genetic sequences analysis. The conclusion advocates epistemological accuracy in the development of artificial intelligence, consisting of the pursuit of accurate scientific experiments with the help of appliances capable of simulating rational systems.