Dans ce module, vous apprendrez comment la logique de premier ordre, appelée logique de prédicat pour le calcul du prédicat du premier ordre, est une langue co-choisie par la communauté du renseignement artificiel à des fins de représentation des connaissances.

Dans ce module, vous apprendrez comment les inférences sont utilisées pour arriver à de nouvelles phrases à partir de phrases existantes. Vous apprendrez également comment la conceptualisation se compose des fonctions et des relations des objets.