Aceasta este aplicația Linux numită Belief Reviser a cărei ultimă versiune poate fi descărcată ca BeliefReviser.zip. Poate fi rulat online în furnizorul gratuit de găzduire OnWorks pentru stații de lucru.
Descărcați și rulați online această aplicație numită Belief Reviser cu OnWorks gratuit.
Urmați aceste instrucțiuni pentru a rula această aplicație:
- 1. Ați descărcat această aplicație pe computer.
- 2. Introduceți în managerul nostru de fișiere https://www.onworks.net/myfiles.php?username=XXXXX cu numele de utilizator pe care îl doriți.
- 3. Încărcați această aplicație într-un astfel de manager de fișiere.
- 4. Porniți emulatorul online OnWorks Linux sau Windows online sau emulatorul online MACOS de pe acest site web.
- 5. Din sistemul de operare OnWorks Linux pe care tocmai l-ați pornit, accesați managerul nostru de fișiere https://www.onworks.net/myfiles.php?username=XXXXX cu numele de utilizator dorit.
- 6. Descărcați aplicația, instalați-o și rulați-o.
SCREENSHOTS
Ad
Revizor de credințe
DESCRIERE
Revizuirea credințelor este un subiect central în reprezentarea și raționamentul cunoștințelor. Constă în încorporarea unei noi credințe, schimbându-se cât mai puține
posibil al credințelor originale, păstrând în același timp consistența.
Revizuirea consideră întotdeauna noi dovezi ca o credință mai bună. Astfel de dovezi noi sunt de obicei
reprezentată sub forma unei formule propoziţionale care trebuie păstrată după
revizuire.
Aici, operatorul de îmbinare a credințelor Δps (PS-Merge) este extins pentru a lua în considerare constrângerile, iar această extensie este folosită ca strategie pentru revizuirea credințelor. Noile dovezi sunt tratate ca o constrângere, astfel încât operatorul de fuziune extins să poată obține baza de credință revizuită.
Categorii
- Revizuirea unei baze de credință K față de noi dovezi μ
- Conversia automată a formulelor în DNF
- Simplu și ușor de utilizat
- Platforma independenta
Public
Știință/Cercetare, Educație
Interfața cu utilizatorul
Java Swing
Limbaj de programare
Java
Categorii
Aceasta este o aplicație care poate fi preluată și de la https://sourceforge.net/projects/beliefreviser/. A fost găzduit în OnWorks pentru a fi rulat online într-un mod cât mai ușor de pe unul dintre sistemele noastre operative gratuite.
