Préalable

DIC 9150

Objectif et contenu

Faire le lien entre informatique cognitive et sciences cognitives par le biais de la logique. Étude syntaxique et sémantique des logiques non classiques pertinentes pour l'informatique cognitive : logique modale, logique déontique, logique temporelle et topologique, logique du savoir et de la croyance, logique polyvalente, logique intuitionniste, logique floue, théorie des possibilités, logique paraconsistante, logique des défauts, logique non monotone... Étude des liens entre logique et sciences cognitives : la place du raisonnement logique dans l'activité cognitive humaine, les erreurs logiques humaines, compétence logique et procédures logiques dans l'esprit humain, l'apprentissage de la logique, de la logique spontanée à la logique formelle. Étude des liens entre logique et informatique cognitive : logique du dialogue homme-machine, logique des agents intelligents, modélisation et simulation des connaissances et des inférences dans les programmes-experts.

Liste des programmes dont ce cours fait partie