שיעור 6 — תכנון והחלטות

טיוטה לאישור המרצה. זהו חומר לימודי ראשוני. הוא אינו מחליף הנחיה שפורסמה במודל, ואינו קובע מועד או ציון.

מטרות

• להבדיל בין תוכנית שנכתבת מראש לבין החלטה אחרי כל תצפית.
• לנסח תנאי עצירה לפני שהלולאה רצה.
• לראות מתי פיצול לשני תפקידים מוסיף מידע, ומתי הוא רק מכפיל עבודה.

שתי צורות

בתהליך קבוע סדר הצעדים ידוע. הוא זול וקל להסבר, ועיוור אחרי הצעד הראשון אם התצפית סותרת הנחה.

בסוכן מסתגל כל תצפית יכולה לשנות את הפעולה הבאה. הוא משלם על כך בעוד קריאות, ואפשר לקרוא את ההחלטה אם היא נכתבת ליומן.

אותה שאלה: האם QuickScreen עומד בשתי הדרישות. שתי המדיניות כתובות מראש.

תהליך קבוע, k=1, תקציב 2

stopped

תקציב הקריאות למודל הסתיים. זו עצירה טכנית, לא הוכחה שאין תשובה במאגר.

סוכן שממשיך אחרי התצפית, k=2

answered

לא עומד בדרישה המשותפת: הריקול 90% נמוך מ־95%, וקיצור הזמן 40% גבוה מ־30%. מקורות: P:1, C:1.

תנאי עצירה צריך להיות אחד מאלה, במפורש: נמצאה ראיה מספיקה, הראיה הזמינה אינה מספיקה, או שנגמר תקציב או כלי. אסור לערבב את השלישי עם השני.

חלוקה

שני סוכנים מוצדקים כשלכל אחד חלון, כלים, או מקורות שונים, וכשיש כלל לסתירה. אותה משימה לשניהם, בלי גבול, מייצרת כפילות. שיעור 11 בודק את זה בקוד. כאן מספיק לשרטט מי שולח למי, מה אסור לחפוף, ומי חותם על התשובה.