COURS // DIC9305 Logique, informatique et sciences cognitives
Mes cours favoris
Ce système permet de sélectionner vos cours favoris en prévision de votre inscription qui se fait sur le portail étudiant.
Trimestre | Cours | Groupe |
---|
Description du cours
- Cycle : 3
- Nombre de crédits : 3
- Discipline : Doctorat en informatique cognitive
Description
Le cours vise à 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.
Préalables académiques
[DIC9150 Concepts fondamentaux de l'informatique cognitive]
Horaire - Automne 2024
Ce cours n'est pas offert lors de ce trimestre.
Horaire - Hiver 2025
Ce cours n'est pas offert lors de ce trimestre.
Horaire - Été 2025
Ce cours n'est pas offert lors de ce trimestre.