Site des Oraux |
Langages de programmation de la robotique et intelligence artificielle (3) ::
post Années :: 2006 :: 2008 :: Toutes |
Post nº3 (id3611) envoyé par Titi le 16 Jun 2008, 17:26 Ce matin, tout le monde a eut inférence en logique des prédicats. On a tous eut 5 théorèmes à démontrer dont celui du chat (les autres pour ma part c'était tous par réfutation et pas super compliqué). Ensuite une dernière question qui était soit interpréter P(a,f(b,c)) ou "Si {P,Q}=>R, alors {P}=>(Q->R)" (les réponses à ces questions se trouvent sur oraux.be-4°-info donc...rien à rajouter:)). |
Post nº2 (id1707) envoyé par stephane le 19 Jan 2006, 17:30 Question sur NOAH, pas de blabla introductif, on rentre directement en scène avec plans à trouver. (Sussman, etc) il 'suffit' de bien comprendre comment ça marche.... Ptes questions : - Implémentation informatique (liste Condition, Ajout, Retrait) -> Cmt sait-on que l'action est primitive, fantôme, macro -> Cmt sait-on qu'il y un conflit - Qu'est-ce un état de référence? cmt l'état de référence évolue-t-il - etc... |
Post nº1 (id1704) envoyé par chris le 19 Jan 2006, 13:37 pour commencer il vous appelle 1 par 1. celui qui est appelé a +/- 1/2h pour préparer sa question. Le seul énoncé c'était:"nous allons parler de l'inférence en logique des prédicats". Quand je suis passé il m'a mis 1 formule au tableau: P(a,f(b,c)) et j devais lui donner un exemple d'interprétation avec un domaine sémantique au choix ("par exemple des chatons"(pcq j crois qu'il a donné 1 exemple avec des chatons au cours)). Au début j'avais rien compris, je disais à peu près n'importe quoi, mais com il aide bcp on arrive finalement à une interprétation à peu près correcte. La mienne ct: la fonction f applique un ou pls objet sur un objet, donc par exemple f(b,c) représente le chaton le plus proche des chatons b et c (c'est 1 exemple). Et 1 prédicat à 2 arguments définit 1 relation entre ces 2 arguments, moi ct: P(a,f(b,c)) veut dire que le chaton a est à coté du chaton le + proche de b et c. Ensuite il m'a mis 3 démos, je saurais pas les retaper com ça. C pas les + faciles mais elles sont faisables. Y a des quantificateurs existentiels et universels, et à la 1ère y avait mm 2 variables (x et y).à un moment gt bloqué mais il m'a donné 1 indice et ça repart. Je trouve qu'il m'a qd mm pas mal corrigé, g dit qq belles conneries mais g qd mm eu 15 donc y a vrmt moyen. |
oraux.pnzone.net - infos - 54ms |