นี่คือแอป Linux ชื่อ Belief Reviser ซึ่งสามารถดาวน์โหลดรีลีสล่าสุดเป็น BeliefReviser.zip สามารถเรียกใช้ออนไลน์ใน OnWorks ผู้ให้บริการโฮสต์ฟรีสำหรับเวิร์กสเตชัน
ดาวน์โหลดและเรียกใช้แอปนี้ออนไลน์ชื่อ Belief Reviser พร้อม OnWorks ฟรี
ทำตามคำแนะนำเหล่านี้เพื่อเรียกใช้แอปนี้:
- 1. ดาวน์โหลดแอปพลิเคชั่นนี้ในพีซีของคุณ
- 2. เข้าไปที่ file manager https://www.onworks.net/myfiles.php?username=XXXXX ด้วยชื่อผู้ใช้ที่คุณต้องการ
- 3. อัปโหลดแอปพลิเคชันนี้ในตัวจัดการไฟล์ดังกล่าว
- 4. เริ่มโปรแกรมจำลองออนไลน์ของ OnWorks Linux หรือ Windows ออนไลน์ หรือโปรแกรมจำลองออนไลน์ MACOS จากเว็บไซต์นี้
- 5. จาก OnWorks Linux OS คุณเพิ่งเริ่มต้น ไปที่ตัวจัดการไฟล์ของเรา https://www.onworks.net/myfiles.php?username=XXXXX พร้อมชื่อผู้ใช้ที่คุณต้องการ
- 6. ดาวน์โหลดแอปพลิเคชั่น ติดตั้ง และเรียกใช้
ภาพหน้าจอ
Ad
ผู้ทบทวนความเชื่อ
DESCRIPTION
การแก้ไขความเชื่อเป็นหัวข้อหลักในการนำเสนอความรู้และการให้เหตุผล ประกอบด้วยการผสมผสานความเชื่อใหม่ เปลี่ยนแปลงน้อยเท่า
เป็นไปได้ของความเชื่อดั้งเดิมในขณะที่รักษาความสม่ำเสมอ
การแก้ไขจะถือว่าหลักฐานใหม่เป็นความเชื่อที่ดีกว่าเสมอ หลักฐานใหม่ดังกล่าวมักจะ
แสดงในรูปของสูตรประพจน์ซึ่งต้องคงไว้หลังจาก
การแก้ไข
ในที่นี้ โอเปอเรเตอร์การรวมความเชื่อ Δps (PS-Merge) ได้รับการขยายเพื่อพิจารณาข้อจำกัด และส่วนขยายนี้ใช้เป็นกลยุทธ์สำหรับการแก้ไขความเชื่อ หลักฐานใหม่ถือเป็นข้อจำกัด ดังนั้นผู้ดำเนินการควบรวมที่ขยายสามารถรับฐานความเชื่อที่แก้ไขได้
คุณสมบัติ
- การแก้ไขฐานความเชื่อ K เทียบกับหลักฐานใหม่ μ
- การแปลงสูตรอัตโนมัติเป็น DNF
- เรียบง่ายและเป็นมิตรกับผู้ใช้
- แพลตฟอร์มอิสระ
ผู้ชม
วิทยาศาสตร์/การวิจัย, การศึกษา
ส่วนติดต่อผู้ใช้
ชวา สวิง
ภาษาโปรแกรม
ชวา
หมวดหมู่
นี่คือแอปพลิเคชันที่สามารถดึงข้อมูลจาก https://sourceforge.net/projects/beliefreviser/ มีการโฮสต์ใน OnWorks เพื่อให้ทำงานออนไลน์ในวิธีที่ง่ายที่สุดจากหนึ่งในระบบปฏิบัติการฟรีของเรา