* COURS EN PRÉPARATION *
Ce cours n'est pas offert actuellement.
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.
Renseignements technologiques
Consultez l'information sur le matériel informatique recommandé.