Dit is de Linux-app genaamd Belief Reviser waarvan de nieuwste release kan worden gedownload als BeliefReviser.zip. Het kan online worden uitgevoerd in de gratis hostingprovider OnWorks voor werkstations.
Download en voer deze app met de naam Belief Reviser gratis online uit met OnWorks.
Volg deze instructies om deze app uit te voeren:
- 1. Download deze applicatie op uw pc.
- 2. Voer in onze bestandsbeheerder https://www.onworks.net/myfiles.php?username=XXXXX in met de gebruikersnaam die u wilt.
- 3. Upload deze applicatie in zo'n bestandsbeheerder.
- 4. Start de OnWorks Linux online of Windows online emulator of MACOS online emulator vanaf deze website.
- 5. Ga vanuit het OnWorks Linux-besturingssysteem dat u zojuist hebt gestart naar onze bestandsbeheerder https://www.onworks.net/myfiles.php?username=XXXXX met de gewenste gebruikersnaam.
- 6. Download de applicatie, installeer hem en voer hem uit.
SCREENSHOTS
Ad
Geloofsrevisor
PRODUCTBESCHRIJVING
Overtuigingsrevisie is een centraal onderwerp in kennisrepresentatie en redeneren. Het bestaat uit het incorporeren van een nieuw geloof, het veranderen van zo weinig als
mogelijk van de oorspronkelijke overtuigingen met behoud van consistentie.
Revisie beschouwt nieuw bewijs altijd als een beter geloof. Dergelijke nieuwe bewijzen zijn meestal
weergegeven in de vorm van een propositionele formule die moet worden bewaard na de
herziening.
Hier wordt de Δps (PS-Merge) operator voor het samenvoegen van overtuigingen uitgebreid om rekening te houden met beperkingen, en deze uitbreiding wordt gebruikt als een strategie voor herziening van overtuigingen. Het nieuwe bewijs wordt behandeld als een beperking, zodat de uitgebreide samenvoegoperator de herziene overtuigingsbasis kan verkrijgen.
Voordelen
- Herziening van een overtuigingsbasis K tegen nieuw bewijs μ
- Automatische conversie van formules naar DNF
- Simpel & gebruiksvriendelijk
- Platform onafhankelijk
Toehoorders
Wetenschap/onderzoek, onderwijs
Gebruikersinterface
Java-swing
Programmeertaal
Java
Categorieën
Dit is een applicatie die ook kan worden opgehaald van https://sourceforge.net/projects/beliefreviser/. Het is gehost in OnWorks, zodat het op de gemakkelijkste manier online kan worden uitgevoerd vanaf een van onze gratis besturingssystemen.