Ambiente di ingegneria della conoscenza - Knowledge Engineering Environment
| Sviluppatore / i | IntelliCorp |
|---|---|
| Versione iniziale | 1983 |
| Scritto in | Common Lisp |
| piattaforma | Symbolics Lisp Machine, TI Explorer Lisp Machine, workstation HP 9000 serie 700 e 800, Sun SPARCstation e workstation IBM RS6000 |
| Disponibile in | Inglese |
| genere | Strumento di sviluppo del sistema esperto |
| Licenza | Proprietario |
Knowledge Engineering Environment ( KEE ) è uno strumento di sviluppo basato su frame per sistemi esperti . È stato sviluppato e venduto da IntelliCorp e rilasciato per la prima volta nel 1983. Funzionava su macchine Lisp e successivamente è stato portato su Lucid Common Lisp con la libreria CLX , un'interfaccia X Window System (X11) per Common Lisp. Questa versione era disponibile su diverse workstation UNIX differenti .
Su KEE, sono state offerte diverse estensioni:
- Simkit, una libreria di simulazione basata su frame
- KEEconnection, connessione al database tra il sistema frame e database relazionali
In KEE, i frame sono chiamati unità . Le unità vengono utilizzate sia per singole istanze che per classi. I frame hanno slot e gli slot hanno sfaccettature . I facet possono descrivere, ad esempio, i valori attesi di uno slot, il suo valore di lavoro o la sua regola di ereditarietà. Gli slot possono avere più valori. Il comportamento può essere implementato utilizzando un modello di trasmissione dei messaggi .
KEE fornisce un'ampia interfaccia utente grafica (GUI) per creare, sfogliare e manipolare i frame.
KEE include anche un sistema di regole basato su frame . Nella knowledge base KEE, le regole sono frame. Sia concatenamento in avanti e concatenamento all'indietro inferenza sono disponibili.
KEE supporta il ragionamento non monotono attraverso i concetti di mondi . I mondi consentono di fornire valori di slot alternativi dei frame. Attraverso un sistema di mantenimento della verità o del motivo basato su presupposti , è possibile rilevare e analizzare le incongruenze.
ActiveImages consente di collegare visualizzazioni grafiche agli slot di Unità. Esempi tipici sono pulsanti, quadranti, grafici e istogrammi. La grafica è implementata anche come unità tramite KEEPictures , una libreria grafica basata su frame.
Guarda anche
- Sistema esperto
- Lingua cornice
- Motore di inferenza
- IntelliCorp (software)
- Base di conoscenza
- Sistema basato sulla conoscenza
- Rappresentazione della conoscenza
