Inteligenta Artificiala
2016 · Sesiune · C4
Nr. 1
Teorie
1. pda vs lrta
2. operatori la planificare neliniara
3. cum se rezolva conflictele la SBR
4. pasul de simulare la MCTS
5. de trecut o propozitie in logica clauzala
6. metode de constructie a unei clase OWL
7. distanta si distanta inferentiala la retele semantice
8. de calculat 2 probabilitati la Bayes (fix ca in favorite)
9. O problema cu 3 functii euristice f(x), g(x), h(x) admisibile pentru aceeasi functie de distanta. intreba care din urmatoarele sunt si ele admisibile:
(a) f(x) + g(x) + h(x)
(b) f(x) / 6 + g(x) / 3 + h(x) / 2
(c) min(f(x), g(x), h(x))
(d) max(f(x), g(x), h(x))
Probleme
1. O problema cu avioane care transporatu colete si 3 orase. Erau descrise 3 actiuni:
Incarca(cine, ce), Descarca(cine, ce), ZboaraLa(cine, unde).
a) descrierea STRIPS a actiunilor si ce predicate sunt necesare pentru descrierea
b) sa se scrie o planificare (sau un program de planificare, nu mai tin minte sigur) pentru problema
c) sa se descrie un algoritm care rezolva problema generala (oricate avioane, oricate orase)
2. O problema cu naive bayes, trebuia creata o retea bayes dupa 8 data set-uri si de calculat o probabilitate. Am inteles ca era destul de usoara.
3. O problema de limbaj natural. Se dadea o propozitie ambigua si trebuiau determinati arborii sintactici, se li se calculeze probabilitatea si sa se determine care arbore descrie interpretarea corecta a propozitiei (pe baza probabilitatii).
4. O problema de respingere rezolutiva
a) se dadeau nistre propozitii in limbaj natural si se crerea scrierea lor in logica cu predicate
b) se cerea trecerea in forma clauzala a propozitilor
c) se dadea o teorie si se cerea demonstrarea ei prin respingere rezolutiva
2 februarie 2017
Inteligenta Artificiala
2016 · Sesiune · 341A3 Directa A
Subiecte SBC :
1. Structura sistemelor bazate pe cunostiinte
2. Parcurgerea in adancime pt arbori/grafuri
3. Etapele sistemului rezolutiv
4. Scrieti un program in Prolog care calculeaza suma elementelor unei liste
5. O problema cu CF.
31 ianuarie 2017
Inteligenta Artificiala
2016 · Sesiune · 342 A3 Directa A
Subiecte SBC -2017
1. Tip de similitudine.
2. Cautarea optimala
3. Prolog: Numarul de aparitii al lui x din doua liste
4. O problema cu castig informational
31 ianuarie 2017
Inteligenta Artificiala
2016 · Sesiune · 341A3 Directia A
1. Structura sistemelor bazate pe cunostinte
2. Parcurgerea in adancime pentru arbori/grafuri
3. Etapele sistemului rezolutiv
4. Scrieti un program in Prolog care calculeaza suma elementelor unei liste
5. O problema cu CF.
Alte subiecte posibile:
1.Particularitatea reprezantarii prin cadre
2.Functia de apartenenta si logica Fuzzy
3.Reprezentarea cunostintelor prin reguli de productie
4.Reprezentarea prin limbaje de ordin I
5.Inferenta logica, lant inferential
6.Cautarea in largime
7.Cautarea optimala,
8.Incertitudini
9.Comis voiajor
10.Castig informational
11.Inconsistenta
25 ianuarie 2017
Inteligenta Artificiala
2016 · Sesiune · C4
Mai jos aveti un link cu rezolvari la subiectele favorite la Inteligenta artificiala si Invatare automata. De obicei doamna profesor da subiecte foarte multe din favorite asa ca invatati rezolvarile.
https://docs.google.com/document/d/1-MWB_t14EUTrWrE5KOm6CzzgFSuIYI54wlqnf_UVzrs/edit
25 ianuarie 2017
Inteligenta Artificiala
2016 · Sesiune · C4
Link cu rezolvări la subiectele date în anii anteriori și cu subiecte le Învățare Automată la [1].
Din docs, de la partea cu "Subiecte din folclor", la un număr a fost:
exercitiile: 11, 12, 13 doar ca ne cerea influenta pasului de simulare asupra algoritmului, 14
la 15 putin diferit adica parca era P(~L, ~R, A, S, T,F)
sau ceva de genul
oricum tot aia e ideea la exercitiiile de genul ala
16
41
a mai fost o chestie dubioasa
cum poate fi imbunatatita o DCG tinandu-se cont de semantica
eu la asta i-am scris niste cod prolog
nu stiu exact ce trebuia sa scriu
eua gramatica asa:
S -> NP VP
NP -> Substantiv
VP -> Verb | Verb ADjectiv
Verb -> merge | este
Adjectiv -> frumos
Substantiv -> Ion
si aveai o gramatica semantica atasata:
"Actiune" + semantica verb
"proprietate" + semantica adjectiv
merge, respectiv este
frumos
ion*
si trebuia sa zici cum sa imbunatatesti gramatica daca se foloseste o gramatica compozitionala parca
nu mai stiu care a fost al 9 lea subiect
oricum era ceva ce a mai dat pana acum cred
adica noua ne-a dat la fel ca anul trecut
la probleme de demonstrat o teorema
iesea repede
un chart parser
si 2 probleme: una cu CSP si una ca tema 3
[1] https://docs.google.com/document/d/1-MWB_t14EUTrWrE5KOm6CzzgFSuIYI54wlqnf_UVzrs/edit
7 iunie 2016
Inteligenta Artificiala
2016 · Sesiune · 341/342 C3
NR1
1. Comparatie HC stochastic - Simulated Annealing
2. Teorema lui Bayes cum extragi probabilitatea unei clauze hi dandu-se e1..en .
3. Modalitati de alegere BDI
4. Mutex actiuni si literali la GP
5. De imbogatit o gramatica DCG
6. Distanta inferentiala si ce rol are in mostenirea valorilor multiple
7. Modalitati de rezolvarea conflictelor pentru SBR
8. Pasi MCTS si care e cel mai important din punct de vedere al performantei
9. Probleme planificare liniara , anomalia lui Sussman si sa dai exemplu de o problema ce nu poate fi rezolvata cu planificare liniara
NR2.
1. Diferente intre algoritmul prazii si algoritmul pradatorului in algoritmul de cautare cu tinta mobila MTS
2. Algoritmul MaxN
3. Ce reprezinta un match inter-element si un match intra-element pentru RETE.
4. Cum se poate defini o clasa OWL
5. Legaturi mutex intre actiuni si intre literali
6. O problema MYCIN (gen aia din anii anteriori).
7. O problema de probabilitati Bayes avand P(A), P(B) P(A|B) si P(A and B). Sa se verifice daca un agent a actionat rational cand a ales o valoare pentru P(A sau B).
8. Imbogatirea unei gramatici DCG
9. Care sunt operatorii de modificare a planului in metoda de planificare neliniara si in ce cazuri sunt folositi?
Pentru partea de probleme aveti atasat mai jos un model. A patra problema era un chart CKY destul de simplu(era pe verso).
5 februarie 20161 fișier pierdut
Inteligenta Artificiala
2016 · Sesiune · 341A3 -342 A2 Directia A
Subiecte teorie
1. Fazele sr
2. Cautare optimala
3. CF (definitie + comentarii)
problema cu CF
21 ianuarie 2016
Inteligenta Artificiala
2016 · Parțial · master IA IA
KRR
1.Give your own definition of knowledge in Artificial Intelligence.
2.What is model theory and what is proof theory?What is the connection between them?
3.F contains G
4.S = { P(x), ~P(x) v Q(x, a), ~Q(y, a) }, x, y variables, a constant
Herbrand universe
Herbrand base of S
Build a complete semantic tree of S
Closed semantic tree of S and justify why is closed
5.Consider that statements, formalize this knowledge in Reiter’s default logic and indicate all extensions of the theory
6.For each of the following 2 formulas in which modal logic system the formulas are false? Prove by contra example.
◇ p ->
26 noiembrie 2016