Symbolická umělá inteligence
Definition
Symbolická umělá inteligence, často nazývaná GOFAI (Good Old-Fashioned AI – staromódní AI …
Logic
Terms tagged with Logic
Statistické relační učení
Definition
Statistické relační učení (SRL) kombinuje teorii pravděpodobnosti s relačními datovými …
Logika STIT
Definition
STIT stojí za ‘See To It That’ (Dohlédni na to, aby…). Jedná se o …
Model usuzování
Definition
Na rozdíl od standardních generativních modelů zaměřených na plynulost dávají modely …
Řešení problémů
Definition
V umělé inteligenci se řešení problémů týká systematického přístupu k navigaci z …
Znalostní doporučovací systém
Definition
Na rozdíl od kolaborativního filtrování, které spoléhá na minulou chování uživatelů, KBRS …
Knowledge Compilation
Definition
Knowledge Compilation označuje techniky v umělé inteligenci, které převádějí znalostní …
Inductive Probability
Definition
Induktivní pravděpodobnost kvantifikuje, jak pravděpodobné je, že je hypotéza pravdivá na …
Gabbayova separační věta
Definition
Gabbayova separační věta je základní koncept v matematické logice, zejména ve studiu …
GOLOG
Definition
GOLOG je programovací jazyk založený na logice, používaný primárně v umělé inteligenci …
Epistemická modální logika
Definition
Epistemická modální logika rozšiřuje klasickou logiku o operátory, které označují, co …
Dynamická epistemická logika
Definition
Dynamická epistemická logika (DEL) rozšiřuje modální logiku o modelování vývoje znalostí, …
Atribuční kalkulus
Definition
Atribuční kalkulus je odvětví modální logiky zaměřené na odvozování o epistemických …
Argumentační rámec
Definition
Argumentační rámce poskytují matematický základ pro reprezentaci argumentů, útoků na ně a …
Agentivní logika
Definition
Rozšiřuje tradiční logiku tak, aby zohledňovala agenturu, což umožňuje systémům …
Uvažování
Definition
V umělé inteligenci zahrnuje uvažování algoritmy, které simulují logickou dedukci, …
Plánování
Definition
Plánování v umělé inteligenci zahrnuje určení posloupnosti akcí, které povedou z …
vícekrokový
Definition
Metody s více kroky zahrnují rozklad složité otázky nebo úkolu na menší, spustitelné …
prvního řádu
Definition
V umělé inteligenci a matematice ‘prvního řádu’ obvykle popisuje systémy nebo …
Unlike
Definition
V dotazování na databáze a logice se ‘Unlike’ obvykle vztahuje k operátoru …
Zadáno
Definition
V kontextu AI a informatiky se výraz „zadáno“ vztahuje k počátečnímu stavu, sadě dat nebo …
Rozhodnutí
Definition
Rozhodování v AI zahrnuje výběr optimální akce z množiny možností na základě dat, modelů …