Représentation des connaissances
La représentation des connaissances (ou Knowledge representation and reasoning ou KR² ou KR & R) constituent le domaine de l’intelligence artificielle (IA) dédié à la représentation d'informations sur le monde sous une forme qu'un système informatique peut utiliser pour résoudre des tâches complexes telles que le diagnostic d’un problème de santé ou la tenue d'un dialogue.
La représentation des connaissances intègre des découvertes de la psychologie sur la façon dont les humains résolvent les problèmes et représentent les connaissances afin de concevoir des méthodes formelles qui rendront les systèmes complexes plus faciles à concevoir et à construire. La représentation et le raisonnement des connaissances intègrent également les résultats de la logique pour automatiser divers types de raisonnement, tels que l’application de règles ou les relations entre ensembles et sous-ensembles.
Des exemples de formalismes de représentation des connaissances comprennent réseaux sémantiques, l’architecture des systèmes, des cadres, des règles et ontologies. Les exemples de moteurs de raisonnement automatisés incluent les moteurs d'inférence, les prouveurs de théorèmes et les classificateurs.
La série de conférences KR a été créée pour partager les idées et les progrès réalisés dans ce domaine difficile.