Logica descrittiva
| Approfondimenti | Info |
|---|---|
Quest'argomento non è collegato ad altri approfondimenti correlati. Si consiglia, in ogni caso, di controllare sempre [ l'Indice ] degli Approfondimenti | Questa pagina è solo improntata in attesa di completamento da parte dei Collaboratori. Se sei interessato a collaborare attivamente con Extrapedia, leggi come fare [ Collabora ] |
Le Logiche descrittive sono una famiglia di linguaggi di rappresentazione della conoscenza formale. Esistono Logiche descrittive generali, spaziali, temporali, spaziotemporali e fuzzy, e ciascuna Logica descrittiva presenta un diverso equilibrio tra espressività e complessità del ragionamento, supportando diversi insiemi di costruttori matematici. 1)
Le Logiche descrittive sono usate nell'Intelligenza artificiale per descrivere e ragionare sui concetti rilevanti di un dominio applicativo (noto come conoscenza terminologica). È di particolare importanza nel fornire un formalismo logico per le ontologie e il Web semantico: il linguaggio Web ontologico (OWL) e il cui profilo è basato sulle Logiche descrittive.
“Qualora alcuni link non funzionassero, si prega di comunicarlo allo Staff - staff@extrapedia.org”
Strumenti Pagina
