Logica STIT
Definition
STIT sta per ‘See To It That’ (Vedi a fare che). È un ramo della logica …
Logic
Terms tagged with Logic
Modello di ragionamento
Definition
A differenza dei modelli generativi standard focalizzati sulla fluidità, i modelli di …
Risoluzione dei problemi
Definition
Nell’intelligenza artificiale, la risoluzione dei problemi si riferisce …
Sistema di raccomandazione basato sulla conoscenza
Definition
A differenza del filtraggio collaborativo, che si basa sul comportamento passato degli …
Knowledge Compilation
Definition
La knowledge compilation si riferisce a tecniche di intelligenza artificiale che …
Probabilità Induttiva
Definition
La probabilità induttiva quantifica quanto sia probabile che un’ipotesi sia vera …
Teorema di separazione di Gabbay
Definition
Il teorema di separazione di Gabbay è un concetto fondamentale nella logica matematica, …
GOLOG
Definition
GOLOG è un linguaggio di programmazione logico utilizzato principalmente …
Logica modale epistemica
Definition
La logica modale epistemica estende la logica classica con operatori che denotano ciò che …
Logica epistemica dinamica
Definition
La logica epistemica dinamica (DEL) estende la logica modale per modellare come la …
Calcolo attribuzionale
Definition
Il calcolo attribuzionale è un ramo della logica modale focalizzato sul ragionamento …
Framework di argomentazione
Definition
I framework di argomentazione forniscono una base matematica per rappresentare argomenti, …
Logica agentiva
Definition
Estende la logica tradizionale per tenere conto dell’agenzia, consentendo ai …
Reasoning
Definition
Nell’IA, il ragionamento coinvolge algoritmi che simulano deduzione logica, …
Pianificazione
Definition
La pianificazione nell’IA implica determinare una sequenza di azioni che porterà da …
multi-step
Definition
I metodi multi-step prevedono la scomposizione di una query o di un compito complesso in …
del primo ordine
Definition
In intelligenza artificiale e matematica, ‘del primo ordine’ descrive …
Unlike
Definition
Nelle query di database e nella logica, ‘Unlike’ si riferisce tipicamente …
Dato
Definition
Nei contesti dell’IA e dell’informatica, ‘dato’ si riferisce allo …
Decisione
Definition
Il processo decisionale nell’IA implica la selezione dell’azione ottimale da …