Advanced Knowledge Representation and Reasoning

La représentation et le raisonnement des connaissances constituent un domaine important de l'intelligence artificielle qui concerne la représentation symbolique des connaissances d'une manière automatisée par des programmes de raisonnement. Ce cours en ligne gratuit sur la représentation et le raisonnement des connaissances avancées vous expliquera en détail la contribution de la pensée à un comportement intelligent. Vous serez introduit dans le concept de la logique, de la psychologie et de la philosophie de la raison. Le cours met l'accent sur la façon dont les êtres humains sont capables de se comporter intelligemment et d'appliquer les connaissances de manière appropriée pour s'adapter à leur environnement.

Le cours commence par expliquer l'utilisation de la sémantique déclarative dans la logique du premier ordre. Le cours décrit la conceptualisation comme un champ d'étude en intelligence artificielle et la façon dont la satisfaction est souvent considérée comme une notion de vérité. Vous en apprendrez davantage sur la formulation des connaissances de façon descriptive et sur les principes sous-jacents qui guident l'élaboration de la formule des connaissances. Vous étudierez les rôles de l'axiome dans l'intelligence artificielle et l'utilisation de modèles dans la représentation des connaissances.

Ce cours en ligne gratuit discute ensuite des règles d'inférences, théorèmes et preuves dans la représentation des connaissances. Vous étudierez la relation entre la généralisation existentielle et universelle. Vous aurez aussi à en savoir davantage sur le concept de solidité et d'exhaustivité. Ce cours sera d'un grand avantage pour les professionnels des sciences informatiques ayant un vif intérêt pour le calcul du comportement. Vous avez commencé aujourd'hui et être bien équipé avec les connaissances nécessaires pour prospérer dans le monde de l'intelligence artificielle.