Questa è l'app Linux denominata Belief Reviser la cui ultima versione può essere scaricata come BeliefReviser.zip. Può essere eseguito online nel provider di hosting gratuito OnWorks per workstation.
Scarica ed esegui online gratuitamente questa app chiamata Belief Reviser con OnWorks.
Segui queste istruzioni per eseguire questa app:
- 1. Scaricata questa applicazione sul tuo PC.
- 2. Entra nel nostro file manager https://www.onworks.net/myfiles.php?username=XXXXX con il nome utente che desideri.
- 3. Carica questa applicazione in tale file manager.
- 4. Avviare l'emulatore online OnWorks Linux o Windows online o l'emulatore online MACOS da questo sito Web.
- 5. Dal sistema operativo OnWorks Linux che hai appena avviato, vai al nostro file manager https://www.onworks.net/myfiles.php?username=XXXXX con il nome utente che desideri.
- 6. Scarica l'applicazione, installala ed eseguila.
IMMAGINI:
Revisore delle credenze
DESCRIZIONE:
La revisione delle credenze è un argomento centrale nella rappresentazione e nel ragionamento della conoscenza. Consiste nell'incorporare una nuova credenza, cambiando il meno possibile
possibile delle credenze originarie pur conservando la coerenza.
La revisione considera sempre le nuove prove come una credenza migliore. Tali nuove prove di solito sono
rappresentato sotto forma di una formula proposizionale che deve essere conservata dopo il
revisione.
Qui, l'operatore di unione delle credenze Δps (PS-Merge) è esteso per considerare i vincoli e questa estensione è usata come strategia per la revisione delle credenze. La nuova evidenza viene trattata come un vincolo in modo che l'operatore di fusione esteso possa ottenere la base di credenza rivista.
Caratteristiche
- Revisione di una base di credenze K contro nuove prove μ
- Conversione automatica delle formule in DNF
- Semplice e facile da usare
- Piattaforma indipendente
Pubblico
Scienza/Ricerca, Istruzione
Interfaccia utente
Altalena Java
Linguaggio di programmazione
Java
Categorie
Questa è un'applicazione che può anche essere scaricata da https://sourceforge.net/projects/beliefreviser/. È stato ospitato in OnWorks per essere eseguito online in modo più semplice da uno dei nostri sistemi operativi gratuiti.