Wumpus-verdenen
Definition
Wumpus-verdenen er et rutenettbasert miljø introdusert i Russell og Norvigs lærebok i …
Logic
Terms tagged with Logic
Symbolskunstig intelligens
Definition
Symbolskunstig intelligens, ofte kalt GOFAI (Good Old-Fashioned AI), stoler på …
Statistisk relasjonslæring
Definition
Statistisk relasjonslæring (SRL) kombinerer sannsynlighetsteori med …
STIT-logikk
Definition
STIT står for ‘See To It That’ (Se til at det skjer). Det er en gren av …
Resonneringsmodell
Definition
I motsetning til standard generative modeller som fokuserer på flyt, prioriterer …
Problemløsning
Definition
Innen kunstig intelligens refererer problemløsning til en systematisk tilnærming for å …
Kunnskapsbasert anbefalingssystem
Definition
I motsetning til samarbeidsfiltrering, som stoler på tidligere atferd, bruker …
Knowledge Compilation
Definition
Knowledge compilation refererer til teknikker innen kunstig intelligens som konverterer …
Induktiv sannsynlighet
Definition
Induktiv sannsynlighet kvantifiserer hvor sannsynlig det er at en hypotese er sann gitt …
Gabbays separasjonsteorem
Definition
Gabbays separasjonsteorem er et grunnleggende konsept i matematisk logikk, spesielt innen …
GOLOG
Definition
GOLOG er et logikkbasert programmeringsspråk brukt primært i kunstig intelligens for …
Epistemisk modalllogikk
Definition
Epistemisk modalllogikk utvider klassisk logikk med operatorer som angir hva en agent vet …
Dynamisk epistemisk logikk
Definition
Dynamisk epistemisk logikk (DEL) utvider modalllogikk for å modellere hvordan kunnskap …
Attributiv kalkulus
Definition
Attributiv kalkulus er en gren av modalllogikk som fokuserer på resonnement om …
Argumentasjonsrammeverk
Definition
Argumentasjonsrammeverk gir et matematisk grunnlag for å representere argumenter, angrep …
Agentiv logikk
Definition
Den utvider tradisjonell logikk for å ta hensyn til agens, noe som tillater systemer å …
Resonnering
Definition
Innen kunstig intelligens involverer resonnering algoritmer som simulerer logisk …
Planlegging
Definition
Planlegging i kunstig intelligens innebærer å fastslå en sekvens av handlinger som vil …
multi-step
Definition
Multistegsmetoder innebærer å bryte ned komplekse forespørsler eller oppgaver til mindre, …
førsteordens-
Definition
Innen kunstig intelligens og matematikk beskriver «førsteordens» typisk systemer eller …
ULIKE
Definition
I databasespørringer og logikk refererer ‘ULIKE’ typisk til operatoren NOT …
Gitt
Definition
I sammenhenger innen AI og datavitenskap refererer «gitt» til starttilstand, datasett …
Beslutning
Definition
Beslutningstaking i AI innebærer å velge den optimale handlingen fra et sett av …