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