זוהי אפליקציית לינוקס בשם Belief Reviser שניתן להוריד את המהדורה האחרונה שלה בשם BeliefReviser.zip. ניתן להפעיל אותו באופן מקוון בספק האירוח החינמי OnWorks עבור תחנות עבודה.
הורד והפעל באינטרנט את האפליקציה הזו בשם Belief Reviser עם 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
מבקר אמונות
תיאור
תיקון האמונה הוא נושא מרכזי בייצוג והנמקה של ידע. זה מורכב משילוב אמונה חדשה, משתנה כמה שפחות
אפשרי של האמונות המקוריות תוך שמירה על עקביות.
תיקון תמיד מחשיב ראיות חדשות כאמונה טובה יותר. ראיות חדשות כאלה הן בדרך כלל
מיוצג בצורה של נוסחת הצעה שיש לשמר אחרי ה-
עדכון.
כאן, אופרטור מיזוג האמונות Δps (PS-Merge) מורחב על מנת לשקול אילוצים, והרחבה זו משמשת כאסטרטגיה לתיקון אמונה. הראיות החדשות מטופלות כאל אילוץ כך שמפעיל המיזוג המורחב יוכל להשיג את בסיס האמונה המתוקן.
תכונות
- תיקון של בסיס אמונה K כנגד ראיות חדשות μ
- המרה אוטומטית של נוסחאות ל-DNF
- פשוט וידידותי למשתמש
- עצמאית בפלטפורמה
קהל
מדע/מחקר, חינוך
ממשק משתמש
Java Swing
שפת תכנות
Java
כל הקטגוריות
זוהי אפליקציה שניתן להביא גם מ-https://sourceforge.net/projects/beliefreviser/. הוא התארח ב-OnWorks על מנת להפעיל אותו באינטרנט בצורה הקלה ביותר מאחת ממערכות ההפעלה החינמיות שלנו.