Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Cette séance de cours explore le concept de systèmes de règles, de simulations et de mondes parallèles, en commençant par les bases de Prolog et les algorithmes de retour en arrière. Il plonge dans la complexité des règles de la logique, de la logique propositionnelle à la logique d’ordre supérieur. La discussion s'étend à la simulation Game of Life, à la création d'instances de simulation stables (Simulats) et aux défis de l'adaptation des simulations aux observations. La séance de cours se termine par l'idée du Simulat comme une version stable de la réalité, soumise à une évolution continue basée sur de nouvelles données et contraintes, conduisant à l'exploration des mondes parallèles et au concept de bifurcation mondiale.