strucna osnova toho, co je u zk

Problemy s omezujicimi podminkami

• CSP – Constraint Satisfaction Problem
• _n-tice_ promenny X s hodnotami z _domen_ D
• mnozina omezeni nad promennymi X
• stav = prirazeni hodnot
  • konzistentni stav – nejsou poruseny omezeni
  • uplny – zminuje kazdou promennou X
  • reseni = uplny konsistentni stav
• varianty:
  • diskretni hodnoty promennych – konecne / spocetne domeny
  • spojite hodnoty promennych
  • omezeni unarni, binarni, vyssi arita, preferencni
• BACKTRACKING

Minimax

• uplny pro konecne stromy
• optimalni pro optimalne hrajicimu oponentovi

Hanoiske veze

?- op(100,xfx,to), dynamic(hanoi/5)
hanoi(1,A,B,C,[A to B]).
hanoi(N,A,B,C,Moves) :- N>1, N1 is N - 1, lemma(hanoi(N1,A,C,B,Ms1)), hanoi(N1,C,B,A,Ms2), 
                       append(Ms1,[A to B|Ms2], Moves).
lemma(P) :- P,asserta((P :- !))

Alfa - Beta prorezavani

Logicky agent

• agent vyuzivajici znalosti (knowledge based)
• reprezentace znalosti + vyvozovani znalosti
• deklarativni x proceduralni pristup
• znalostni x implementacni hledisko

Inference

• bezespornost: procedura i je bezesporna ⇔ pro kazde KB |-i alfa ⇒ KB |= alfa
• uplnost: i je uplna ⇔ pro kazde KB KB |= alfa ⇒ |-i alfa
• veta o dedukci: KB |= alfa ⇔ (KB ⇒ alfa)

Ucici se agent

• Vykonostni komponenta, kritika, komp. uceni, Generator problemu
• uceni s dohledem, bez dohledu, posilene

And/OR grafy

• ohodnoceni listu = cesta hrany do listu
• ohodnoceni AND uzlu = soucet ohodnoceni vsech nasledniku
• ohodnoceni OR uzlu = minimum z ohodnoceni vsech nasledniku

NN

• Realizace booleovskych operaci: AND – W0 = 1.5; OR – W0 = 0.5; NOT – W0 = -0.5, W1 = -1

Zpracovani prirozeneho jazyka

• faze: zamer, generovani, synteza → percepce, analyza, zjednoznacneni, zahrnuti
• zamery: informovat, ptat se, prikazat/pozadat, sblizit/sverit se s planem, potvrdit