Nell'ambito dell'ingegneria della conoscenza, un sistema basato sulla conoscenza (in inglese knowledge-based system, KBS) è essenzialmente un sistema software capace di ragionare usando una base di conoscenza al fine di risolvere problemi complessi. Tali sistemi si sono evoluti e rientrano nella più vasta categoria degli agenti intelligenti quali, ad esempio, agenti logici, pianificatori, capaci di apprendere, ecc.
Caratteristiche generali Il tema che accomuna tutti i sistemi basati sulla conoscenza è il tentativo di rappresentare conoscenza in forma esplicita con una componente di ragionamento che gli consenta di derivare "nuova" conoscenza. Pertanto un dato sistema basato sulla conoscenza si contraddistingue per due caratteristiche: base di conoscenza e motore inferenziale.
La base di conoscenza rappresenta fatti riguardanti il mondo, ossia il dominio da modellare, spesso in forma ontologica (tassonomia di concetti organizzati gerarchicamente secondo un criterio di sussunzione), alternativa a quella in forma procedurale incorporata implicitamente nel codice di programmi convenzionali. Forme aggiuntive rispetto a quella ontologica includono frame, grafi concettuali e asserzioni logiche. Il motore inferenziale consente la derivazione di nuova conoscenza. Molto comunemente si sostanzia nella forma di regole IF-THEN accoppiate a meccanismi di derivazione per concatenazione in avanti (forward) o a ritroso (backward chaining). Altri approcci includono l'uso di dimostratori automatici di teoremi, programmazione logica, sistemi blackboard o di riscrittura di termini. Un sistema esperto è un tipico esempio di KBS in cui la conoscenza di dominio acquisita da esperti viene formalizzata (ad esempio in un linguaggio a regole) per essere successivamente utilizzata per rispondere a query e/o prendere decisioni anche in maniera interattiva.
Note
Voci correlate Rappresentazione della conoscenza Ragionamento automatico Sistema esperto Web semantico
Collegamenti esterni
[rivista scientifica]
Categoria:Intelligenza artificiale Categoria:Ragionamento automatico Categoria:Ingegneria della conoscenza