Exam with solutions

Examen 2024.

N.B. la consultation des copies aura lieu le Dimanche 02 Juin 2024 vers 12.00

Problème I : Systèmes Experts. (4 points)

Le diagnostic est le raisonnement menant à l'identification de la cause (l'origine) d'une défaillance, d'un système, à partir de symptômes relevés par des observations, des contrôles ou des tests. La base de connaissances de domaine suivante est utilisée dans la tache de diagnostic des moteurs.

1.    SI fuse.status = blown ALORS power.status = off;

2.    SI battery.status = low ALORS power.status = off;

3.    SI power.status = off ALORS engine-behavior.status = does-not-start;

4.    SI fuel-tank.status = empty ALORS gas-in-engine.status = false;

5.    SI gas-in-engine.status = false ALORS engine-behavior.status = does-not-start;

6.    SI gas-in-engine.status = false ALORS engine-behavior.status = stops;

7.    SI fuse.status = blown ALORS fuse-inspection.value = broken;

8.    SI battery.status = low ALORS battery-dial.value = zero;

9.    SI fuel-tank.status = empty ALORS gas-dial.value = zero;

Fig.1: Car Domain Knowledge

Que décide le système pour le cas suivant : a car Volkswagen Golf V GTI that have engine-behavior.status = does-not-start.

Problème II : ontologies (8 points)

Etant donné le modèle suivant qui décrit partiellement la vie animale d'une certaine région.

 

Sheep only eat grass. Grass is a plant. Plants and are disjoint from animals. Vegetarians only eat things which are not animals. Cows are naturally vegetarians. A mad cow is one that has been eating some animals.

 

A)    traduire ce modèle en logique des prédicats et logiques de description. (06 points)

B)    Les concepts de ce modèle sont-ils satisfiables. (02 points)

Problème III : Graphes de connaissances (8 points)

Soit le graphe de connaissances suivant qui décrit des liens dans un réseau social.

 

A.    Donner les requêtes Cypher qui permet de créer ce graphe.

B.     Exprimer en Cypher la requête suivante  Who lives in Berlin?

Solutions

Problème I

Que décide le système pour le cas suivant : a car Volkswagen Golf V GTI that have engine-behavior.status = does-not-start: (04 points)

 Problème II

Etant donné le modèle suivant qui décrit partiellement la vie animale d'une certaine région.

A)    traduire ce modèle en logique des prédicats et logiques de description. (06 points)

B)    Les concepts de ce modèle sont-ils satisfiables (02 points)

Les problèmes du modèle: Le modèle est incohérent car le concept mad Cows est insatisfiable.  

Problème III : Graphes de connaissances

Soit le graphe de connaissances suivant qui décrit des liens dans un réseau social.

A.    Donner les requêtes Cypher qui permet de créer ce graphe. (5 points)

MERGE (london:Place {city:'London', country:'UK'})   // Creates or matches a node to

                                                                                       // represent London, UK

                                                                                      // Binds it to variable "london"

MERGE (fred:Person {name:'Fred'})                     // Creates or matches a node to represent Fred

                                                                               // Binds it to variable "fred"

MERGE (fred)-[:LIVES_IN]->(london)       // Create or match a LIVES_IN relationship

                                                               // between the fred and london nodes

MERGE (karl:Person {name:'Karl'})    // Creates or matches a node to represent Karl

                                                 // Binds it to variable "karl"

MERGE (karl)-[:LIVES_IN]->(london)     // Create or match a LIVES_IN relationship

                                                          // between the karl and london nodes

MERGE (berlin:Place {city:Berlin', country:'DE'})     // Creates or matches a node to

                                                                                       // represent Berlin, DE

                                                                                      // Binds it to variable "berlin"

MERGE (rosa:Person {name:'Rosa'})   // Creates or matches a node to represent Rosa

                                                        // Binds it to variable "rosa"

MERGE (rosa)-[:LIVES_IN {since:1980}]->(berlin) 

                                     // Create or match a LIVES_IN relationship

                                    // between the rosa and berlin nodes

MERGE (karl)-[:FREIND]->(rosa)

MERGE (rosa)-[:FREIND]->(karl)

MERGE (karl)-[:FREIND]->(fred)

MERGE (fred)-[:FREIND]->(karl)

 

B.     Exprimer en Cypher la requête suivante  Who lives in Berlin? (3 points)

MATCH (p:Person)-[:LIVES_IN]->(:Place {city:'Berlin', country:'DE'})

RETURN (p)