Académique Documents
Professionnel Documents
Culture Documents
Définition
2
Logique d'ordre 0 :
C'est la logique des propositions.
Par exemple, « le chemin est long ».
Logique d'ordre 1 :
C'est la logique du calcul des prédicats.
La logique d'ordre 1 contient :
des variables substituables = variables d'individu, …
des quantificateurs : Pour tout, Quelque soit, ...
Le calcul des prédicats
14
Le calcul des propositions est bien trop limité pour décrire
des situations réelles. Il ne permet de décrire que des
phrases dont la vérité ne dépend pas des individus comme
par exemple « Il pleut». Il ne peut pas représenter des
phrases qui mettent en jeu des individus ou des objets.
Le syllogisme permet de parler de choses qui existent, ou
qui sont vraies pour certains individus et pas d'autres.
Exemple: (Aristote)
Tous les hommes sont mortels
Socrate est un homme
Donc, Socrate est mortel
Le calcul des prédicats
15
Prédicats :
HOMME(X) : X est un homme
ROMAIN(X) : X est romain
SOUVERAIN(X) : X est un souverain
FIDELE(X, Y) : X est fidèle à Y
HAIR(X,Y): X hait Y
ESSAYER_ASSASSINER(X, Y) : X essaye d'assassiner Y
Constantes :
Marcus
Cesar
Représentation des connaissances
26