To jest aplikacja dla systemu Linux o nazwie frdcsa do uruchamiania w systemie Linux online, której najnowszą wersję można pobrać jako frdcsa-panoply-git-20200329.tgz. Można go uruchomić online w darmowym dostawcy usług hostingowych OnWorks dla stacji roboczych.
Pobierz i uruchom online tę aplikację o nazwie frdcsa, aby działać w systemie Linux online 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
frdcsa do uruchomienia w systemie Linux online
OPIS
Pierwsze wydanie darmowego systemu sztucznej inteligencji działającego od 20 lat. Projekt składa się z dwóch gałęzi: FRD - dla automatycznego dowodzenia twierdzeń oraz CSA - dla oprogramowania ogólnego przeznaczenia. Innym wymiarem jest to, czy oprogramowanie jest gromadzone i/lub pisane. FRDCSA przyjmuje oba podejścia. Ogólnie rzecz biorąc, FRDCSA jest multistrategią. Na przykład wykorzystuje zarówno technologie symboliczne, jak i koneksjonistyczne. Celem jest zmaksymalizowanie zdolności rozwiązywania problemów / zdolności dowodzenia teorii. Postrzega komputery jako formalne systemy matematyczne. Stąd związane z twierdzeniami o zupełności Turinga i Fefermana. Wydana wersja (Panoply-Git) jest z konieczności zredagowana i nieaktualna. Z niewielką pomocą może wydać bardziej aktualną wersję. Zawiera wczesną wersję Free Life Planner, systemu opartego na Prologu, który pomaga zarządzać swoim życiem. Wiele (89) innych systemów, z wyjątkiem baz kodów zewnętrznych i git, w większości nie jest uwzględnionych ze względu na miejsce, ale RADAR pozwala je zebrać. Wyda później z pomocą.Korzyści
- Artificial Intelligence
- Inżynieria oprogramowania
- Konglomerat oprogramowania
- Planowanie, harmonogramowanie i wykonanie
- GNU / Linux
- Maszyna wirtualna
- Zautomatyzowane dowodzenie twierdzeń
Jest to aplikacja, którą można również pobrać z https://sourceforge.net/projects/frdcsa/. Został umieszczony w OnWorks, aby można go było uruchomić online w najprostszy sposób z jednego z naszych bezpłatnych systemów operacyjnych.