Discussion :

[acacia]

Bonsoir,

comment représenter cette connaissance à l'aide de la logique des prédicats ?

R2 : Un ordre est un sous-ensemble des oiseaux.

[Trap D]

Ben je dirais qu'un animal fait partir de l'ordre si c'est un oiseau et si il satisfait aux caractéristiques particulieres de l'ordre.
En Prolog ça donnerait

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
ordre(X) :-
  oiseau(X),
  caractéristiques_de_l_ordre(X).

[Zavonen]

Voir html ci-joint
B: ensemble des oiseaux
O: ensemble des ordres

PS: le système a d'office rajouté une extension .txt qu'il convient de virer avant de visualiser avec n'importe quel navigateur.

[acacia]

Merci pour les réponses

ordre(X) :-
oiseau(X),
caractéristiques_de_l_ordre(X).

Je n'ai pas très bien compris le prédicat caractéristique_de_l_ordre(x)

∀ x x ∈ O ⇒ x ∈ B
∀ x x ∈ B ∨ x ∉ O
∀ x x ∈ B ∨ ¬(x ∈ O)

avec ces trois propositions, on fait trois autres règles?

[Trap D]

Le prédicat caractéristiques_de_l_ordre(X) doit être vérifié pour que l'oiseau fasse partie de l'ordre (tous les oiseaux ne font pas partie du sous-ordre).

∀ x x ∈ O ⇒ x ∈ B signifie simplement que si x est un élément de l'ordre, alors x est un oiseau, c'est l'implication logique, qui peut s'écrire aussi (simple transformation logique) ∀ x x ∈ B ∨ x ∉ O

[acacia]

Le prédicat caractéristiques_de_l_ordre(X) doit être vérifié pour que l'oiseau fasse partie de l'ordre (tous les oiseaux ne font pas partie du sous-ordre).

∀ x x ∈ O ⇒ x ∈ B signifie simplement que si x est un élément de l'ordre, alors x est un oiseau, c'est l'implication logique, qui peut s'écrire aussi (simple transformation logique) ∀ x x ∈ B ∨ x ∉ O

Merci

j'ai compris pour la deuxième, seulement pour le prédicat caracteristique_oiseaux(x) et oiseaux(x) je demande si possible un exemple avec des constantes

Merci encore.

[Trap D]

Je pense à cet exemple (désolé, je n'y connais rien en oiseaux)

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
animal(loup).
animal(carpe).
poumon(loup).
branchie(carpe).
 
poisson(X) :-
	animal(X),
	branchie(X).

On définit les poissons comme un sous-ordre des animaux, en disant que c'est un animal qui possède des branchies.
J'espère que tu peux lire un programme Prolog.

[acacia]

Je pense à cet exemple (désolé, je n'y connais rien en oiseaux)

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
animal(loup).
animal(carpe).
poumon(loup).
branchie(carpe).
 
poisson(X) :-
	animal(X),
	branchie(X).

On définit les poissons comme un sous-ordre des animaux, en disant que c'est un animal qui possède des branchies.
J'espère que tu peux lire un programme Prolog.

Oui, maintenant je comprends

Merci

[alex_pi]

∀ x x ∈ O ⇒ x ∈ B
∀ x x ∈ B ∨ x ∉ O
∀ x x ∈ B ∨ ¬(x ∈ O)

Tu es consciente que ces trois propriétés sont équivalentes ? (du moins en logique classique)

[acacia]

Tu es consciente que ces trois propriétés sont équivalentes ? (du moins en logique classique)

Oui.

dans un programme qui va me faire la traduction d'une formule, je dois prendre en compte les propositions équivalente (notation)