Usikkerhet og sannsynlighetsresonneringssystemer

1

oppgave 9.8, 11.9 (del ut 11.1, 11.4)

- et system/agent har sjeldent tilgang til alle sannheter om omgivelsene,
og må derfor handler under usikkerhet, må foreta den  mest fornuftige
avgjørelsen

- i de fleste praktiske systemer er det umulig å fange alle relevante
fakta i første-ordens logikk

- for å si noe om grad av tiltro benytter vi sannsynlighetsteori
(NB! grad av tiltro, ikke grad av sannhet, enn setning er fortsatt sann
eller usann)

- apriori (ubetingede) og aposteriori (betingede) sannsynligheter

- preferanser og nyttighetsteori

- beslutningsteori = sannsynlighetsteori + nyttighetsteori
(beslutninger gjøres pga av begge teorier)

- figur 14.1

- proposisjons-symboler og variable, ss 420

- sannsynlighetsfordeling, ss 421

- regler for aposteriori sannsynligheter, ss 421

- sannsynlighetsaxiomer, ss 422

- Venn diagram, figur 14.2

- forent (joint) sannsynlighetsfordeling
	en atomisk hendelse har spesifisert alle verdier, eks s 425


2

- Bayes regel:
	P(A|B) = P(B|A)P(A) / P(B)

- se eks meningitt s 426

- relativ likelihood, eks s 427, vi slipper å beregne apriori
sannsynlighet

- (kan og unngå apriori sannsynlighet vha normalisering)

- bayesisk oppdatering og betinget uavhengighet s 429

sannsynlighetsresonneringssystemer

- tiltro nett (belief network):
	noder med proposisjonsvariable
	link med retning mellom noder
	hver node har en betinget sannsynlighetstabell utfra foreldrenoder
	DAG - ingen "løkker"

- figur 15.1, 15.2

- lese data ut fra et tiltro nett, eks s 439

- konstruere et tiltro nett:
	en node må være uavhengig av sine etterkommere
	foreldre noder er bare de som direkte påvirker noden
	se nederst side 440

- div s 441-445 (d-separasjon)

- inferens sannsynlighetsresonnerende systemer:
	beregn P(spørsmål|bevis)

- tilsv som for KB-agenter trenger vi 2 funksjoner:
	BELIEF-NET-TELL, BELIEF-NET-ASK

- forskjellige typer inferens, side 447

- følsomhetsanalyse: 
	hvilke noder i modellen påvirker de andre nodene mest ?

- algoritme for BELIEF-NET-ASK (eks nederst s 445, spør etter
sammenhenger i nettet som ikke nødvendigvis kan leses rett av):
	uttrykk for P(X|E) med E+ og E-
	beregn E+
	beregn E-
	


3