Corrige Intelligence artificielle initiation 2006 GI

Description

˛ˇˇ˛ˇ˛˛ˇˇ˛ˇˇˇˇ˛ˇˇˇ"UTBM Automne 2006UV IA 41 – Int elligence Artificielle e t re présentation de s c onnaissancesExamen Médi an(Correction)1) Prédicat objet (2 poi nts)1. Enoncez en français les 6 propriétés élémentaires que doit vérifier une expression symbolique E pour a ppartenir a u t ype “ objet”.- E e st une l iste- E e st non vi de- re ste E e st non vi de- re ste re ste E e st vi de- tete E e st un nom bre- tete re ste E e st un nom bre2. D éduisez-e n l a dé finition form elle du pré dicat objet o .{ o Atom et reste o ≠ () et reste reste o = () et tete o Nombre et tete reste o Nombre } → obj et o = V RA I{ o Atom } ou{ o Atom e t re ste o = () } ou{ o Atom e t re ste re ste o ≠ () } ou{ o Atom e t t ete o N ombre } ou{ o Atom e t t ete re ste o N ombre } → obj et o = FAUX3. D onnez l e ré sultat de l 'application de vot re pré dicat s ur l e j eu d' essais s uivant :- obj et () = FAUX- obj et (1 2) = V RA I- obj et (1 u) = FAUX- obj et ((5 2)) = FAUX- obj et (1 2 5) = FAUX2) P rédicat sac (3 poi nts)1. D onnez le profil et la définition formelle récursive du prédicat sac s, qui retourne VRAI si s e st un s ac e t FAUX s inon.Profil :Expr → { V RA I, F AUX }D éfinition form elle :e Expr{ e = () } → s ac e = V RA I{ e Atom } → s ac e = FAUX{ e Atom e t t ete e Atom } → s ac e = FAUX{ e Atom et tete e Atom et (obj et tete e = VRA I ou sac tete e = VRA I) } → sac e = s ac re ste ...

Informations

• Publié par: shin
• Nombre de lectures: 179
• Langue: Français

Extrait

UTBM UV IA41 – Intelligence Artificielle et représentation des connaissances

1) Prédicatobjet(2 points)

Examen Médian (Correction)

 Automne2006

1. Enoncezen français les 6 propriétés élémentaires que doit vérifier une expression symbolique E pour appartenir au type “objet”. - E est une liste - E est non vide - reste E est non vide - reste reste E est vide - tete E est un nombre - tete reste E est un nombre

2. Déduisez-enla définition formelle du prédicatobjet o. { oÏAtom et reste o ≠ () et reste reste o = () et tete oÎNombre et tete reste oÎ Nombre } → objet o = VRAI { oÎAtom } ou { oÏAtom et reste o = () } ou { oÏAtom et reste reste o ≠ () } ou { oÏAtom et tete oÏNombre } ou { oÏAtom et tete reste oÏNombre } → objet o = FAUX

3. Donnezle résultat de l'application de votre prédicat sur le jeu d'essais suivant : - objet () = FAUX - objet (1 2) = VRAI - objet (1 u) = FAUX - objet ((5 2)) = FAUX - objet (1 2 5) = FAUX

2) Prédicatsac(3 points)

1. Donnezle profil et la définition formelle récursive du prédicatsac s, qui retourneVRAI si s est un sac etFAUXsinon. Profil : Expr → { VRAI, FAUX } Définition formelle : "eÎExpr { e = () } → sac e = VRAI { eÎAtom } → sac e = FAUX { eÏAtom et tete eÎAtom } → sac e = FAUX { eÏAtom et tete eÏAtom et (objet tete e = VRAI ou sac tete e = VRAI) } → sac e = sac reste e { eÏAtom et tete eÏAtom et (objet tete e = FAUX et sac tete e = FAUX) } → sac e = FAUX

2. Simulerl'application de votre fonction sur le jeu d'essais suivant : - sac () = VRAI