Projection Engineering
הנדסת היטל: לבינה מלאכותית יש אריתמטיקה, אך אין לה מטרולוגיה
בינה מלאכותית יכולה לייצר החלטה מהר יותר מכפי שמישהו יכול לאמת אותה. Projection Engineering מספקת את שכבת האחריות החסרה שהופכת Claims מן העולם הפתוח ל-Accepted Facts הניתנות לביקורת, לפני שהכללים מתירים פעולה.
מ-Claims אל Graph of Accepted Facts
לפני שמכונה יכולה לשפוט את העולם האמיתי באופן דטרמיניסטי, עליה לסגור את אותו עולם באופן מפורש: להעריך Claims פתוחים, להטיל Accepted Facts לתוך גרף הניתן למעקב, להקפיא את הגבול, ולשמר מסלול לערעור.
אמת אינה מתגלה
בעולם הפתוח אין אמת שאפשר לגלות — משום שכל תצפית תקועה במהירות האור ואינה מגיעה אל האירוע. אך בעולמות שנסגרו בהצהרה, כמו הסיפורת, המתמטיקה והמשפט, יש אמת. המשפט הוא תהליך של היטל המציאות אל העולם המשפטי, והפסק דין הוא חישוב שנעשה מעליו. מה שחסר כיום ל-LLM אינו מודל גדול יותר, אלא הליך סגירה מפורש כמו שלטון החוק.
שלשות הן טענות, לא עובדות
שלשות Wikidata אינן עובדות — הן טענות. הניחו את מודל הטיעון של Toulmin על גבי שלשות, ותקבלו גרף ידע דינמי שבו verdicts משתנים עם ההקשר. האחסון הוא מבנה טיעון; השיפוט מתרחש בזמן ריצה.
toulmin — מנוע כללים שמחשב חוזים
מנועי כללים התייחסו למושא האימות כעובדה (fact) במשך 60 שנה. toulmin מתייחס אליו כטענה (claim). מימוש מודל הטיעון של טולמין כמנוע כללים ב-Go.