1
Download Texte en pdf - Intellectica
Transcript
Logiques et sciences cognitives 3 L'auteur propose de placer au centre de la modéliation des modalités épistémiques celle d'une société d'agents cognitifs, chaque agent étant doté (au prix d'une métaphore « logico-informatique ») d'un langage de représentation basé sur le lambda-calcul typé.
