Це програма для Linux під назвою SPINdle, останню версію якої можна завантажити як spindle_all__2.2.4.zip. Його можна запустити в режимі онлайн за допомогою безкоштовного хостинг-провайдера OnWorks для робочих станцій.
Завантажте та запустіть онлайн цю програму під назвою SPINdle з OnWorks безкоштовно.
Дотримуйтесь цих інструкцій, щоб запустити цю програму:
- 1. Завантажив цю програму на свій ПК.
- 2. Введіть у наш файловий менеджер https://www.onworks.net/myfiles.php?username=XXXXX із потрібним ім'ям користувача.
- 3. Завантажте цю програму в такий файловий менеджер.
- 4. Запустіть онлайн-емулятор OnWorks Linux або Windows або онлайн-емулятор MACOS з цього веб-сайту.
- 5. З ОС OnWorks Linux, яку ви щойно запустили, перейдіть до нашого файлового менеджера https://www.onworks.net/myfiles.php?username=XXXXX з потрібним іменем користувача.
- 6. Завантажте програму, встановіть її та запустіть.
ЕКРАНИ
Ad
Шпиндель
ОПИС
SPINdle — це логічний обмірковувач, який можна використовувати для ефективного обчислення наслідку виправданих логічних теорій. Поточна реалізація охоплює як основну виправну логіку, так і модальну відмовну логіку.
Функції
- Підтримує всі типи правил, які можна порушити, такі як факти, суворі правила, правила, які можна піддати, переможці та перевага.
- Підтримує Modal Defeasible Logics з перетвореннями модальних операторів.
- Підтримує заперечення та конфліктні (взаємовиключні) літерали.
- Теорію, яку можна не піддавати, можна представити за допомогою XML та простого тексту (із попередньо визначеним синтаксисом), а теорію та її розширення також можна експортувати за допомогою XML.
- Редактор візуальної теорії розроблено для редагування стандартної теорії логіки, що виправдовується. (Детальнішу інформацію можна знайти на сайті проекту.)
Мова програмування
Java
Категорії
Це додаток, який також можна отримати з https://sourceforge.net/projects/spindlereasoner/. Його розміщено в OnWorks, щоб його можна було запустити в Інтернеті найпростішим способом з однієї з наших безкоштовних операційних систем.
