דילוג לתוכן
ObliNet2.0

תוכנית המחקר

משאלת מחקר להגדרות, להשוואות ולראיות ניתנות לבדיקה.

מוקד המחקר

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

שלוש רמות של בדיקה

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

מגבלות והסברים חלופיים

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

חומרים והדגמות קודמים

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

מה לחקור

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

מה אינו מוכיח הצלחה

יותר רשומות, התרעות או אישורים אינם מוכיחים תועלת. התוצאה והמאמץ הכולל הם החשובים.

איך להשתתף

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

נספח: הסבר מפורט ועקרונות

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

מה כבר עובד
תוכנית מחקר

אינטליגנציה היא אישית.
תיאום מתקיים ביחסים.

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

לחוקרים

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

תיאום בתוך דרגי הניהול וביניהם

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

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

שאלה לחקירה

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

מה עלינו להבין

גיבוש ופרשנות של התחייבויות. רשתות התחייבויות. כשלים בתיאום. משא ומתן מחודש. סמכות. תיאום בין אנשים ל־AI. כל נושא דורש הגדרות ברורות והשערות הניתנות לבדיקה.

תיאום הוא יחסי: התאמה בין גורמים אוטונומיים.

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

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

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

מה אפשר למדוד בפיילוט

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

לפעמים ההתחייבות הטובה ביותר היא זו שלא ניתנה.

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

לקריאת העקרונות בהקשרם ↗

כיצד תוצאה הופכת לתנאי לפעולה אחרת

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

שלוש שורות: תנאי עבודה — התחייבות המבצע — עבודה שנמסרה; תנאי קבלה — בדיקה — קבלה מאושרת; תנאי תשלום — התחייבות המשלם — תשלום מאושר.
חצים מתוצאה לתנאי הפעולה הבאה מציינים תלות, ולא ביצוע אוטומטי.
תיאור מילולי של התלויות
  1. העבודה תלויה בחומרים, במשאבים, בתנאים מוסכמים ובסמכויות. התחייבות מאושרת של המבצע עדיין אינה תוצאת העבודה.
  2. העבודה שנמסרה, הקריטריונים וסמכות הבודק מאפשרים בדיקה. הקבלה מאושרת בנפרד.
  3. אישור הקבלה, הכספים, המועד והסמכות הם תנאי התשלום בדוגמה זו. ביצוע התשלום ואישורו הם תוצאה שעדיין יש להשיג.

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

להדגמה הקיימת של עדכון תנאים · לדיון במחקר ובפיתוח