Definizione di Knowledge-Based Systems
Un Knowledge-Based Systems (KBS) è un programma che utilizza una base di conoscenza per risolvere problemi complessi. Tutti i KBS hanno due componenti principali:
- Rappresentazione esplicita della conoscenza (tramite FOL)
- Sistema di ragionamento (o inference engine)
Il ruolo della logica
La logica non è sempre il metodo più efficace per rappresentare la conoscenza:
- Difficoltà nel calcolare le inferenze corrette (computazionalmente oneroso);
- La logica tradizionale non è in grado di rappresentare conoscenze probabilistiche o parziali.
- Alcune inferenze istintive “umane” possono essere difficili da formalizzare in un sistema logico.