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