Ragionatore automatico
Questa voce sull'argomento applicazioni dell'informatica è solo un abbozzo.
Contribuisci a migliorarla secondo le convenzioni di Wikipedia.
Un ragionatore automatico è un software in grado di svolgere dei ragionamenti su delle basi di conoscenza adeguatamente formalizzate.
Il ragionamento, in questo caso, è inteso come la capacità di elaborare la base di conoscenza secondo alcune regole, in modo da validare ed analizzare la base di conoscenza stessa.
Le possibilità del ragionatore dipendono strettamente dal linguaggio adoperato per formalizzare la base di conoscenza.
Forme di ragionamento automatico
- Validazione: controllo di coerenza interna della base di conoscenza.
- Analisi: esplicitazione, da parte del ragionatore, della conoscenza implicita nella base di conoscenza.
- Inferenza, o deduzione. Se il linguaggio adoperato prevede la possibilità di esprimere una conoscenza incompleta, il ragionatore potrà individuare quei fatti che sono impliciti in tutti i possibili modelli che soddisfano la base di conoscenza. La possibilità di effettuare automaticamente l'inferenza è l'elemento che più di altri mostra la differenza fra il ragionamento automatico e la semplice computazione.
Impieghi
Un recente ambito di impiego dei ragionatori automatici è il web semantico, dove le basi di conoscenza possono essere espresse in vari linguaggi computabili, il più espressivo dei quali è OWL.
V · D · M | |||||||||
---|---|---|---|---|---|---|---|---|---|
Contesto | Base di dati · Ipertesto · Internet · Ontologie · Rete semantica · World Wide Web | ||||||||
Sotto-argomenti | Data Web · Dataspace · URI dereferenziabili · Hyperdata · Linked data · Rule-based system | ||||||||
Applicazioni | Semantic matching · Ragionatore automatico · Ricerca semantica · Wiki semantica | ||||||||
Argomenti correlati | Intelligenza collettiva · Logica descrittiva · Folksonomia · Geotagging · Architettura dell'informazione · Estrazione della conoscenza · Gestione della conoscenza · Rappresentazione della conoscenza · Library 2.0 · Metadato · Mappa mentale · ODBC · Topic Maps · Web 3.0 · Web engineering · Web Science Trust | ||||||||
Standard |
|
Portale Informatica: accedi alle voci di Wikipedia che trattano di informatica