Bu, en son sürümü BeliefReviser.zip olarak indirilebilen Belief Reviser adlı Linux uygulamasıdır. İş istasyonları için ücretsiz barındırma sağlayıcısı OnWorks'te çevrimiçi olarak çalıştırılabilir.
OnWorks ile Belief Reviser adlı bu uygulamayı ücretsiz olarak indirin ve çevrimiçi çalıştırın.
Bu uygulamayı çalıştırmak için şu talimatları izleyin:
- 1. Bu uygulamayı PC'nize indirdiniz.
- 2. Dosya yöneticimize https://www.onworks.net/myfiles.php?username=XXXXX istediğiniz kullanıcı adını girin.
- 3. Bu uygulamayı böyle bir dosya yöneticisine yükleyin.
- 4. Bu web sitesinden OnWorks Linux çevrimiçi veya Windows çevrimiçi öykünücüsünü veya MACOS çevrimiçi öykünücüsünü başlatın.
- 5. Yeni başladığınız OnWorks Linux işletim sisteminden, istediğiniz kullanıcı adıyla https://www.onworks.net/myfiles.php?username=XXXXX dosya yöneticimize gidin.
- 6. Uygulamayı indirin, kurun ve çalıştırın.
EKRAN
Ad
İnanç Gözden Geçirme
TANIM
İnanç revizyonu, bilgi temsilinde ve akıl yürütmede merkezi bir konudur. kadar az değişen, yeni bir inancı birleştirmekten ibarettir.
Tutarlılığı korurken orijinal inançların mümkün
Revizyon her zaman yeni kanıtları daha iyi bir inanç olarak görür. Bu tür yeni kanıtlar genellikle
sonra korunması gereken bir önerme formülü şeklinde temsil edilir.
revizyon.
Burada, Δps (PS-Merge) inanç birleştirme operatörü, kısıtlamaları dikkate almak için genişletilir ve bu genişletme, inanç revizyonu için bir strateji olarak kullanılır. Genişletilmiş birleştirme operatörünün revize edilmiş inanç tabanını elde edebilmesi için yeni kanıt bir kısıtlama olarak ele alınır.
Özellikler
- Bir inanç temeli K'nin yeni kanıtlara karşı gözden geçirilmesi μ
- Formüllerin DNF'ye otomatik dönüştürülmesi
- Basit ve kullanıcı dostu
- Platform bağımsız
Seyirci
Bilim/Araştırma, Eğitim
Kullanıcı arabirimi
Java Salıncak
Programlama dili
Java
Kategoriler
Bu, https://sourceforge.net/projects/beliefreviser/ adresinden de getirilebilecek bir uygulamadır. Ücretsiz İşletim Sistemlerimizden birinden en kolay şekilde çevrimiçi çalıştırılabilmesi için OnWorks'te barındırılmıştır.
