To jest aplikacja dla systemu Linux o nazwie Belief Reviser, której najnowszą wersję można pobrać w formacie BeliefReviser.zip. Można go uruchomić online w bezpłatnym dostawcy hostingu OnWorks dla stacji roboczych.
Pobierz i uruchom online aplikację o nazwie Belief Reviser z OnWorks za darmo.
Postępuj zgodnie z tymi instrukcjami, aby uruchomić tę aplikację:
- 1. Pobrałem tę aplikację na swój komputer.
- 2. Wpisz w naszym menedżerze plików https://www.onworks.net/myfiles.php?username=XXXXX z wybraną nazwą użytkownika.
- 3. Prześlij tę aplikację w takim menedżerze plików.
- 4. Uruchom emulator online OnWorks Linux lub Windows online lub emulator online MACOS z tej witryny.
- 5. W systemie operacyjnym OnWorks Linux, który właśnie uruchomiłeś, przejdź do naszego menedżera plików https://www.onworks.net/myfiles.php?username=XXXXX z wybraną nazwą użytkownika.
- 6. Pobierz aplikację, zainstaluj ją i uruchom.
ZRZUTY EKRANU
Ad
Weryfikator przekonań
OPIS
Rewizja przekonań jest centralnym tematem reprezentacji wiedzy i rozumowania. Polega na wcieleniu nowego przekonania, zmieniającego się co najmniej
możliwe oryginalne przekonania przy zachowaniu spójności.
Rewizja zawsze uważa nowe dowody za lepsze przekonanie. Takim nowym dowodem jest zwykle
reprezentowana w postaci formuły zdaniowej, która musi być zachowana po
rewizja.
W tym przypadku operator łączenia przekonań Δps (PS-Merge) jest rozszerzony w celu uwzględnienia ograniczeń, a to rozszerzenie jest używane jako strategia rewizji przekonań. Nowy dowód jest traktowany jako ograniczenie, aby operator rozszerzonego scalania mógł uzyskać poprawioną bazę przekonań.
Korzyści
- Rewizja bazy przekonań K w porównaniu z nowymi dowodami μ
- Automatyczna konwersja formuł do DNF
- Prosty i przyjazny dla użytkownika
- Niezależna od platformy
Publiczność
Nauka/Badania, Edukacja
Interfejs użytkownika
Huśtawka Java
Język programowania
Java
Kategorie
Jest to aplikacja, którą można również pobrać z https://sourceforge.net/projects/beliefreviser/. Jest hostowany w OnWorks, aby można go było uruchomić online w najprostszy sposób z jednego z naszych bezpłatnych systemów operacyjnych.