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

איור 1: ארכיטקטורת גרף ידע משפטי ומעקב אחר הטיות עבור AI רפואי. דיאגרמה זו ממחישה את זרימת העבודה הכללית של המסגרת המוצעת. שכבת הקלט ממזגת נתונים הטרוגניים ממקורות מרובים (טקסטים משפטיים, הנחיות קליניות, דוחות ביקורת של אלגוריתמים), המקודדים לארבעה סוגי ישויות (סעיפים משפטיים, התנהגויות רפואיות, מודולים אלגוריתמיים, גופים אחראים) ומחוברים על ידי ארבעה קשרי סמנטיקה-משפטית מכוונים (הפרה, בסיס, טריגר, ייחוס). שכבת ה-GCN המודעת לקשרים מבצעת יישור סמנטי חוצה-מודאליות באמצעות משקולות ותשומת לב (attention) ספציפיות לסוג הישות. מודול המעקב אחר ההטיות משתמש בהפצה לאחור של גרדיאנטים כדי לזהות קשתות בעלות תרומה גבוהה, ולאחר מכן מיישם זיהוי קהילות כדי לאתר צבירי צמתי-שורש. נטר compliance הדינמי ממפה החלטות בזמן אמת לצמתים זמניים, מעריך דמיון embedding אל מול סעיפים משפטיים, ועוקב אחר התפתחות משקולות הקשתות לצורך התרעה מוקדמת. הפלטים כוללים ראיות ייחוס ניתנות לפירוש והתרעות סיכון. אנא לחץ כאן כדי לצפות בגרסה גדולה יותר של איור זה.
קידוד מובנה של גרף הטרוגני עבור ישויות משפטיות וקשרים
ארבע ישויות יסוד נגזרות באופן עקבי מחוקי רגולציה של בינה מלאכותית רפואית, הנחיות לפרקטיקה קלינית ודוחות ביקורת של אלגוריתמים: סעיפים משפטיים, פרוצדורות רפואיות, מודולים של אלגוריתמים וישויות אחראיות. מודל נפרד ללמידת ייצוג תכונות מוצע עבור כל סוג של ישות על מנת שיהיו מובחנות סמנטית. צמתי הסעיפים המשפטיים מאורגנים כך שהם מכילים את מספר הסעיף המשפטי, וזה משמש כמזהה ייחודי (ID) עבור הסעיף. במקביל, מוגדר מדד כימות חומרת ענישה כדי לציין את רמת האחריות המשפטית הקשורה לסעיף, וכתוצאה מכך, נקבע וקטור תכונות.
(1)
ci הוא מספר הרשומה, Emb(·) מייצג את מיפוי ההטמעה (embedding mapping) מממד נמוך, ו-[·;·] מייצג את פעולת שרשור הווקטורים. ייצוג זה שומר הן על המבנה הפורמלי והן על חומרת העונש של הטקסט המשפטי, ובכך תומך בהסקה בין הצהרות שונות.
צמתי התנהגות רפואית הם סטנדרטיים ומקודדים על בסיס מערכת סיווג של פעולות קליניות, תוך חילוץ רמת הסיכון שלהם 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-ית במערך האימון, בהתאמה, ו-∈ הוא קבוע קטן למניעת חלוקה באפס. נורמליזציה מבטיחה שתכונות הטרוגניות ממקורות מרובים ישתתפו בפעולויות קונוולוציה של גרף (graph convolution) בקנה מידה אחיד, ובכך מונעת מהשפעות של דומיננטיות מספרית להפריע ללמידה סמנטית. מודל הגרף המבני המתקבל נושא באופן מלא את הטופולוגיה היחסית של ארבעת האלמנטים ממדיים של חוק, התנהגות, טכנולוגיה ואחריות במערכת ה-AI הרפואית, ומספק בסיס גרפי חישוב עבור ניתוח הפצת הטיות עוקב.
שיפור יישור קונבולוציית גרפים עבור סמנטיקה משפטית חוצת-מודליים
רשת קונוולוציונית של גרפים מודעת ליחסים (relation-aware graph convolutional network)38,39, המרחיבה את מסגרת ה-Relational Graph Convolutional Network (R-GCN), משמשת להפצת מאפיינים על פני מספר שכבות של הגרף ההטרוגני הראשוני. בעוד ש-R-GCN מציגה מטריצות טרנספורמציה לכל יחס עבור נתונים רלציוניים כלליים, הגישה שלנו משלבת בנוסף מנגנון קשב (attention mechanism) למידה כדי לשקלל באופן דינמי את תרומות השכנים, ומגדירה ארבעה סוגי יחסי משמעות משפטית ספציפיים (הפרה, בסיס, טריגר, ייחוס) המותאמים לניתוח ציות של בינה מלאכותית רפואית. הפעולה של כל שכבה מגדירה פרמטרים באופן עצמאי לתהליך הטרנספורמציה בהתבסס על הסוג הסמנטי של הקשתות. עבור כל צומת מטרה, מידע השכנות שלו מקובץ ומאוגד לפי סוגי הקשתות המחברות. כל סוג של יחס מצויד במטריצת טרנספורמציה ליניארית ייעודית כדי להבדיל בין המאפיינים המועברים לאורך נתיבים סמנטיים משפטיים שונים40,41. אם הקשת בין צומת סעיף משפטי לצומת התנהגות רפואית היא מסוג "בסיס", כאשר צומת הסעיף המשפטי מקבל הודעה מצומת התנהגות רפואית, הוא מחיל את מטריצת המשקלים המתאימה כדי למפות את מאפייני השכן מרחבית. באופן דומה, כאשר צומת התנהגות רפואית שולח פלט באמצעות צומת מודול של סכימת אינטגרציית קשתים מסוג "טריגר" אל מודול אלגוריתם, מטריצת הפרמטרים של ה-triggered, הקשורה ליחס זה, מבצעת טרנספורמציה של המאפיינים. פעולה זו מחקה את הנזילות של סוגים שונים של לוגיקה משפטית, ומממשת/מעדכנת שכבות לוגיות שונות כדי לשמור על עצמאות סמנטית במהלך זרימת המידע ללא רעש חוצה-מודליות. האיגור מוגדר באופן הבא:
(4)
mi(l) מייצג את המידע המקיף שנאסף על ידי צומת i בשכבה l, Nil היא קבוצת השכנים שלו תחת יחס r, Wr היא מטריצת הטרנספורמציה הליניארית, ו-hj(l−1) הוא ייצוג ההטמעה (embedding) של צומת השכן בשכבה הקודמת.
מנגנון קשב (attention mechanism) למידה מוצג במהלך אגרגציית ההודעות כדי להתאים באופן דינמי את עוצמת ההשפעה של צמתים שכנים שונים על עדכון הייצוג של צומת היעד42,43. מקדם הקשב נוצר בהתבסס על הגורמים הכפולים של דמיון בתכונות הצומת וחשיבות משפטית, ללא הסתמכות על משקולות קבועות מראש. עבור צמתי סעיפי חוק, בעת קבלת מאפייני התנהגות רפואית של שכנים, ציון הקשב מחושב על בסיס הערך הכמותי של עוצמת הענישה הקשורה לאחרונים; כאשר צומת מודול האלגוריתם ממזג מידע על התנהגות רפואית, הוא מתמקד בשכנים בעלי רמות סיכון תפעולי גבוהות יותר. משקל הקשב מחושב באופן הבא:
(5)
αij הוא מקדם הקשב (attention coefficient) של צומת j עבור צומת i, ו-a הוא וקטור הקשב הניתן ללמידה. מודל זה מאפשר זיהוי אוטומטי של נתיבים מחוברים בעלי סיכון גבוה או אילוצים גבוהים במהלך אימון מקצה לקצה, תוך הקצאת קשב גבוה יותר עבורם. השכאה (embedding) הסופית והמעודכנת של הצומת נקבעת על ידי הודעות משוקללות וחיבורים שאריתיים (residual connections).
(6)
σ היא פונקציית ההפעלה, ותכנון שאריתי (residual design) מפחית את בעיית היעלמות הגרדיאנט בהעברה עמוקה ומבטיח יציבות בנוכחות קונפליקטים סמנטיים מרובים. בעקבות L = 3 שכבות קונבולוציה גרפית (כל אחת עם ממד נסתר של 256 והפעלה מסוג ReLU), ההטמעות (embeddings) של כל הצמתים משלבות באופן חלק מידע הקשרי חוצה-מודאליות והופכות לייצוגים מאוחדים עם יכולות הבחנה סמנטית משפטית.
שתי דיאגרמות חלופיות לניתוח תאימות משפטית עבור ה-AI למסירת שירותי בריאות מוצגות ב-איור 2, במטרה להמחיש את סוגי הקשרים המשפטיים ונתיבים להפצת הטיות, המצביעים על מקורות פוטנציאליים להטיות בקבלת החלטה זו. איור 2A מציג את ההשפעה של קשרים סמנטיים משפטיים שונים, כאשר ארבעה סוגי קשרים מקודדים בצבעים, ועבור כל סוג הקשתים מובחנות בצבע שונה. עובי הקשת תואם למשקל הקשב (attention weight) של אותו קשר ספציפי, כלומר, עד כמה קשר זה תורם להחלטת ה-AI. קשת עבה מעידה למעשה על קשר משפטי דומיננטי בהחלטה, ובמקרה זה היא סיפקה מוטיבציה מספקת לתוצאת המקרה. גודל הצומת נמדד לפי תרומתו להפרות: צמתים גדולים יותר מסמנים קשר חזק יותר בין ההתנהגות לסעיפים משפטיים ספציפיים, ולפיכך סיכון פוטנציאלי גבוה יותר. ויזואליזציה זו מספקת שכבה סמנטית משפטית ברורה, המאפשרת לנו לזהות את הנתיבים המשפטיים החזקים והמסוכנים ביותר בקבלת החלטות של AI. איור 2B מצביע גם על נתיבים בעלי תרומה גבוהה (להפצת הטיות) עם דגש על קשתים בעלות תרומה גבוהה, המודגשות ובצמידות לקו מקווקו (למשל B1-B3) בתהליך קבלת ההחלטות. הכפלת הרוחב של קשתים אלו מייצגת את חשיבותן בהפצת הטיות סיסטמיות. אילו שילובים של כללים משפטיים והתנהגויות טכניות גורמים לאפקט הגברה זה של הטיות מוצגים ב-איור 2. ניתוח זה לא רק חושף את נתיב הפצת ההטיה, אלא גם מסייע בזיהוי מקור ההטיה, שעל בסיסו ניתן לבצע ביקורת תאימות ולקבוע את האחריות של כלי ה-AI.

איור 2: ניתוח תאימות משפטית והפצת הטיה ב-AI של שירותי בריאות (דוגמה להמחשה). (A) קשרי סמנטיקה משפטית מקודדים בצבעים: הפרה (אדום), בסיס (כחול), טריגר (ירוק), שיוך (כתום). עובי הקשת פרופורציונלי למשקל התשומת לב (attention weight), המצביע על השפעת כל קשר על החלטת ה-AI. גודל הצומת פרופורציונלי לתרומתו להפרה, מה שמדגיש ישויות בסיכון. (B) תת-גרף של הפצת הטיה: קשתות בעלות תרומה גבוהה הן מודגשות ומקווקוות (למשל, B1‑B3); קשתות ברוחב כפול מעידות על הגברה של הטיה מערכתית. ויזואליזציה זו תומכת בזיהוי נתיבים משפטיים דומיננטיים, מקורות להטיה וביקורת תאימות. קנה מידה למדידה או פסי זמן (error bars) אינם רלוונטיים מאחר שמדובר באיור סכמטי. אנא לחצו כאן להצגת גרסה גדולה יותר של איור זה.
מנגנון נסיגה של תת-גרף עבור נתיב הפצת הטיות
במחקר זה, "הטיה" (bias) מוגדרת כסטייה שיטתית של פלט מערכת AI מההחלטה המצופה מבחינה קלינית ומשפטית, הנמדדת על ידי הפער בין ציון הסיכון החזוי של המודל לבין תווית הציות המהווה את האמת המוחלטת (ground-truth). אות ההטיה מ quantified כהפסד אנטרופיה צולבת (cross-entropy loss) בין הפלט הסופי של האלגוריתם לבין אינדיקטור בינארי של ציות (1 לציות, 0 לאי-ציות), המצברים על פני כל מופעי ההחלטה בבצק (batch).
לאחר אימון רשת הנוירונים הגרפית, נעשה שימוש ביכולת הגזירה שלה כדי לבצע ניתוח של הפצה לאחור (backpropagation) על אות ההטיה בשכבת הפלט. החל מצומת ההחלטה של האלגוריתם המזהה חריגות, מחושב גודל הגראדיינט של פונקציית ההפסד ביחס לכל ק ضلع מקשר כדי לכמת את תרומתה של כל קשת ליצירת ההטיה. תהליך זה מיושם באמצעות מסגרת גזירה אוטומטית, הנסיגה שכבה אחר שכבה לאורך הקשתים המכוונות במבנה הגרף, כדי לקבל את עוצמת ההשפעה של כל טרנספורמציית פרמטר של קשת על השינוי בפלט הסופי. ככל שערכו המוחלט של הגראדיינט גבוה יותר, כך הקשר המשפטי-טכני המיוצג על ידי אותה קשת הוא דומיננטי יותר בהפצת ההטיה. תרומתה של קשת מוגדרת כ:
(7)
Lbias הוא ההפסד הדיפרנציאבילי המוגדר עבור התנהגות מוטה, ו-wi הוא וקטור משקלי הכניסה המתאים לסוג הקשת. ערך גרדיאנט זה משקף את מידת השתתפותה של מערכת יחסים סמנטית ספציפית בהטיית השיוך הנוכחית. לאחר שכל הקשתות מקבלות ציון באופן זה, נקבע סף דינמי τ כדי לסנן את קבוצת הקשתות בעלות התרומה הגבוהה Ehigh, שתרומתן עולה על gij > τ, ובכך נוצר תת-הגרף הראשוני להפצת ההטיה Gbias = (Vbias, Ehigh). באופן ספציפי, τ נקבע כאחוזון ה-85 של ערכי הגרדיאנט המוחלטים בכל הקשתות בכל תקופת אימון (epoch), ובכך מובטח שרק 15% מהקשתות המשפיעות ביותר יישמרו לבניית תת-הגרף. תת-גרף זה מתמקד בנתיבי קישור מרכזיים בעלי הסבירות הגבוהה ביותר להניע הטיה שיטתית, ובכך הוא מצמצם את מרחב החיפוש ומשפר את היעילות של מעקב אחר המקור.
בתוך תת-הגרף של התפרוסות ההטיה (bias-propagation) שהוקם, מורץ אלגוריתם לזיהוי קהילות המודרך על ידי אשכולה ספקטרלי (spectral clustering) כדי לזהות מבני אשכולות של צמתים בעלי יישור גבוה. תהליך זה מבוסס על פירוק מטריצת לפלאס הנורמלית של תת-הגרף, הממפה שיכובים (embeddings) של צמתים למרחב ספקטרלי בעל ממד נמוך ומיישם אסטרטגיית אשכולה מודעת לצפיפות במרחב זה, כדי להבטיח שצמתים מסוגים שונים (כגון סעיפים משפטיים ומודולים אלגוריתמיים) יקובצו לאותו אשכול כאשר הם קשורי תפקודית באופן הדוק. כל קהילה שזוהתה מייצגת לולאה פונקציונלית פוטנציאלית או יחידה של ריכוז אחריות. תוצאות חלוקת הקהילות מונעות על ידי יעדי האופטימיזציה הבאים:
(8)
L=D−A היא מטריצת הלפלאסיאן של תת-הגרף, A היא מטריצת הסמיכות, D היא מטריצת הדרגה, ck הוא וקטור האינדיקציה של הקהילה ה-k, ו-K הוא מספר הקהילות שנקבע מראש. קריטריון זה ממקסם את הפרש החיתוך המינימלי בין הקהילות, ובכך מבטיח קשרים פנימיים הדוקים.
כעת, מבוצע ניתוח מרובה-שכבות המבוסס על קומפוזיט עבור כל קהילה. אם קהילה מכילה צמתים של סעיפי חוק וצמתים של מודולי אלגוריתם, היא מסומנת כמקור פוטנציאלי להטיה. כדי לבחון את הקשר הסיבתי, מבוצע ניסוי התערבותי: כל הקשתות באזור זה מוסרות זמנית מהגרף, תהליך קבלת ההחלטות מורץ שוב, וההבדלים במדידות ההטיה נבחנים. מדד התקפות הסיבתית מוגדר כ:
(9)
Borig ו-Bmask מייצגים את עוצמת ההטיה של המודל המקורי ואת ההטיה לאחר מיסוך, בהתאמה. אם מדד התקינות הסיבתית גבוה באופן משמעותי מהסף שנקבע מראש, המשמעות היא שצבר הצמתים זוהה כמקור הטיה הניתן להסבר, אשר ינחה בהמשך את תיקון הציות ואת הקצאת הכשלים.
אימות תאימות דינמי של מגבלות משפטיות
מקרי קבלת החלטות בזמן אמת המופיעים במהלך פעולתו של מערכת בינה מלאכותית רפואית מוצגים כצמתים ארעיים ומוטמעים במרחב של גרף ידע נלמד. וקטור מאפיינים ראשוני נוצר על ידי כל צומת באמצעות קריאת הקשר הקלט שלו, התנהגות הפלט ומצב האלגוריתם. לאחר מכן, וקטור זה מוזן לרשת עצבית גרפית עם פרמטרים קפואים לביצוע הפצה קדימה בשכבה אחת, מה שמניב הטמעה התואמת לגרף הידע מבלי לשנות את מבנה הגרף המקורי. באופן זה, הדבר מאפשר להשוות בין צמתים ארעיים לבין צמתי סעיפים משפטיים במרחב סמנטי משותף.
כעת חשבו את דמיון הקוסינוס (cosine similarity) בין הצומת הזמני לבין כל אחד מצומתי סעיפי החוזה:
(10)
htemp הוא הייצוג (embedding) של הצומת הזמנית, ו-hjlaw הוא הייצוג של צומת סעיף החוק ה-j. ערך הדמיון משקף באופן וירטואלי את מידת ההתאמה הסמנטית בין ההחלטה הנוכחית לכל אילוץ משפטי. סף תאימות דינמי θ נקבע על בסיס התפלגות הדמיון של דגימות תאימות היסטוריות כדי להתאים את גבול השיפוט תחת תרחישי יישום שונים. באופן ספציפי, θ = µ - 2σ, כאשר µ ו-σ הם הממוצע וסטיית התקן של התפלגות דמיון הקוסינוס שחושבה מתוך קבוצת אימות של 500 מקרי החלטה תאימים ידועים.
אם ציון דמיון קוסינוס יורד מתחת לסף הציות הדינמי, כלל המשפט התואם נחשב כמי שהופרו, דבר המפעיל את מנגנון ההתרעה על אי-ציות. ההודעה כוללת גם את מספר הסעיף המשפטי התואם המינימלי, את ערך הדמיון ואת כיוון ניתוח השוני, אשר אמורים להספיק כדי שהרגולטורים יוכלו לפעול במהירות. גישה זו מספקת מיפוי ניתן לפירוש מקבלת החלטות מעורפלת למרחב של סמנטיקה משפטית, ומאפשרת בדיקת ציות בזמן אמת.
במהלך פעולה רציפה, נערך מעקב אחר מגמת שינוי המשקל של קצוות חיבור מרכזיים בין טכנולוגיה למשפט בתת-גרף של התפשטות ההטיה. דגש מיוחד ניתן לקצוות המחברים בין צמתי מודולי אלגוריתם לבין צמתי סעיפים משפטיים, שכן הם מייצגים באופן ישיר את עוצמת התגובה של ההתנהגות הטכנית לרגולציות ספציפיות. פרמטרי מטריצת הטרנספורמציה עבור כל קצה מטרה נרשמים במהלך ההסקה, והנורמה שלהם נחלית כאינדיקטור דינמי של התפתחות עוצמת המתאם ביניהם. הגדרת רצף עוצמת הקצוות היא:
(11)
wt מייצג את נורמת פרובניוס (Frobenius norm) של מטריצת המשקולות המתאימה לקשר בין מקטע eij בחותמת זמן t, ו-Wkl(t) היא מטריצת הפרמטרים שנעשה בה שימוש בפועל במודל באותו זמן. אינדיקטור זה משקף את עומק הלמידה של המודל או את תלותו באילוץ המשפטי.
מבחן מונוטוניות של חלון גליש (sliding-window) מבוצע על הרצף, ומבחן סימן (sign test) משופר משמש כדי לקבוע האם נצפית מגמת עלייה משמעותית. אם העליות לאורך N שלבי זמן רצופים מקיימות את תנאי הדומיננטיות החיובית, אזי הק ضلع (edge) נחשב ככזה המפגין תופעת חיזוק חריגה. בשילוב נוסף של נתוני תרומת הגראדיאנט ההיסטוריים, אם הضلע זו זוהתה כנתיב בעל השפעה גבוהה בסבב הקודם של ניתוח מעקב מקור, יופעל תהליך התראה מוקדמת על הצטברות הטיה מערכתית.
לבסוף, מופק דוח מעקב אחר המקור, הכולל מידע על הצמתים בשני קצוות הקש המטרה, עקומות שינוי משקל, סטטיסטיקה על תדירות ההחלטות הרלוונטיות והמלצות פוטנציאליות לייחוס. מנגנון זה מאפשר מעבר משיפוט תאימות סטטי לחיזוי סיכונים דינמי, ובכך תומך בהתערבות פרואקטיבית בחריגות מוסדיות פוטנציאליות.
נתונים עיצוביים וניסוייים
כדי לוודא את יעילותו של המסגרת המוצעת, מאמר זה בונה מערך נתונים הטרוגני רב-מקור המשלב רגולציות אמיתיות ונתוני סימולציה, ומעצב ניסויי בקרה קפדניים. מקורות הנתונים כוללים רגולציות לאומיות לבינה מלאכותית רפואית, הנחיות לטיפול קליני, דוחות ביקורת של אלגוריתמים מקור פתוח ויומני החלטות של סימולציה. לאחר עיבוד מקדים, נבנה גרף ידע הטרוגני המשמש כנקודת ייחוס (benchmark) המכיל 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%); דבר זה חושף כי תרחישים רפואיים פועלים בדרך כלל באופן שגרתי, ופעולות בסיכון גבוה כפופות לאילוצי קישור קפדניים יותר בגרף. נתונים סטטיסטיים אלו מצדיקים יחד את סכמת קידוד ביטול העמימות של ישויות שאומצה בבניית גרף הידע, כדי לספק תמיכה במאפיינים עבור יישור קונבולוציוני של גרפים בהמשך.
כל מערך הנתונים חולק באופן אקראי לקבוצות אימון (70%), תיקוף (10%) ובדיקה (20%), תוך ביצוע שכיבה (stratification) לפי סוג הצומת והתפלגות הקשרים כדי לשמר את מבנה הגרף הכללי בכל פיצול. אותו חלוקה שימשה באופן עקבי עבור כל שיטות הבסיס (baseline) כדי להבטיח השוואה הוגנת. בנוסף לחלוקה בסיסית זו, שלושת מדרגי הצפיפות של גרף הידע (דליל, בינוני, צפוף) ושלוש הגדרות המורכבות הבין-שיפוטיות (בודד, בילטרלי, מולטילטרלי) שתוארו לעיל משמשים כסביבות בדיקה מעשיות ועצמאיות, המעריכות יחד את חסינות השיטה תחת תנאים משתנים של שלמות נתונים וחפיפה רגולטורית. כדי לבנות תוויות אמת (ground-truth) להערכת לוקליזציית הטיות, אימצנו אסטרטגיה דו-שלבית: (1) הערכה על ידי מומחים — שלושה מומחים משפטיים ורפואיים סקרו באופן עצמאי את יומני ההחלטות וזיהו את צמתי שורש הגורם ואת נתיבי ההפצה עבור כל הפרת ציות רשומה, כאשר חילוקי דעות הוכרעו ברוב קולות; (2) הזרקה סימולטיבית — לבדיקה מבוקרת, הזרקנו באופן מלאכותי אותות הטיות ל-20 נתיבי החלטה שנבחרו אקראית על ידי שיבוש משקלי הקצוות בגרף הידע, ובכך הבטחנו שצמתי המקור האמיתיים והקצוות המושפעים יהיו ידועים מראש.
עבור כל שיטות הבסיס (TransE, ComplEx, Graph Neural Networks (GNN) Explainer, KG-BERT ו-Node2Vec), השתמשנו באותה תצורת אימון (אופטימייזר Adam, קצב למידה 1 × 10−3, גודל אצווה 64, 100 תקופות/epochs) ובאותן חלוקות נתונים כמו בשיטה שלנו כדי להבטיח השוואה הוגנת. עבור TransE ו-ComplEx, ממד השקיעה (embedding dimension) נקבע ל-256 עם שוליים (margin) של 1.0; עבור KG-BERT, השתמשנו במודל BERT-base מאומן מראש עם גודל אצווה של 16 ואורך רצף מקסימלי של 128; עבור GNNExplainer, השתמשנו ב-GCN בעל 3 שכבות עם אותו ממד נסתר של 256; ועבור Node2Vec, קבענו את אורך ההליכה ל-80, את מספר ההליכות לכל צומת ל-10 ואת ממד השקיעה ל-256.
כדי להבטיח השוואה הוגנת, התאמנו את כל שיטות הבסיס לאותן משימות לוקליזציה של הטיות, דהיינו זיהוי צומת-שורש ושחזור נתיב הפרופגציה. עבור 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) מצב תדירות קבלת החלטות של בינה מלאכותית רפואית: שלושה עומסי זרימת החלטות מלאכותיים נקבעו כדי לבחון את ביצועי זמן-אמת של ניטור ציות דינמי:
תדר נמוך 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), מספר השכבות הקונבולוציוניות, קצב הלמידה וגודל האשורה (batch size). כל הפרמטרים כוילו ביחס למערך האימות באמצעות חיפוש רשת (grid search); המודל המאומן התכנס באופן יציב והביצועים הם המיטביים. חלק מהספים נקבעו יחד עם קריטריוני תחום כדי לעמוד בדרישות לאמינות גבוהה של בדיקת תאימות של בינה מלאכותית רפואית.
| פרמטר | ערך | תיאור |
| ממד השכבה (Embedding Dimension) | 128 | גודל ממד המאפיינים עבור השכבות של הצמתים |
| מספר שכבות קונבולוציה | 3 | עומק רשת הקונבולוציה הגרפית המודעת ליחסים |
| קצב למידה | 0.001 | קצב למידה ראשוני עבור אופטימייזר Adam |
| גודל אצווה (Batch Size) | 32 | מספר תתי-גרפים המעובדים בכל אצווה |
| שיעור נשירה (Dropout Rate) | 0.1 | הסתברות נשירה המוחלת על מאפייני הצמתים במהלך האימון |
| מספר ראשי קשב (Attention Heads) | 8 | מספר הראשים במנגנון קשב רב-ראשי |
| מקדם רגולריזציית L2 | 5 × 10⁻⁴ | מקדם דעיכת משקלים עבור רגולריזציית פרמטרים |
| סף דמיון | 0.75 | דמיון מינימלי בין שכבות לאימות תאימות |
| סף תרומת הגרדיאנט | 0.01 | סף לבחירת קשתות בעלות השפעה גבוהה בבניית תת-גרף הטיות |
| גודל חלון ניטור | 10 | צעדי זמן המשמשים למעקב אחר דינמיקת משקלי קשתות |
טבלה 1: הגדרות פרמטרים עיקריות. רשימה של היפר-פרמטרים מרכזיים ששימשו בניסויים: ממד השקיפות (embedding dimension) (256), מספר שכבות GCN (3), ממד נסתר (256), קצב למידה (1 × 10−3), גודל דגימה (64), ממד וקטור הקשב (attention vector), סף תרומת קשת (אחוזון 85 של גדלי הגרדיאנט), סף ציות דינמי (µ‑2σ, כאשר µ and $\sigma$ לקוחים מתוך קבוצת האימות של 500 דוגמאות תואמות), מספר הקהילות K (שנקבע באמצעות קיבץ ספקטרלי), והאופטימייזר (Adam). ערכים אלו נבחרו באמצעות חיפוש רשת (grid search) על קבוצת האימות.