Td corrigé 3.Logique des prédicats : formes normales - IA pdf

3.Logique des prédicats : formes normales - IA

Exemple : « Toute personne dans cet amphi est intelligente » : x est-dans(x, amphi) -> intelligent (x). "x P(x) est équivalent à la conjonction d'instanciations ...




part of the document