Đây là ứng dụng Linux có tên SPINdle có bản phát hành mới nhất có thể được tải xuống dưới dạng spindle_all__2.2.4.zip. Nó có thể được chạy trực tuyến trong nhà cung cấp dịch vụ lưu trữ miễn phí OnWorks cho máy trạm.
Tải xuống và chạy trực tuyến ứng dụng có tên SPINdle với OnWorks này miễn phí.
Làm theo các hướng dẫn sau để chạy ứng dụng này:
- 1. Đã tải ứng dụng này xuống PC của bạn.
- 2. Nhập vào trình quản lý tệp của chúng tôi https://www.onworks.net/myfiles.php?username=XXXXX với tên người dùng mà bạn muốn.
- 3. Tải lên ứng dụng này trong trình quản lý tệp như vậy.
- 4. Khởi động trình giả lập trực tuyến OnWorks Linux hoặc trình giả lập trực tuyến Windows hoặc trình mô phỏng trực tuyến MACOS từ trang web này.
- 5. Từ Hệ điều hành OnWorks Linux mà bạn vừa khởi động, hãy truy cập trình quản lý tệp của chúng tôi https://www.onworks.net/myfiles.php?username=XXXXX với tên người dùng mà bạn muốn.
- 6. Tải xuống ứng dụng, cài đặt và chạy nó.
MÀN HÌNH
Ad
Con quay
MÔ TẢ
SPINdle là một trình lý luận logic có thể được sử dụng để tính toán hệ quả của các lý thuyết logic khả thi một cách hiệu quả. Việc triển khai hiện tại bao gồm cả logic khả thi cơ bản và logic khả thi theo phương thức.
Tính năng
- Hỗ trợ tất cả các loại quy tắc của logic khả thi, chẳng hạn như thực tế, quy tắc nghiêm ngặt, quy tắc có thể phòng ngừa, kẻ bại trận và ưu thế.
- Hỗ trợ Logic bảo vệ phương thức với chuyển đổi nhà điều hành phương thức.
- Hỗ trợ phủ định và các nghĩa đen xung đột (loại trừ lẫn nhau).
- Lý thuyết khả thi có thể được biểu diễn bằng cách sử dụng XML và văn bản thuần túy (với cú pháp được xác định trước), và một lý thuyết và phần mở rộng của nó cũng có thể được xuất ra bằng cách sử dụng XML.
- Một trình soạn thảo lý thuyết trực quan được phát triển để chỉnh sửa lý thuyết logic khả thi tiêu chuẩn. (Vui lòng tham khảo nhà của dự án để biết thêm chi tiết.)
Ngôn ngữ lập trình
Java
Danh Mục
Đây là một ứng dụng cũng có thể được tìm nạp từ https://sourceforge.net/projects/spindlereasoner/. Nó đã được lưu trữ trên OnWorks để có thể chạy trực tuyến một cách dễ dàng nhất từ một trong những Hệ thống hoạt động miễn phí của chúng tôi.