Første-ordens logikk

1

oppgave 4.1, 4.2 b,c , 4.3, 6.12, 6.11, 6.2, 6.7

del ut NTNU prosjektbeskrivelse

- objekter, egenskaper, relasjoner, funksjoner
(NB! vanskelig, men detaljene ikke saa viktig, hvertfall ikke for
examen)

- e.g. "Den gule bilen kjoerer over faren til Kari"
	objekter: bil, Kari
	egenskaper: gul
	relasjoner: kjoerer over
	funksjoner: faren til

- setning

- term:
	logisk uttrykk som refererer til et objekt, e.g.
	"Kong Haralds venstre bein" =>
	VenstreBeinTil(Harald)
	(ikke noe funksjon, bare en kompleks betegnelse)

- konstante, predikate og funksjons-symboler, tupler

- figur 7.1

- atomisk setning: predikat symbol, parentes, liste av term(er), e.g.
	Bror(John, FarTil(Kari))

- atomisk setning sann ihht pekefinger side 189

- logiske koblinger som i erklærende logikk

- kvantifikatorer

  - universell: <oppned A> "for alle"

  - variable

  - kan bytte ut alle variable som på side 190

  - alle variable små bokstaver,,, konstanter, predikater og funksjoner
store bokstaver

  - eksistensielle: <bakvendt E> "det eksisterer"

  - eksempler på side 191, 192

  - nøsta kvantifikatorer, rekkeflølge viktig! ss 192 nederst

- identitetsrelasjon: =

- høyere ordens logikk, lambda, unikhet, variasjoner i notasjon

- les paragraf 7.3 selv


2

- figur 7.2

(tenk over hvor mye av verden som kan representeres med første-ordens
logikk, det er ganske utrolig...)

logisk agent for wumpus verdenen

- refleks agent har ingen representasjon, ergo vet den ikke om den har
gullet eller befinner seg i startruta (slik at den kan klatre ut)

situasjonskalkulus

- legger til en situasjonskonstant der det trengs (figur 7.3)

- hvordan verden endrer seg:
	Resultat(fremover, S0) = S1

- generelle eksempler:





3