Đây là ứng dụng Linux có tên Belief Reviser có bản phát hành mới nhất có thể được tải xuống là BeliefReviser.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 này có tên Belief Reviser với OnWorks 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
Người xem lại niềm tin
MÔ TẢ
Ôn tập niềm tin là một chủ đề trung tâm trong biểu diễn và lập luận kiến thức. Nó bao gồm việc kết hợp một niềm tin mới, thay đổi ít như
có thể có của những niềm tin ban đầu trong khi bảo tồn tính nhất quán.
Revision luôn coi bằng chứng mới là niềm tin tốt hơn. Những bằng chứng mới như vậy thường là
được biểu diễn dưới dạng một công thức mệnh đề phải được giữ nguyên sau
ôn tập.
Ở đây, toán tử hợp nhất niềm tin Δps (PS-Merge) được mở rộng để xem xét các ràng buộc và phần mở rộng này được sử dụng như một chiến lược để sửa đổi niềm tin. Bằng chứng mới được coi là một ràng buộc để nhà điều hành hợp nhất mở rộng có thể có được cơ sở niềm tin đã được sửa đổi.
Tính năng
- Sửa đổi cơ sở niềm tin K dựa trên bằng chứng mới μ
- Tự động chuyển đổi công thức sang DNF
- Đơn giản và thân thiện với người dùng
- Nền tảng độc lập
Khán giả
Khoa học / Nghiên cứu, Giáo dục
Giao diện người dùng
Đu quay Java
Ngôn ngữ lập trình
Java
Categories
Đây là một ứng dụng cũng có thể được tìm nạp từ https://sourceforge.net/projects/ Beliefreviser/. 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.