בניית רשת עצבית גרפית עבור גרף ידע משפטי של בינה מלאכותית רפואית
כפי שמוצג ב-איור 1, המסגרת המוצעת מורכבת משלושה מודולים עיקריים. שכבת הקלט משלבת נתונים ממקורות מרובים לתוך גרף הטרוגני באמצעות קידוד ישויות מולטי-מודאלי ומידול קשתים מכוונות. שכבת ה-GCN המודעת ליחסים מבצעת לאחר מכן התאמה סמנטית חוצת-מודלים באמצעות משקולות ותשומת לב (attention) ספציפיות לסוג, ומפיקה שיבוצי צמתים (node embeddings) מאוחדים. לבסוף, שיבוצים אלו תומכים במעקב אחר הטיות (באמצעות הפצה לאחור של גרדיאנטים וזיהוי קהילות) ובניטור תאימות דינמי (באמצעות מיפוי צמתים בזמן אמת ומעקב אחר משקולות קשתות), כאשר הפלט מספק ראיות ייחוס ניתנות לפירוש והתרעות סיכון עבור הרגולטורים.

איור 1ארכיטקטורת גרף ידע משפטי ומעקב אחר הטיות עבור בינה מלאכותית רפואית. תרשים זה ממחיש את זרימת העבודה הכללית של המסגרת המוצעת. שכבת הקלט מאחדת נתונים הטרוגניים ממקורות מרובים (טקסטים משפטיים, הנחיות קליניות, דוחות ביקורת של אלגוריתמים), אשר מקודדים לארבעה סוגי ישויות (סעיפים משפטיים, התנהגויות רפואיות, מודולי אלגוריתם, גופים אחראים) ומקושרים באמצעות ארבעה קשרי משמעות-משפטית מכוונים (הפרה, בסיס, טריגר, ייחוס). שכבת ה-GCN המודעת לקשרים מבצעת יישור סמנטי בין מודאליות שונות באמצעות משקלות ותשומת לב (attention) ספציפיות לסוג הישות. מודול מעקב ההטיה משתמש בהפצת גרדיאנט לאחור (gradient backpropagation) כדי לזהות קצוות בעלי תרומה גבוהה, ולאחר מכן מיישם זיהוי קהילות כדי לאתר מקבצי צמתי-שורש. ניטור התאימות הדינמי ממפה החלטות בזמן אמת לצמתים זמניים, מעריך דמיון שיכון (embedding similarity) מול סעיפים משפטיים, ועוקב אחר התפתחות משקל הקצוות לצורך התראה מוקדמת. הפלטים כוללים ראיות ייחוס ניתנות לפירוש והתראות סיכון. אנא לחצו כאן כדי לצפות בגרסה גדולה יותר של איור זה.
קידוד במבנה גרף הטרוגני של ישויות משפטיות וקשרים
ארבע ישויות בסיסיות נגזרות באופן עקבי מחוקי רגולציה של בינה מלאכותית רפואית, הנחיות פרקטיקה קלינית ודוחות ביקורת של אלגוריתמים: סעיפים משפטיים, פרוצדורות רפואיות, מודולים אלגוריתמיים וישויות בעלות אחריות. מודל למידה של ייצוג מאפיינים נפרד מוצע עבור כל סוג של ישות כדי שיהיו מובחנות סמנטית. צמתי הסעיפים המשפטיים מאורגנים כך שיכילו את מספר הסעיף המשפטי, והוא משמש כמזהה ייחודי (ID) עבור הסעיף. במקביל, מוגדר מדד כימות לחומרת העונש כדי לציין את רמת האחריות המשפטית הקשורה לסעיף, וכתוצאה מכך, נקבע וקטור מאפיינים.
(1)
ci הוא מספר הרשומה, Emb(·) מייצג את מיפוי השקיעה (embedding) לממד נמוך, ו-[·;·] מייצג את פעולת שרשור הווקטורים. ייצוג זה משמר הן את המבנה הפורמלי והן את חומרת העונש של הטקסט המשפטי, ובכך תומך בהסקה בין הצהרות שונות.
צמתי התנהגות רפואית הם סטנדרטיים ומקודדים על בסיס מערכת סיווג פעולות קליניות, תוך חילוץ רמת הסיכון שלהם rj ∈ {1,2,3} ומערכת תוויות התרחישים הרלוונטיות sj ⊂ S, כאשר S היא המערכה המלאה של קטגוריות תרחישים שנקבעו מראש. קידוד Multi-hot משמש לעיבוד מערכת התוויות, והוא משורשר עם השכבה המייצגת (embedding) של רמת הסיכון כדי ליצור ייצוג ראשוני:
(2)
אסטרטגיה זו מבטיחה שלסוגים שונים של התנהגויות רפואיות יהיו יחסי מרחק מדידים במרחב הווקטורי, דבר התומך בהשוואות בין תרחישים שונים. פונקציית שיכון הטקסט Emb(·) מיושמת באמצעות המודל לשפה משפטית סינית שמאומן מראש, Lawformer (שמאומן על קורפוס משפטי סיני רחב היקף), כאשר ממד הפלט קבוע ב-768.
בהתבסס על התלויות הלוגיות והמגבלות המשפטיות בין ישויות, נקבעו ארבעה סוגים של קשרים סמנטיים מכוונים: "הפרה" (violation), "בסיס" (basis), "טריגר" (trigger) ו-"ייחוס" (attribution), כאשר כל אחד מהם תואם לדפוסים סיבתיים משפטיים שונים. לכל קשת eij ⊂ E מוקצית תווית מסוג tij ⊂ T = {violate, base, trigger, attribute} לצורך העברת הודעות עוקבת למודעות לקשרים. בניית הקשתות עוקבת בקפידה אחר מנגנון התאמת כללי התחום: כאשר התנהגות רפואית חורגת מהדרישות הנורמטיביות, נקבעת קשת "הפרה" המצביעה מצומת ההתנהגות אל הסעיף המשפטי הרלוונטי; כאשר הסעיף המשפטי משמש כבסיס לציות טכני עבור פעולה מסוימת, נקבעת קשת "בסיס"; אם פלט של מודול האלגוריתם מפעיל ישירות ביצוע של התנהגות רפואית ספציפית, מחוברת קשת "טריגר"; קשר ייחוס אחריות נקבע על בסיס מסמכי האחריות של הארגון ומסקנות הביקורת, ובכך נקבעת קשת "ייחוס" בין הגורם האחראי לבין ההפרה או הפגם באלגוריתם.
לאחר אתחול כל הצמתים, נוצר גרף הטרוגני (V, E, H0), כאשר V היא קבוצת הצמתים, E היא קבוצת הקשתים המכוונות עם תוויות סוג, ו-H0 היא מטריצת המאפיינים הראשונית. כדי לשפר את היכולת המבדילה הסמנטית של מבנה הגרף, מאפייני הצמתים מנורמלים:
(3)
μk ו-σk הם הממוצע וסטיית התקן של מאפיין הצומת ה-k במערכת האימון, בהתאמה, ו-∈ הוא קבוע קטן למניעת חלוקה באפס. הנרמול מבטיח שמאפיינים הטרוגניים ממקורות מרובים ישתתפו בפעולות קונבולוציה של גרף בקנה מידה אחיד, ובכך מונע מהשפעות של דומיננטיות נומרית להפריע ללמידה סמנטית. מודל הגרף המובנה המתקבל נושא באופן מלא את הטופולוגיה היחסית של ארבעת האלמנטים מממדי החוק, ההתנהגות, הטכנולוגיה והאחריות במערכת AI רפואית, ומספק בסיס גרפי הניתן לחישוב עבור ניתוח הפצת הטיות בהמשך.
שיפור יישור קונבולוציית גרפים עבור סמנטיקה משפטית רב-מודאלית
רשת קונבולוציית גרפים מודעת ליחסים (relation-aware graph convolutional network)38,39, המרחיבה את מסגרת רשת הקונבולוציה של גרפים רלציוניים (R-GCN), משמשת להעברת תכונות (features) לאורך שכבות מרובות של הגרף ההטרוגני הראשוני. בעוד ש-R-GCN מציגה מטריצות טרנספורמציה לכל יחס עבור נתונים רלציוניים כלליים, הגישה שלנו משלבת בנוסף מנגנון קשב (attention mechanism) למידה כדי לשקלל באופן דינמי את תרומות השכנים, ומגדירה ארבעה סוגי יחסים משפטיים-סמנטיים ספציפיים (הפרה, בסיס, טריגר, ייחוס) המותאמים לניתוח תאימות של בינה מלאכותית רפואית. הפעולה של כל שכבה מגדירה באופן עצמאי את פרמטרי תהליך הטרנספורמציה בהתבסס על הסוג הסמנטי של הצלעות. עבור כל צומת יעד, מידע השכנות שלו מקובץ ומאוגד לפי סוגי הצלעות המקשרות. כל סוג של יחס מצויד במטריצת טרנספורמציה ליניארית ייעודית כדי להבדיל בין התכונות המועברות לאורך נתיבים סמנטיים משפטיים שונים40,41. אם הצלע בין צומת הסעיף המשפטי לצומת ההתנהגות הרפואית היא מסוג "בסיס", כאשר צומת הסעיף המשפטי מקבל הודעה מצומת התנהגות רפואית, הוא מחיל את מטריצת המשקל המתאימה כדי למפות את תכונות השכן באופן מרחבי. באותו אופן, כאשר צומת התנהגות רפואית שולח פלט דרך צומת מודול סכימת אינטגרציה של צלעות מסוג "טריגר" אל מודול אלגוריתמי, מטריצת הפרמטרים המזוהה עם יחס זה מבצעת טרנספורמציית תכונות. דבר זה מדמה את הגמישות של סוגים שונים של לוגיקה משפטית, ומממש/מזין שכבות לוגיות שונות כדי לשמור על עצמאות סמנטית במהלך זרימת המידע ללא רעש חוצה-מודאלי. האיגור (aggregation) מוגדר באופן הבא:
(4)
mi(l) מייצג את המידע המקיף שנאסף על ידי צומת i בשכבה l, Nil היא קבוצת השכנים שלו תחת יחס r, Wr היא מטריצת הטרנספורמציה הליניארית, ו-hj(l−1) הוא ייצוג ההטמעה (embedding) של צומת השכן בשכבה הקודמת.
מנגנון קשב (attention mechanism) למידה מוצג במהלך אגרגציית ההודעות כדי להתאים באופן דינמי את עוצמת ההשפעה של צמתים שכנים שונים על עדכון הייצוג של צומת המטרה42,43. מקדם הקשב נוצר על בסיס שני גורמים: דמיון במאפייני הצמתים וחשיבות משפטית, ללא הסתמכות על משקולות קבועות מראש. עבור צמתי סעיפים משפטיים, בעת קבלת מאפייני התנהגות רפואית של שכנים, ציון הקשב מחושב על בסיס הערך הכמותי של עוצמת העונש הקשורה לאחרונים; כאשר צומת מודול האלגוריתם ממזג מידע על התנהגות רפואית, הוא מתמקד בשכנים בעלי רמות סיכון תפעולי גבוהות יותר. משקל הקשב מחושב באופן הבא:
(5)
αij הוא מקדם הקשב של צומת j לצומת i, ו-a הוא וקטור הקשב הניתן ללמידה. מודל זה מאפשר זיהוי אוטומטי של נתיבים מקושרים בסיכון גבוה או תחת אילוץ גבוה במהלך אימון מקצה לקצה, תוך הקצאת קשב גבוה יותר עבורם. השכembedding המעודכן הסופי של הצומת נקבע על ידי הודעות משוקללות וחיבורי שארית.
(6)
σ היא פונקציית ההפעלה, ותכנון שאריתי (residual design) מפחית את בעיית היעלמות הגרדיאנט בהעברה עמוקה ומבטיח יציבות בנוכחות קונפליקטים סמנטיים מרובים. בעקבות L = 3 שכבות קונבולוציה של גרפים (כל אחת עם ממד נסתר של 256 והפעלת ReLU), השכבות של כל הצמתים משלבות בצורה חלקה מידע קשרי חוצה-מודאליות והופכות לייצוגים מאוחדים עם יכולות הבחנה סמנטית משפטית.
שתי דיאגרמות חלופיות לניתוח תאימות משפטית עבור ה-AI בתחום הבריאות מוצגות באיור 2, במטרה לטפל בהדמיה של סוגי קשרים משפטיים ונתיבים להפצת הטיות, המצביעים על מקורות פוטנציאליים להטיות בתהליך קבלת החלטות זה. איור 2A מציג את ההשפעה של קשרים סמנטיים משפטיים שונים, כאשר ארבעה סוגי קשרים מקודדים בצבעים, ועבור כל סוג הקשתות נבדלות באמצעות צבע שונה. עובי הקשת תואם למשקל הקשב (attention weight) של אותו קשר ספציפי, כלומר, עד כמה קשר זה תורם להחלטת ה-AI. קשת עבה מצביעה למעשה על קשר משפטי דומיננטי בהחלטה ובמקרה זה היא סיפקה מוטיבציה מספקת לתוצאת המקרה. גודל הצומת נמדד לפי תרומתו להפרות: צמתים גדולים יותר מעידים על קשר חזק יותר בין ההתנהגות לסעיפים משפטיים ספציפיים, ולפיכך על סיכון פוטנציאלי גבוה יותר. הדמיה זו מספקת שכבה סמנטית משפטית ברורה, המאפשרת לנו לזהות את הנתיבים המשפטיים החזקים והמסוכנים ביותר בקבלת החלטות של AI. איור 2B מצביע גם הוא על נתיבים בעלי תרומה גבוהה (להפצת הטיות) עם דגש על קשתות בעלות תרומה גבוהה, אשר מודגשות בקו עבה ומלוות בקווי מקווקו (למשל B1-B3) בתהליך קבלת ההחלטות. הכפלת הרוחב של קשתות אלו מייצגת את חשיבותן בהפצת הטיות מערכתיות. אילו שילובים של כללים משפטיים והתנהגויות טכניות גורמים לאפקט הגברה זה של הטיות מוצגים באיור 2. ניתוח זה לא רק חושף את נתיב הפצת ההטיה, אלא גם מסייע בזיהוי מקור ההטיה, שעל בסיסו ניתן לבצע ביקורת תאימות ולקבוע את האחריות של כלי ה-AI.

איור 2: ניתוח של תאימות משפטית והפצת הטיות ב-AI של שירותי בריאות (דוגמה להמחשה). (A) קשרי סמנטיקה משפטית מקודדים בצבעים: הפרה (אדום), בסיס (כחול), טריגר (ירוק), שיוך (כתום). עובי הקו פרופורציונלי למשקל הקשב (attention weight), המצביע על השפעת כל קשר על החלטת ה-AI. גודל הצומת פרופורציונלי לתרומתו להפרה, מה שמדגיש ישויות בסיכון. (B) תת-גרף של הפצת הטיות: קווים בעלי תרומה גבוהה מודגשים ובקו מקווקו (למשל, B1‑B3); קווים ברוחב כפול מצביעים על הגברה של הטיה מערכתית. ויזואליזציה זו תומכת בזיהוי נתיבים משפטיים דומיננטיים, מקורות להטיה וביקורת תאימות. סולמות מדידה או פסי שגיאה אינם רלוונטיים מאחר שמדובר באיור סכמטי. אנא לחץ כאן כדי לצפות בגרסה גדולה יותר של איור זה.
מנגנון נסיגה של תת-גרף עבור נתיב התפשטות הטיות
במחקר זה, "הטיה" (bias) מוגדרת כסטייה שיטתית של פלט מערכת בינה מלאכותית מההחלטה המצופה מבחינה קלינית ומשפטית, הנמדדת על ידי הפער בין ציון הסיכון החזוי של המודל לבין תווית הציות המהווה את ה-ground-truth. אות ההטיה מכומת כהפסד אנטרופיה צולבת (cross-entropy loss) בין הפלט הסופי של האלגוריתם לבין אינדיקטור בינארי של ציות (1 עבור תואם, 0 עבור לא תואם), המחושב באופן מצטבר עבור כל מקרים ההחלטה ב-batch.
לאחר אימון רשת העצבים הגרפית, נעשה שימוש ביכולת הגזירה שלה כדי לבצע ניתוח של התפשטות לאחור (backpropagation) על אות ההטיה בשכבת הפלט. החל מצומת ההחלטה של האלגוריתם המזהה חריגות, מחושב גודל הגרדיאנט של פונקציית ההפסד ביחס לכל קשת מחברת, כדי לכמת את תרומתה של כל קשת להיווצרות ההטיה. תהליך זה מיושם באמצעות מסגרת של גזירה אוטומטית, תוך נסיגה שכבה אחר שכבה לאורך הקשתים המכוונות במבנה הגרף, כדי לקבל את עוצמת ההשפעה של כל התמרת פרמטר של קשת על השינוי בפלט הסופי. ככל שהערך המוחלט של הגרדיאנט גבוה יותר, כך הקשר המשפטי-טכני המועבר על ידי אותה קשת דומיננטי יותר בהפצת ההטיה. תרומתה של קשת מוגדרת כ:
(7)
Lbias הוא ההפסד הגזיר המוגדר עבור התנהגות מוטה, ו-wi הוא וקטור משקלי הכניסה המתאים לסוג הקֶשֶר. ערך גרדיאנט זה משקף את מידת ההשתתפות של קשר סמנטי ספציפי בהטיית השיוך הנוכחית. לאחר שכל הקשרים מדורגים באופן זה, נקבע סף דינמי τ כדי לסנן את קבוצת הקשרים בעלי התרומה הגבוהה Ehigh, שתרומתם עולה על gij > τ, ובכך נוצר תת-הגרף הראשוני להפצת ההטיה Gbias = (Vbias, Ehigh). באופן ספציפי, τ נקבע כאחוזון ה-85 של ערכי הגרדיאנט המוחלטים בכל הקשרים בכל תקופת אימון (epoch), ובכך מובטח שרק 15% מהקשרים המשפיעים ביותר יישמרו לבניית תת-הגרף. תת-גרף זה מתמקד בנתיבי קישור מרכזיים בעלי הסבירות הגבוהה ביותר להניע הטיה שיטתית, ובכך הוא דוחס את מרחב החיפוש ומשפר את היעילות של מעקב אחר המקור.
בתוך תת-הגרף של התפרוסות ההטיה (bias-propagation subgraph) שהוקם, מופעל אלגוריתם לזיהוי קהילות המונחה על ידי צבירה ספקטרלית (spectral clustering), במטרה לזהות מבני אשכולות של צמתים בעלי יישור גבוה. תהליך זה מבוסס על פירוק מטריצת לפלס הנורמלית של תת-הגרף, הממפה שיבודי צמתים למרחב ספקטרלי רב-ממדי נמוך ומיישם אסטרטגיית צבירה מודעת לצפיפות במרחב זה, על מנת להבטיח שצמתים מסוגים שונים (כגון סעיפים משפטיים ומודולים אלגוריתמיים) יקובצו לאותו אשכול כאשר הם קשורי תפקודית באופן הדוק. כל קהילה שזוהתה מייצגת לולאה תפקודית פוטנציאלית או יחידה של ריכוז אחריות. תוצאות חלוקת הקהילות מונעות על ידי יעדי האופטימיזציה הבאים:
(8)
L=D−A היא מטריצת הלפלסיאן של תת-הגרף, A היא מטריצת הסמיכות, D היא מטריצת הדרגות, ck הוא וקטור האינדיקציה של הקהילה ה-k, ו-K הוא מספר הקהילות שנקבע מראש. קריטריון זה ממקסם את הפרש החיתוך המינימלי בין קהילות, ובכך מבטיח קשרים פנימיים הדוקים.
כעת, מבוצע ניתוח מבוסס קומפוזיט חוצה-שכבות עבור כל קהילה. אם קהילה מכילה צמתי סעיפי חוק וצמתי מודולי אלגוריתם, היא מסומנת כמקור פוטנציאלי להטיה. כדי לבחון את הקשר הסיבתי, מבוצע ניסוי התערבות: כל הקשתות באזור זה מוסרות זמנית מהגרף, תהליך קבלת ההחלטותים זה מורץ שנית, וההבדלים במדדי ההטיה נבחנים. מדד התקפות הסיבתית מוגדר כ:
(9)
Borig ו-Bmask מייצגים את עוצמת ההטיה של המודל המקורי ואת ההטיה לאחר מיסוך, בהתאמה. אם מדד התקיפות הסיבתית גבוה באופן משמעותי מהסף שנקבע מראש, הדבר מרמז כי מקבץ הצמתים זוהה כמקור הסברי להטיה, אשר ינחה בהמשך את תיקון הצייות ואת הקצאת השגיאות.
אימות תאימות דינמי של מגבלות משפטיות
מקרים של קבלת החלטות בזמן אמת המופיעים במהלך הפעלתו של מערכת בינה מלאכותית רפואית מוצגים כצמתים זמניים ומוטמעים במרחב של גרף ידע נלמד. וקטור מאפיינים ראשוני נוצר על ידי כל צומת באמצעות קריאת הקשר הקלט שלו, התנהגות הפלט ומצב האלגוריתם. לאחר מכן, וקטור זה מוזן לרשת עצבית גרפית עם פרמטרים קפואים כדי לבצע הפעלה קדימה (forward propagation) של שכבה אחת, ובכך להפיק הטמעה התואמת לגרף הידע מבלי לשנות את מבנה הגרף המקורי. באופן זה, הדבר מאפשר להשוות בין צמתים זמניים לבין צמתי סעיפים משפטיים במרחב סמנטי משותף.
לאחר מכן, חשבו את דמיון הקוסינוס (cosine similarity) בין הצומת הזמני לבין כל אחד מצומתי סעיפי החוזה:
(10)
htemp הוא הייצוג (embedding) של הצומת הזמני, ו-hjlaw הוא הייצוג של צומת סעיף החוק ה-j. ערך הדמיון משקף למעשה את מידת ההתאמה הסמנטית בין ההחלטה הנוכחית לכל הגבלה משפטית. סף ציות דינמי θ נקבע על בסיס התפלגות הדמיון של דגימות ציות היסטוריות כדי להתאים את גבול השיפוט תחת תרחישי יישום שונים. באופן ספציפי, θ = µ - 2σ, כאשר µ ו-σ הם הממוצע וסטיית התקן של התפלגות דמיון הקוסינוס שחושבה מתוך קבוצת אימות של 500 מקרים ידועים של החלטות תואמות.
אם ציון דמיון הקוסינוס (cosine similarity) יורד מתחת לסף הציות הדינמי, כלל המשפט המתאים נחשב למופר, מה שמפעיל את מנגנון ההתרעה על אי-ציות. ההודעה כוללת גם את מספר הסעיף המשפטי התואם המינימלי, את ערך הדמיון ואת כיוון ניתוח השוני, אשר אמורים להספיק כדי שהרגולטורים יפעלו במהירות. גישה זו מספקת מיפוי ניתן לפירוש מקבלת החלטות עמומה למרחב הסמנטיקה המשפטית ומקלה על בדיקת ציות בזמן אמת.
במהלך פעולה רציפה, נערמך מעקב אחר מגמת שינוי המשקל של קצוות חיבור מרכזיים בין טכנולוגיה למשפט בתת-גרף של התפשטות ההטיה. דגש מיוחד מושם על הקצוות המחברים בין צמתי מודול אלגוריתמי לבין צמתי סעיפים משפטיים, שכן הם מייצגים ישירות את עוצמת התגובה של התנהגות טכנית לרגולציות ספציפיות. פרמטרי מטריצת הטרנספורמציה עבור כל קצה מטרה נרשמים במהלך ההסקה, והנורמה שלהם מופקת כאינדיקטור דינמי לאבולוציה של עוצמת המתאם ביניהם. הגדרת רצף עוצמת הקצוות כ:
(11)
ות׳ מייצג את נורמת פרובניוס (Frobenius norm) של מטריצת המשקולות המתאימה לקשר בין קשת הij בחותמת הזמן תו- ו'kl(t) האם מטריצת הפרמטרים אכן נמצאת בשימוש במודל באותו זמן. מדד זה משקף את עומק הלמידה של המודל או את תלותו באילוץ המשפטי.
מבחן מונוטוניות עם חלון נחלק מבוצע על הרצף, ומבחן סימנים משופר משמש לקביעה האם נצפתה מגמת עלייה משמעותית. אם העליות לאורך N צעדי זמן עוקבים מקיימות את תנאי הדומיננטיות החיובית, אזי הקשת נחשבת ככזו המפגינה תופעת חיזוק חריגה. בשילוב נוסף של נתוני תרומת גרדיאנט היסטוריים, אם הקשת זוהתה כנתיב בעל השפעה גבוהה בסבב הקודם של ניתוח מעקב למקור, יופעל תהליך התרעה מוקדמת על הצטברות הטיות מערכתית.
לבסוף, נוצר דוח מעקב אחר המקור, הכולל מידע על הצמתים בשני קצות הצלע הממוקדת, עקומות שינוי משקלים, סטטיסטיקה על תדירות ההחלטות הקשורות, והמלצות פוטנציאליות לייחוס. מנגנון זה מאפשר מעבר משיפוט תאימות סטטי לחיזוי סיכונים דינמי, התומך בהתערבות פרואקטיבית בסטיות מוסדיות פוטנציאליות.
נתונים ותכנון ניסיוניים
כדי לאמת את יעילות המסגרה המוצעת, מאמר זה בונה מערך נתונים הטרוגני רב-מקור המשלב רגולציות ממסמכים רשמיים ונתוני סימולציה, ומעצב ניסויי בקרה קפדניים. מקורות הנתונים כוללים רגולציות לאומיות לבינה מלאכותית רפואית, הנחיות לטיפול קליני, דוחות ביקורת של אלגוריתמים מקור פתוח ויומני החלטות של סימולציות. לאחר עיבוד מקדים, נבנה גרף ידע הטרוגני המשמש כבנצ'מרק, המכיל 285 צמתים (85 סעיפי חוק, 120 התנהגויות רפואיות, 42 מודולי אלגוריתם ו-38 ישויות אחראיות) ו-1247 קשתות מכוונות, כפי שמוצג ב-איור 3.

איור 3: התפלגות ומאפיינים של סוגי ישויות הטרוגניות. (A) תרשים עמודות המראה את מספר הצמתים עבור כל סוג ישות: סעיפים משפטיים (85), התנהגויות רפואיות (120), מודולי אלגוריתם (42), גופים אחראים (38). (B) היסטוגרמה של עוצמת העונש עבור צמתים של סעיפים משפטיים, מחולקת לקטגוריות נמוכה (0‑0.33), בינונית (0.34‑0.66), וגבוהה (0.67‑1.0); הציר האנכי מייצג את הספירה. (C) תרשים עוגה של התפלגות רמת הסיכון בקרב צמתים של התנהגויות רפואיות: נמוכה (19%), בינונית (43%), גבוהה (38%). כל הערכים הם ספירות מוחלטות או אחוזים; לא מוצגים פסי שגיאה מכיוון שאלו סטטיסטיקות תיאוריות של מערך הנתונים. אנא לחץ כאן כדי לצפות בגרסה גדולה יותר של איור זה.
איור 3 ממחיש את ההתפלגות והמאפיינים של צומתי ישויות בגרף הידע ההטרוגני. איור 3A מראה את התפלגות מספרם של ארבעה סוגי צומתי ישויות, כאשר צומתי "התנהגות רפואית" הם הנפוצים ביותר (120), ואחריהם "סעיפי חוק" (85), בעוד ש"מודולי אלגוריתם" (42) ו"ישויות אחראיות" (38) הם מעטים יחסית. זאת מכיוון שהגרף תוכנן מבנית על בסיס התנהגות וכללים. איור 3B מציג את התפלגות עוצמות העונש עבור צמתים המייצגים סעיף חוק ייחודי, כאשר העוצמה מודדת את חומרת האחריות המשפטית. הנתונים מצביעים על כך שישנם מעט הוראות בעלות עוצמת עונש גבוהה, ומרביתן נמצאות בטווח עוצמה בינוני עד נמוך, דבר העולה בקנה אחד עם המציאות שבה קיימים רק מספר מועט של סעיפי הפרה חמורים במערכות משפטיות בעולם האמיתי. איור 3C ממחיש את התפלגות רמות הסיכון בצומתי התנהגות רפואית, כאשר להתנהגויות בסיכון בינוני יש את הפרופורציה הגדולה ביותר (43%) בעוד שהתנהגויות בסיכון נמוך הן בעלות הפרופורציה הנמוכה ביותר (19%), מה שחושף כי תרחישים רפואיים מופעלים באופן רגיל, ופעולות בסיכון גבוה כפופות לאילוצי קישור קפדניים יותר בגרף. נתונים סטטיסטיים אלו מצדיקים יחד את סכימת קידוד ביטול השגיונות (disambiguation) של הישויות שאומצה בבניית גרף הידע כדי לספק תמיכה במאפיינים עבור יישור קונבולוציית גרף (graph convolutional alignment) עוקב.
כל מערך הנתונים חולק באופן אקראי לקבוצות אימון (70%), תיקוף (10%) ובדיקה (20%), תוך ביצוע שכיבה (stratification) לפי סוג הצומת והתפלגות הקשרים כדי לשמר את מבנה הגרף הכולל בכל חלוקה. אותה חלוקה שימשה באופן עקבי עבור כל שיטות הבסיס (baseline) כדי להבטיח השוואה הוגנת. בנוסף לחלוקה בסיסית זו, שלושת מדרגי הצפיפות של גרף הידע (דליל, בינוני, צפוף) ושלוש הגדרות המורכבות הבין-שיפוטיות (יחיד, בילטרלי, מולטילטרלי) שתוארו לעיל משמשים כסביבות בדיקה מעשיות ועצמאיות, המעריכות יחד את חוסנו של המודל תחת תנאים משתנים של שלמות הנתונים וחפיפה רגולטורית. כדי לבנות תוויות אמת (ground-truth) להערכת לוקליזציה של הטיות, אימצנו אסטרטגיה דו-שלבית: (1) תוויון מומחים — שלושה מומחים משפטיים ורפואיים סקרו באופן עצמאי את יומני ההחלטות וזיהו את צומתי שורש הבעיה ונתיבי ההפצה עבור כל הפרה רשומה של הציות, כאשר חילוקי דעות נפתרו בהצבעת רוב; (2) הזרקה מדומית — לצורך בדיקה מבוקרת, הזרקנו באופן מלאכותי אותות של הטיות ל-20 נתיבי החלטה שנבחרו באופן אקראי על ידי שינוי משקולות הקשתות בגרף הידע, ובכך הבטחנו שצומתי המקור האמיתיים והקשתות המושפעות יהיו ידועים מראש.
עבור כל שיטות הבסיס (TransE, ComplEx, Graph Neural Networks (GNN) Explainer, KG-BERT, ו-Node2Vec), השתמשנו באותה תצורת אימון (אופטימייזר Adam, קצב למידה 1 × 10−3, גודל batch של 64, 100 epochs) ובאותן חלוקות נתונים כפי שבוצעו בשיטתנו, כדי להבטיח השוואה הוגנת. עבור TransE ו-ComplEx, ממד השקיעה (embedding dimension) נקבע ל-256 עם שוליים (margin) של 1.0; עבור KG-BERT, השתמשנו במודל BERT-base מאומן מראש עם גודל batch של 16 ואורך רצף מקסימלי של 128; עבור GNNExplainer, השתמשנו ב-GCN בעל 3 שכבות עם אותו ממד נסתר של 256; ועבור Node2Vec, הגדרנו את אורך המסלול ל-80, מספר המסלולים לכל צומת ל-10, ואת ממד השקיעה ל-256.
כדי להבטיח השוואה הוגנת, התאמנו את כל שיטות הבסיס (baseline) לאותן משימות לוקליזציית הטיות, דהיינו זיהוי צומת-שורש ושחזור נתיב הפצה. עבור TransE, ComplEx ו-Node2Vec, שאינן ניתנות להסבר באופן מובנה, חישבנו את הגרדיאנט של הפסד ההטיה ביחס להטמעה (embedding) של כל צומת והשתמשנו בעוצמת הגרדיאנט כציון חשיבות הצומת; צמתים-שורש נבחרו באמצעות סף (thresholding) של ציונים אלו, ונתיבי הפצה שוחזרו על ידי שמירת קשתות בעלות תרומות גרדיאנט הגבוהות ביותר. עבור GNNExplainer, השתמשנו ישירות במנגנוני חשיבות-קשת ומסכת-צומת המובנים שבו כדי להפיק הן את צמתי-השורש והן את תתי-הגרפים. עבור KG‑BERT, הפועל על שלשות, המרנו כל קשת בגרף לשלשה טקסטואלית והשתמשנו במשקולות הקשב (attention weights) של המודל על הישויות כדי לגזור את חשיבות הצומת, ולאחר מכן השתמשנו באותה אסטרטגיית סף לשחזור הנתיב. באמצעות התאמות אלו, כל שיטת בסיס מייצרת הן תחזיות לצומת-שורש והן תחזיות לנתיב-הפצה, מה שמאפשר הערכה אחידה של כל השיטות.
ההערכה מתמקדת בארבעה יכולות בסיסיות: דיוק של התאמה סמנטית, יכולת לאתר הטיות, יעילות של אחריות (accountability) והכללה בין תחומים. היא מציגה גם שלושה משתני בקרה חשובים, המדמים מורכבות מהעולם האמיתי.
1) מדרג צפיפות של גרף ידע: כדי להעריך כיצד השיטה מתפקדת ברמות השלמה משתנות של מידע, נוצרו שתי תתי-קבוצות מתוך הגרף המלא הבסיסי (צפיפות D = 1.0) על בסיס אסטרטגיה של השמטה אקראית של קשתות באופן הבא:
גרף דליל (D ~ 0.3): 30% מהקשתות נשמרות באופן אקראי, דבר המדמה את שלב בניית הידע המוקדם שבו מידע רב חסר.
גרף בצפיפות בינונית (D ~ 0.6): 60% מהקשתים נשמרים באופן אקראי, מה שמדמה תרחיש טיפוסי של מבנה ידע המוכר באופן חלקי.
גרף צפוף (D = 1.0): שימוש בכל 1247 הקשתות, המייצג תרחיש אופטימלי של ידע מלא יחסית.
2) מצב תדירות קבלת החלטות של AI רפואי: שלושה עומסי זרימת החלטות מלאכותיות נקבעו כדי לבחון את הביצועים בזמן אמת של ניטור תאימות דינמי:
תדר נמוך 10 Hz: בממוצע, 10 אירועי החלטה נוצרים בשנייה, דבר המדמה ניטור של מערכות בקנה מידה קטן או מערכות באתר בודד.
תדר בינוני 50 Hz: 50 אירועי החלטה לשנייה, המדמים את עומס מערכת ה-AI של מוסדות רפואיים אזוריים או בקנה מידה בינוני.
תדר גבוה של 100 Hz: 100 אירועי החלטה לשנייה מדמים תרחישים של לחץ מקביליות גבוה עבור שירותי AI הפרוסים בבית חולים גדול או בפלטפורמת ענן.
3) מדרג מורכבות חוצה-סמכויות שיפוט: כדי לבחון את יכולת ההעברה של מידול אילוצים משפטיים, נבנו שלוש קבוצות בדיקה מבוססות מורכבות:
סמכות שיפוט יחידה: מורכב אך ורק מחוקים ותקנות סיניים נוכחיים המסדירים בינה מלאכותית רפואית.
סמכות שיפוט דו-צדדית: משלבת את המשטרים הרגולטוריים של סין והאיחוד האירופי, כאשר כ-15% מהכללים הם סותרים וחופפים.
סמכות שיפוט רב-צדדית: בהתבסס על השתיים הראשונות, שלב זה משלב בנוסף כללי פרטיות ואבטחה מה-HIPAA (Health Insurance Portability and Accountability Act) של ארה"ב, ובכך יוצר סביבת בדיקה שבה המערכות המשפטיות של שלושת המשטרים המשפטיים שזורות זו בזו, מה שמעלה את שיעור הקונפליקט בין הכללים לכ-25%.
המדדים המרכזיים הבאים שימשו להערכה כמותית:
1) דיוק יישור סמנטי: מודד את יכולתו של הגרף למדל את הקשרים בין ישויות משפטיות וטכניות.
דיוק יישור ישויות:
(12)
Ppred היא קבוצת זוגות הישויות המיושרים שנחזו על ידי המודל, ו-Pgold היא קבוצת היישורים המוזהבים שסומנו על ידי מומחים.
שמירה על שלמות הקשרים:
(13)
Rgraph היא קבוצת היחסים המשוחזרת בגרף, ו-Rtext היא קבוצת היחסים המפורשים שהופקו מהטקסט המשפטי המקורי.
2) יכולת לוקליזציה של הטיות: הערכת היעילות של מעקב אחר הגורמים השורשיים ונתיבי ההפצה של ההטיה.
שיעור השחזור של צומת השורש:
(14)
Npred הוא קבוצת צמתי מקור ההטיה שזוהו על ידי המודל, ו-Ntrue הוא קבוצת צמתי המקור האמיתיים שסומנו על ידי מומחים.
דיוק נתיב ההגברה:
(15)
Epred היא קבוצת הקשתות בתת-גרף של הפגת ההטיה (bias propagation) שהושגה על ידי המודל, ו-Etrue היא קבוצת קשתות הפגת ההטיה האמיתית.
3) יעילות מעקב אחר אחריות: בדיקת ביצועי המערכת בתרחישי ניטור בזמן אמת.
שיהוי מעקב ממוצע:
(16)
M מייצג את המספר הכולל של הבקשות, ו-titrigger ו-tireport הם חותמות הזמן של טריגר ההטיה ה-i ויצירת דוח המקור, בהתאמה.
תפוקת המערכת:
(17)
Nprocessed מייצג את מספר בקשות המעקב בו-זמנית שעובדו בהצלחה בתוך חלון הזמן ΔT.
4) יכולת הכללה בין-תחומית: אימות ההתאמה של השיטה למערכות משפטיות שונות.
כיסוי שיפוטי:
(18)
Cencoded מייצג את מספר הסעיפים השיפוטים השונים שקודדו בהצלחה לגרף, ו-Cinput מייצג את המספר הכולל של סעיפי הקלט.
קצב זיהוי קונפליקטים של אילוצים:
(19)
Dpred היא קבוצת סתירות הלוגיקה המשפטיות שזוהו על ידי המודל, ו-Dgold היא קבוצת כל זוגות הסתירות שסומנו על ידי מומחים.
כל הניסויים בוצעו באמצעות תחנת עבודה המצוידת במעבד רב-ליבות וביחידה לעיבוד גרפי; מפרט חומרה מלא מופיע בטבלת החומרים.
ההיפר-פרמטרים המרכזיים של גישה זו וערכיהם מפורטים בטבלה 1, והם כוללים את מבנה המודל ותצורת האימון, כמו גם ספי שונים וקריטיים, כגון ממד השקיעות (embedding dimension), מספר השכבות הקנוולוציוניות (convolutional layers), קצב הלמידה וגודל האשדרה (batch size). כל הפרמטרים כווננו ביחס למערך האימות באמצעות חיפוש רשת (grid search); המודל המאומן התכנס בצורה יציבה והביצועים הם המיטביים. חלק מהספים נקבעו בשילוב עם קריטריונים מהתחום כדי לעמוד בדרישות לאמינות גבוהה של בדיקת תאימות בינה מלאכותית רפואית.
| פרמטר | ערך | תיאור |
| מימד השקיעה (Embedding Dimension) | 128 | גודל מימד התכונות עבור שקיעות צמתים |
| מספר שכבות קונבולוציה | 3 | עומק רשת הקונבולוציה הגרפית מודעת-יחסים |
| קצב למידה | 0.001 | קצב למידה ראשוני עבור אופטימייזר Adam |
| גודל אצווה (Batch Size) | 32 | מספר תת-גרפים המעובדים בכל אצווה |
| שיעור Dropout | 0.1 | הסתברות Dropout המיושמת על תכונות הצמתים במהלך האימון |
| מספר ראשי קשב (Attention Heads) | 8 | מספר הראשים במנגנון קשב רב-ראשי |
| מקדם רגולריזציית L2 | 5 × 10⁻⁴ | מקדם דעיכת משקולות עבור רגולריזציית פרמטרים |
| סף דמיון | 0.75 | דמיון שקיעה מינימלי עבור אישור תאימות |
| סף תרומת גרדיאנט | 0.01 | סף לבחירת קשתות בעלות השפעה גבוהה בבניית תת-גרף הטיות |
| גודל חלון ניטור | 10 | צעדי זמן המשמשים למעקב אחר דינמיקת משקלי קשתות |
טבלה 1: הגדרות פרמטרים עיקריים. רשימה של היפר-פרמטרים מרכזיים ששימשו בניסויים: ממד שיכון (embedding dimension) (256), מספר שכבות GCN (3), ממד נסתר (256), קצב למידה (1 × 10−3), גודל אצווה (batch size) (64), ממד וקטור קשב, סף תרומת קשת (האחוזון ה-85 של גדלי הגרדיאנט), סף ציות דינמי (µ‑2σ, כאשר µ ו-σ נלקחו מסט האימות של 500 דוגמאות צייתניות), מספר קהילות K (נקבע באמצעות צבירה ספקטרלית), ואופטימייזר (Adam). ערכים אלו נבחרו באמצעות חיפוש רשת (grid search) על סט האימות.