titre1
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