Logikai ágensek Mesterséges intelligencia 2014. március 21.
Bevezetés Eddigi példák tudásra: állapotok halmaza, lehetséges operátorok, ezek költségei, heurisztikák Feltételezés: a világ (lehetséges állapotok és állapotátmenetek) teljesen megfigyelhető A való világ sokkal komplexebb Csak részben megfigyelhető
Leírás szintjei tudásszint - mit tud az ágens logikai szint - hogyan van a tudás kódolva implementációs szint - számítógépes reprezentáció
Logikai reprezentáció Természetes nyelvek által inspirált NEM természetes nyelv A jelentés matematikailag definiált Nincs jelen bizonytalanság Ítéletkalkulus (ma) Elsőrendű logika (jövő hét)
Wumpus világ Környezet: 4x4-es rács (szobák) A kezdőállapotban az ágens az (1,1)- en áll Pontosan egy szobában wumpus Pontosan egy szobában arany Minden szobában 20% valószínűséggel csapda (de a játék kezdete után fix) Az (1,1)-ben se wumpus, se verem
Szabályok Ha csapdába vagy wumpusba botlunk, vesztettünk: game over Beavatkozások: Jobbra Balra Előre egy szoba Nyíl kilő (egy nyíl van, vagy fal vagy wumpus állítja meg) Arany felvesz.
Érzékelők szag (ha wumpus van a szobában vagy a szomszédban) szellő (csapda van a szomszédban) arany ütés (ha falba ütközünk) sikoly (wumpus elpusztult) Kiértékelés: -1 pont: minden akció, -10: nyíl, 1000: arany.
Tények és szabályok Tények: a szenzorok által érzékelt információ Szabályok: a háttértudás (minden amit tudunk és nem közvetlen megfigyelésből jön). Tények+szabályok alapján következtetéssel megkapjuk az aktuális állapot legjobb leírását Érzékelés hibátlan + nincs kivétel a szabályok alól
Példa http://www.inthe70s.com/games/wumpus
Logika elemei szintaxis a nyelv szimbólumai miként lehet mondatokat formálni szemantika megszabja, hogy a mondatok a világ mely tényeire vonatkoznak jelentést ad a mondatoknak lehetséges világok / modellek következtetés adott szintaxis és szemantika mellett új mondatokat származtat
TB = q vonzat (Minden olyan interpretációban, ahol TB igaz, q is igaz) TB i q levezetési szabály A következtetés tulajdonságai: biztos: tényleg csak a következményeket állítja elő, azaz ha TB q, akkor TB =q. teljes: az összes következményt előállítja, azaz ha TB =q, akkor TB q.
Szintaxis ítéletváltozók és ítéletkonstansok (T,F) mondatok bármely szimbólum, amely ítéletváltozót vagy konstanst jelöl (pl. P,Q,R, vagy F,T) ha a egy mondat, akkor mondat még: (a b) logikai ÉS, konjukció (a b) logikai VAGY, diszjunkció a tagadás, negáció (a )b implikáció ("ha...akkor...") (a b) ekvivalencia ("akkor és csakis akkor...") mondatok rekurzív módon is konstruálhatók, pl. ((P Q) (~R (S V)))
interpretáció Szemantika Egy mondat ítéletváltozóihoz igaz (T), illetőleg hamis (F) értéket rendel bármely lehetséges módon. Egy mondatnak több interpretációja is lehetséges. kiértékelés:a műveleti jelek szemantikája alapján.
Igazságtábla P Q P P Q P Q P Q P Q T T F T T T T T F F F T F F F T T F T T F F F T F F T T
Wumpus tudásbázis ~B 1,1 ~B 2,1 B 1,2 ~S 1,1 S 2,1 ~S 1,2 ~B 1,1 ~W 1,1 ~W 1,2 ~W 2,1 ~B 2,1 ~W 1,1 ~W 2,1 ~W 2,2 ~W 3,1 ~B 1,2 ~W 1,1 ~W 1,2 ~W 2,2 ~W 1,3 B 1,2 W 1,1 W 1,2 W 2,2 W 1,3
Következtetések Logikai ekvivalencia: A és B logikailag ekvivalens (A B ) akkor és csak akkor ha A = B és B = A. Tautológia: A tautológia ( = A ) akkor és csak akkor, ha minden modellben igaz. Dedukciós tétel: A = B akkor és csak akkor ha = A B. Kielégíthetőség: A kielégíthető akkor és csak akkor ha legalább egy modellben igaz.
Következtetési szabályok a kijelentéslogikában Modus ponens p q p q ÉS hozzáadás p q p q ÉS elimináció p q p VAGY hozzáadás p p q Dupla negáció ~~p p
Rezolúció p q ~p q ~q r q r p r ~p r
Konjunktív normál forma Literálok diszjunkcióinak konjunkciója (A B ) (C D )
Horn-formulák A B C N K Konjunktív normálformában: ~A ~B ~C. K Pontosan egy pozitív literál Lineáris idejű következtetés lehetséges
Előre- és visszafelé láncolás