M2 BD-IA
Outils de l’IA - Logiques de description

TD1 Logique de description ALCUEN
Exercice 1 :
1. Rappelez les opérateurs logiques considérés dans la logique ALCUEN
2. Rappelez les deux types d’axiomes disponibles.

Exercice 2 :
1. Un étudiant a modélisé les informations ci-dessous, expliquez sa modélisation et choisissez des noms explicites pour les noms des concepts définis appelés « concepti »
2. Décrivez la hiérarchie de généralisation/spécialisation (subsumption) décrite par cette modélisation.

Concepts atomiques : homme, femme, enfant
Rôles : a-enfant, a-frereSoeur

personne  homme  femme parent  personne   a-enfant.personne enfant  personne concept1  femme  parent concept2  homme  parent concept3  concept1   a-enfant.femme concept4  concept1  ≥ 2 a-enfant.personne concept5  homme  ≥  a-enfant.parent concept6  homme  ≥  a-enfant.(personne   a-enfant.personne) concept7  femme  ≥  a-frereSoeur.parent concept8  homme  ≥  a-frereSoeur.parent concept9  homme  ≥ 1 a-frereSoeur.personne concept10  femme  ≥ 1 a-frereSoeur.personne

Exercice 3 :
Dans le cadre de la mise en place d’un système informatisé pour des locations de voiture et pour permettre des vérifications des spécifications, il a été décidé de développer une 1ère modélisation en logique de description.
Les concepts de Voiture, Société, Agence et Réservation sont à modéliser avec les relations et les contraintes suivantes :
Une voiture appartient à une société et une société peut avoir 1 à plusieurs voitures
Une agence gère 1 à plusieurs voitures et 1 voiture est gérée par une seule agence
Une société possède 1 à plusieurs agences et une agence est affiliée à une seule société
Une réservation comporte une voiture et possède une agence de départ et une agence d’arrivée, une agence peut avoir 0 à plusieurs réservations.

3. Proposez une modélisation de ces informations en définissant les concepts