titre1

711 mots 3 pages
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

en relation

  • Devoir 1
    1235 mots | 5 pages
  • Titre 1
    4702 mots | 19 pages
  • Svt 1
    301 mots | 2 pages
  • Untitled 1
    814 mots | 4 pages
  • Thème 1
    507 mots | 3 pages
  • Sans Titre 1
    1021 mots | 5 pages
  • Sujet 1
    503 mots | 3 pages
  • enviro 1
    2617 mots | 11 pages
  • Untitled 1
    375 mots | 2 pages
  • Pr Sentation De La Structure
    840 mots | 4 pages
  • Fiches1
    2044 mots | 9 pages
  • letre 1
    281 mots | 2 pages
  • titre 1
    370 mots | 2 pages
  • Philo cours
    1308 mots | 6 pages
  • FIL1
    2104 mots | 9 pages