Site des Oraux |
| Eléments de logique et d'intelligence artificielle 2006 (2) ::
post Années :: 2005 :: 2007 :: 2008 :: Toutes |
| Post nº2 (id2375) envoyé par Julien le 22 Jun 2006, 19:17 Ce matin on a parlé de la logique des prédicats (plutôt axé sur la pratique que sur la théorie). (Dans ce qui suit, 'E' est le quantificateur existenciel et 'V' est l'universel.) Le prof commence par donner une formule de la logique des prédicats qu'il faut interprêter. Le domaine d'application est l'ensemble des nombres (strictement positifs) et la formule est E x P(f(a,b),x). Exemple: a désigne le nombre 1, b désigne le nombre 2, f correspond au plus grand des 2 arguments, et P(y,z) est vrai si y est plus petit que z. Ensuite, un petit détour par la logique des relations (si j'ai bien retenu). Il donne 3 formules un peu "bizarres" qu'il faut comprendre par ses explications et pour lesquelles il faut donner des formules équivalentes, en logique des prédicats. Je ne saurais pas redonner toutes les explications, mais les expressions étaient * C (inclus ou égal à) D --> "C est une catégorie/classe qui hérite de D" * V hasChild.Female(antoine) --> "Tous les enfants de antoine sont des filles" * E hasChild.Female(antoine) --> "antoine a au moins une fille" Ca donnait en logique des prédicats: * V x : C(x) -> D(x) * V x : CHILD(x,antoine) -> FEMALE(x) * E x : CHILD(x,antoine) & FEMALE(x) Ensuite, 3 théorèmes à démontrer: * { P(1), Vx: P(x) -> P(x+1) } => Vx: P(x) * théorème des chats, avec Vx: FEMALE(x) -> - MALE(x) (= contraposée) * ... et je ne souviens plus du 3ème (à résoudre par réfutation en faisant gaffe aux quantificateurs). Et c'est tout... Si vous avez bien revu les démos y'a moyen de bien s'en sortir. :) |
| Post nº1 (id1936) envoyé par kris le 01 Jun 2006, 22:56 rien d nouveau par rapport aux autres années. après avoir dit l'énoncé il nous fait attendre 30min ds un local avec tt ckon veut, cours,...pour moi ct A*. ensuite ds son bureau il demande d'expliquer ce kon c. en gros g réexpliqué la démo du cours. il aime bien voir si on a bien tt compris dc fo rien laisser au hasard. 1 kest qu'il aime bien et ki revient svt j pense c pq g(n*)=g*(n*), y a 1 explication ds le cours mais fo bien la comprendre et savoir expliquer. ensuite il m'a demander de vite lui expliquer le principe de la résolution par réfutation, pas trop en détail. sinon il est plutot sympa, il aide bien,... dc pas trop avoir peur |
oraux.pnzone.net - infos - 39ms |