Dies ist die Linux-App namens Belief Reviser, deren neueste Version als BeliefReviser.zip heruntergeladen werden kann. Es kann online beim kostenlosen Hosting-Anbieter OnWorks für Workstations ausgeführt werden.
Laden Sie diese App namens Belief Reviser mit OnWorks kostenlos herunter und führen Sie sie online aus.
Befolgen Sie diese Anweisungen, um diese App auszuführen:
- 1. Diese Anwendung auf Ihren PC heruntergeladen.
- 2. Geben Sie in unserem Dateimanager https://www.onworks.net/myfiles.php?username=XXXXX den gewünschten Benutzernamen ein.
- 3. Laden Sie diese Anwendung in einem solchen Dateimanager hoch.
- 4. Starten Sie den OnWorks Linux-Online- oder Windows-Online-Emulator oder den MACOS-Online-Emulator von dieser Website.
- 5. Rufen Sie vom gerade gestarteten OnWorks Linux-Betriebssystem aus unseren Dateimanager https://www.onworks.net/myfiles.php?username=XXXXX mit dem gewünschten Benutzernamen auf.
- 6. Laden Sie die Anwendung herunter, installieren Sie sie und führen Sie sie aus.
SCREENSHOTS:
Glaubensrevisor
BESCHREIBUNG:
Die Revision von Überzeugungen ist ein zentrales Thema der Wissensrepräsentation und des Denkens. Es besteht darin, einen neuen Glauben zu integrieren und ihn zu verändern
möglich, die ursprünglichen Überzeugungen beizubehalten und gleichzeitig die Konsistenz zu wahren.
Bei der Revision werden neue Erkenntnisse stets als besserer Glaube betrachtet. Solche neuen Beweise sind in der Regel
dargestellt in Form einer Satzformel, die nach dem erhalten bleiben muss
Revision.
Hier wird der Überzeugungsverschmelzungsoperator Δps (PS-Merge) erweitert, um Einschränkungen zu berücksichtigen, und diese Erweiterung wird als Strategie zur Überzeugungsrevision verwendet. Die neuen Beweise werden als Einschränkung behandelt, sodass der erweiterte Zusammenführungsoperator die überarbeitete Annahmenbasis erhalten kann.
Eigenschaften
- Überarbeitung einer Glaubensbasis K anhand neuer Erkenntnisse μ
- Automatische Konvertierung von Formeln in DNF
- Einfach und benutzerfreundlich
- Plattformunabhängig
Publikum
Wissenschaft/Forschung, Bildung
Benutzeroberfläche
Java-Schaukel
Programmiersprache
Javac
Kategorien
Dies ist eine Anwendung, die auch von https://sourceforge.net/projects/beliefreviser/ abgerufen werden kann. Es wurde in OnWorks gehostet, um es auf einfachste Weise online über eines unserer kostenlosen Betriebssysteme ausführen zu können.