Symbolsk kunstig intelligens
Definition
Symbolsk kunstig intelligens, ofte kaldet GOFAI (Good Old-Fashioned AI), stolede på …
Logic
Terms tagged with Logic
Statistisk relationel læring
Definition
Statistisk relationel læring (SRL) kombinerer sandsynlighedsteori med relationelle …
STIT-logik
Definition
STIT står for ‘See To It That’ (Sørge for at det sker). Det er en gren af …
Ræsonneringsmodel
Definition
I modsætning til standard generative modeller, der fokuserer på flydende tekst, …
Problemløsning
Definition
Inden for kunstig intelligens refererer problemløsning til den systematiske tilgang til …
Vidensbaseret anbefalingssystem
Definition
I modsætning til samarbejdende filtrering, der stoler på tidligere brugeradfærd, bruger …
Knowledge Compilation
Definition
Knowledge compilation henviser til teknikker inden for kunstig intelligens, der …
Inductive Probability
Definition
Induktiv sandsynlighed kvantificerer, hvor sandsynligt det er, at en hypotese er sand …
Gabbays separeringsteorem
Definition
Gabbays separeringsteorem er et grundlæggende koncept i matematisk logik, især inden for …
GOLOG
Definition
GOLOG er et logikbaseret programmeringssprog, der primært bruges i kunstig intelligens …
Epistemisk modallogik
Definition
Epistemisk modallogik udvider klassisk logik med operatorer, der angiver, hvad en agent …
Dynamisk epistemisk logik
Definition
Dynamisk epistemisk logik (DEL) udvider modallik til at modellere, hvordan viden udvikler …
Attributionel kalkulus
Definition
Attributionel kalkulus er en gren af modallogikken, der fokuserer på ræsonnement om …
Argumentationsramme
Definition
Argumentationsrammer giver et matematisk grundlag for at repræsentere argumenter, angreb …
Agentiv logik
Definition
Den udvider traditionel logik for at tage højde for agens, hvilket tillader systemer at …
Reasoning
Definition
Inden for AI involverer ræsonnement algoritmer, der simulerer logisk deduktion, induktion …
Planlægning
Definition
Planlægning inden for kunstig intelligens indebærer at bestemme en sekvens af handlinger, …
multi-step
Definition
Multi-step-metoder involverer at nedbryde en kompleks forespørgsel eller opgave i mindre, …
første ordens
Definition
Inden for kunstig intelligens og matematik beskriver ‘første ordens’ typisk …
Ikke-lignende
Definition
I databasestyring og logik refererer ‘Unlike’ typisk til operatøren NOT LIKE, …
Givet
Definition
I sammenhænge med AI og datalogi refererer ‘givet’ til den indledende …
Beslutning
Definition
Beslutningstagning i AI indebærer at vælge den optimale handling fra en mængde af …