Bu, en son sürümü frdcsa-panoply-git-20200329.tgz olarak indirilebilen, çevrimiçi Linux'ta çalışacak frdcsa 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 çevrimiçi olarak Linux'ta çalıştırmak için frdcsa adlı bu uygulamayı çevrimiçi olarak indirin ve ç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
frdcsa Linux'ta çevrimiçi çalışacak
TANIM
20 yıllık ücretsiz/özgür yapay zeka sisteminin ilk sürümü. Proje iki uçtan oluşur: FRD - otomatik teorem ispatı için ve CSA - genel amaçlı yazılım için. Diğer bir boyut ise yazılımın toplanıp toplanmadığı ve/veya yazıldığıdır. FRDCSA her iki yaklaşımı da benimser. Genel olarak FRDCSA çok stratejilidir. Örneğin, hem sembolik hem de bağlantıcı teknolojileri kullanır. Amaç, problem çözme kabiliyetini/teorik ispat kabiliyetini maksimize etmektir. Bilgisayarları resmi matematiksel sistemler olarak görür. Bu nedenle Turing ve Feferman'ın tamlık teoremleriyle ilişkilidir. Yayımlanan sürüm (Panoply-Git) zorunlu olarak düzeltildi ve güncel değil. Biraz yardımla, daha güncel bir sürüm yayınlayabilir. Hayatınızı yönetmenize yardımcı olmak için Prolog tabanlı bir sistem olan Free Life Planner'ın erken bir sürümüyle birlikte gelir. Harici ve git kod tabanları dışında birçok (89) diğer sistem, alan nedeniyle çoğunlukla dahil edilmez, ancak RADAR bunları toplamanıza izin verir. Daha sonra yardımla serbest bırakılacak.Özellikler
- Yapay Zeka
- Yazılım Mühendisliği
- Yazılım Grubu
- Planlama, Çizelgeleme ve Yürütme
- GNU / Linux
- Sanal makine
- Otomatik Teorem Kanıtı
Bu, https://sourceforge.net/projects/frdcsa/ 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.
