Ito ang Linux app na pinangalanang Belief Reviser na tatakbo sa Linux online na ang pinakabagong release ay maaaring ma-download bilang BeliefReviser.zip. Maaari itong patakbuhin online sa libreng hosting provider na OnWorks para sa mga workstation.
I-download at patakbuhin online ang app na ito na pinangalanang Belief Reviser para tumakbo sa Linux online gamit ang OnWorks nang libre.
Sundin ang mga tagubiling ito upang patakbuhin ang app na ito:
- 1. Na-download ang application na ito sa iyong PC.
- 2. Ipasok sa aming file manager https://www.onworks.net/myfiles.php?username=XXXXX kasama ang username na gusto mo.
- 3. I-upload ang application na ito sa naturang filemanager.
- 4. Simulan ang OnWorks Linux online o Windows online emulator o MACOS online emulator mula sa website na ito.
- 5. Mula sa OnWorks Linux OS na kasisimula mo pa lang, pumunta sa aming file manager https://www.onworks.net/myfiles.php?username=XXXX gamit ang username na gusto mo.
- 6. I-download ang application, i-install ito at patakbuhin ito.
MGA LALAKI
Ad
Ang Belief Reviser ay tatakbo sa Linux online
DESCRIPTION
Ang rebisyon ng paniniwala ay isang pangunahing paksa sa representasyon ng kaalaman at pangangatwiran. Binubuo ito sa pagsasama ng isang bagong paniniwala, na nagbabago nang kauntiposible ng mga orihinal na paniniwala habang pinapanatili ang pagkakapare-pareho.
Palaging isinasaalang-alang ng rebisyon ang bagong ebidensya bilang isang mas mahusay na paniniwala. Ang ganitong mga bagong ebidensya ay kadalasan
kinakatawan sa anyo ng isang proposisyonal na pormula na dapat pangalagaan pagkatapos ng
rebisyon.
Dito, pinalawak ang Δps (PS-Merge) na paniniwalang merging operator upang isaalang-alang ang mga hadlang, at ang extension na ito ay ginagamit bilang isang diskarte para sa rebisyon ng paniniwala. Ang bagong ebidensya ay tinatrato bilang isang hadlang upang makuha ng pinalawig na merging operator ang binagong batayan ng paniniwala.
Mga tampok
- Pagbabago ng base ng paniniwala K laban sa bagong ebidensya μ
- Awtomatikong pag-convert ng mga formula sa DNF
- Simple at user friendly
- Independyente ang platform
Audience
Agham/Pananaliksik, Edukasyon
Interface ng gumagamit
Java Swing
Wika ng Programming
Java
Ito ay isang application na maaari ding kunin mula sa https://sourceforge.net/projects/beliefreviser/. Na-host ito sa OnWorks upang mapatakbo online sa pinakamadaling paraan mula sa isa sa aming mga libreng Operative System.
