Inf 5100, copie de la base de règles et de raisonnements
Par Christopher • 21 Octobre 2018 • 2 475 Mots (10 Pages) • 414 Vues
...
ALORS l’animal est un MAMMIFÈRE
On ne peut rien déduire
De la règle: SI l’animal se NOURRIT_UNIQUEMENT_EUCALYPTUS
ALORS l’animal est un KOALA
On ne peut rien déduire
De la règle: SI l’animal VOLE
ET l’animal est CARNIVORE
ET l’animal DONNE_DU_LAIT_À _PETIT
ALORS l’animal est une CHAUVE_SOURIS
On ne peut rien déduire
De la règle: SI l’animal est un FAUCON
ALORS l’animal est CARNIVORE ET l’animal est un OISEAU
On ne peut rien déduire
De la règle: SI l’animal est un MARSUPIAL
ET l’animal est CARNIVORE
ET l’animal a une QUEUE_PRÉHENSIBLE
ALORS l’animal est un OPPOSUM
On ne peut rien déduire
De la règle: SI l’animal est un MARSUPIAL
ALORS l’animal est de HEMISPHERE_SUD
On déduit: --------> l’animal est de HEMISPHERE_SUD
l’animal est de HEMISPHERE_SUD est ajouté à la base de faits
De la règle: SI l’animal est POILU
ALORS l’animal DONNE_DU_LAIT_À _PETIT
On ne peut rien déduire
De la règle: SI l’animal PORTE_PETIT_POCHE_VENTRALE
ET l’animal a des PHALANGES_LONGUES
ALORS l’animal est un PHALANGER
On ne peut rien déduire
De la règle: SI l’animal DONNE_DU_LAIT_À _PETIT
ET l’animal PORTE_PETIT_POCHE_VENTRALE
ALORS l’animal est un MARSUPIAL
On ne peut rien déduire
De la règle: SI l’animal est un MARSUPIAL
ET l’animal fait des GRANDS_BONDS
ALORS l’animal est un KANGOUROU
On ne peut rien déduire
De la règle: SI l’animal DONNE_DU_LAIT_À _PETIT
ALORS l’animal est un MAMMIFÈRE
On ne peut rien déduire
De la règle: SI l’animal se NOURRIT_UNIQUEMENT_EUCALYPTUS
ALORS l’animal est un KOALA
On ne peut rien déduire
De la règle: SI l’animal VOLE
ET l’animal est CARNIVORE
ET l’animal DONNE_DU_LAIT_À _PETIT
ALORS l’animal est une CHAUVE_SOURIS
On ne peut rien déduire
De la règle: SI l’animal est un FAUCON
ALORS l’animal est CARNIVORE ET l’animal est un OISEAU
On ne peut rien déduire
De la règle: SI l’animal est un MARSUPIAL
ET l’animal est CARNIVORE
ET l’animal a une QUEUE_PRÉHENSIBLE
ALORS l’animal est un OPPOSUM
On ne peut rien déduire
De la règle: SI l’animal est un OISEAU
ALORS l’animal VOLE ET l’animal POND_OEUFS
On ne peut rien déduire
De la règle: SI l’animal est un MAMMIFÈRE
ET l’animal POND_OEUFS
ALORS l’animal est un ORNITHORYNQUE
On ne peut rien déduire
DÉDUCTION TERMINÉE
D’après la déduction, nous savons donc que l’animal provient de l’hémisphère sud et
qu’il est un Koala.
Activité 3.3 - Construire et interroger une base de données logique
1- Copie de la base de règles PROLOG
donne_du_lait(X) :- poilu(X).
phalanger(X) :- phalanges_longues(X), porte_petit_poche_ventrale(X).
koala(X) :- grimpe_arbres(X), marsupial(X).
marsupial(X) :- porte_petit_poche_ventrale(X), donne_du_lait(X).
kangourou(X) :- grands_bonds(X), marsupial(X).
mammifère(X) :- donne_du_lait(X).
koala(X) :- nourrit_uniquement_eucalyptus(X).
chauve_souris(X) :- donne_du_lait(X), carnivore(X), vole(X).
oiseau(X) :- carnivore(X), faucon(X).
oposum(X) :- queue_préhensible(X), carnivore(X), marsupial(X).
hémisphère_sud(X) :- marsupial(X).
...