Statistisk relationell inlärning
Definition
Statistisk relationell inlärning (SRL) kombinerar sannolikhetsteori med relationella …
Logic
Terms tagged with Logic
STIT-logik
Definition
STIT står för ‘See To It That’ (Se till att). Det är en gren av modallogiken …
Resonemangsmodell
Definition
Till skillnad från standard generativa modeller som fokuserar på flyt, prioriterar …
Problemlösning
Definition
Inom artificiell intelligens syftar problemlösning på det systematiska …
Kunskapsbaserat rekommendationssystem
Definition
Till skillnad från samarbetsfilter som förlitar sig på tidigare användarbeteende, …
Knowledge Compilation
Definition
Knowledge compilation syftar på tekniker inom artificiell intelligens som omvandlar en …
Induktiv sannolikhet
Definition
Induktiv sannolikhet kvantifierar hur sannolikt det är att en hypotes är sann givet …
Gabbays separeringssats
Definition
Gabbays separeringssats är ett grundläggande begrepp inom matematisk logik, särskilt inom …
GOLOG
Definition
GOLOG är ett logikbaserat programmeringsspråk som främst används inom artificiell …
Epistemisk modallogik
Definition
Epistemisk modallogik utvidgar klassisk logik med operatorer som anger vad en agent vet …
Dynamisk epistemisk logik
Definition
Dynamisk epistemisk logik (DEL) utökar modallogiken för att modellera hur kunskap …
Attributiv kalkyl
Definition
Attributiv kalkyl är en gren av modallogik som fokuserar på resonemang om epistemiska …
Argumentationsramverk
Definition
Argumentationsramverk ger en matematisk grund för att representera argument, attacker och …
Agentiv logik
Definition
Den utvidgar traditionell logik för att ta hänsyn till agens, vilket möjliggör för system …
Reasoning
Definition
Inom AI innebär reasoning algoritmer som simulerar logisk deduktion, induktion eller …
Planering
Definition
Planering inom AI innebär att bestämma en sekvens av åtgärder som leder från ett …
flerstegs-
Definition
Flerstegsmetoder innebär att dela upp en komplex fråga eller uppgift i mindre, exekutiva …
första ordningens
Definition
Inom artificiell intelligens och matematik beskriver “första ordningen” …
Olika
Definition
Inom databasfrågor och logik syftar ‘Olika’ vanligtvis på operatören NOT …
Givet
Definition
I sammanhang inom AI och datavetenskap syftar ‘givet’ på det initiala …
Beslut
Definition
Beslutsfattande inom AI innebär att välja den optimala åtgärden från en mängd möjligheter …