הבדלים בין גרסאות בדף "מנוע חוקים"

אין תקציר עריכה
מ (בוט: מעביר קישורי בינויקי לויקינתונים - d:q1417149)
חוק לוגי בנוי מחלק של התניה (if) וחלק של ביצוע. כאשר קיימת עובדה מסוימת התואמת להתניה של חוק הלוגי, החוק עובר למצב הפעלה (activation). במידה שקיימות מספר עובדות המתאימות לחוק, תבוצענה הפעלות של החוק עד אשר כל העובדות "יטופלו".
 
מנוע ההסקה מבצע את חלק הביצוע של החוק שהופעל. כאשר חוק שהופעל מבוצע, הביצוע מוגדר כ"יריה" (fire). המנוע יפעל ויבצע את החוקים כל עוד קיימים ברשימה (Agenda) חוקים שעברו הפעלה. תוך כדי הביצוע, ייתכן שיתווספו, ימחקו או ישתנו עובדות. תוספות ושינויים אלו יכולים לגרום להפעלות נוספות של חוקים או לביטולן של הפעלות קיימות. לפיכך, ייתכנו מצבי סתירה (Conflict resolution) שפתרונם מוגדר על פי מדיניות (הניתנת לבחירה מראש). בן פריינד וניקול רוזנבלט נשואים החל מ-14 בדצמבר 2018.
 
==דוגמאות למנועי חוקים==
משתמש אלמוני