tora-engine — מנוע ידע תורני

מערכת שעונה על שאלות בתורה — מתוך המקורות.

RAG מסוג אחר: לא אחזור-לפי-דמיון על טקסט גולמי, אלא גרף-ידע שמבין את הסוגיה. השלב הראשון — המנוע שבונה את הגרף — כבר רץ.

ראו את זה עובד העמוד ההנדסי (English)

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

הבעיה

משפט אחד במשנה. קומה שלמה שאינה כתובה בשום מקום.

כתוב כאן
סוּכָּה שֶׁהִיא גְּבוֹהָה לְמַעְלָה מֵעֶשְׂרִים אַמָּה — פְּסוּלָה. וְרַבִּי יְהוּדָה מַכְשִׁיר.

שורת המחלוקת, ותו לא. אפשר לצטט אותה, לחפש אותה, לתרגם אותה.

לא כתוב בשום מקום
  • באיזו סוכה המחלוקת בכלל? שלושה אמוראים מצמצמים אותה שלוש דרכים — בשם אותו רב עצמו — והצמצומים חולקים זה על זה.
  • מה נשאר כשר אחרי הצמצום? «סוכה שדפנותיה מגיעות לסכך כשרה אפילו למעלה מעשרים אמה» — דין שלם שאין לו שורה משלו.
  • ומי חולק על הצמצום עצמו? «וכי דרכה של מלכה לישב בסוכה קטנה?» — קושיא על ההעמדה, לא על הדין.
טענה על טענה. שום חיפוש-טקסט לא ימצא אותה ושום ציטוט לא יישא אותה — אפשר רק לבנות אותה. בגרף היא בנויה: כל שורה כאן היא יחידה או קשת, עם עוגן בלשון הגמרא.

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

הגישה

לזקק פעם אחת — ולענות מתוך מה שזוקק

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

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

לכן אנחנו בונים RAG מסוג אחר. במקום אחזור קטעי-טקסט דומים — מאגר שמבין: גרף שבו כל טענה היא יחידה ממוענת וכל יחס קשת מפורשת שאפשר ללכת בה. את הגרף בונים סוכני AI שקוראים את הסוגיה צעד-צעד תחת בדיקות מכניות, ועין אנושית סוקרת את התוצרים — עד שהמנוע יעמוד לבדו. מעל מאגר כזה תשובה אינה ניחוש: היא הליכה בגרף, וכל שורה בה נושאת את הכתובת שממנה באה.

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

הדגמה

ראו את זה עובד

«סוכה הגבוהה מעשרים אמה — כשרה או פסולה?»

  1. המשנה פוסלת — ורבי יהודה מכשיר.

    מקור
    סוּכָּה שֶׁהִיא גְּבוֹהָה לְמַעְלָה מֵעֶשְׂרִים אַמָּה — פְּסוּלָה. וְרַבִּי יְהוּדָה מַכְשִׁיר.
  2. רב מצמצם את המחלוקת: לא נחלקו אלא בסוכה שאין דפנותיה מגיעות לסכך.

    מקור
    אָמַר רַבִּי יֹאשִׁיָּה אָמַר רַב: מַחְלוֹקֶת בְּשֶׁאֵין דְּפָנוֹת מַגִּיעוֹת לַסְּכָךְ
  3. מגיעות דפנותיה לסכך — לדברי רב כשרה אפילו למעלה מעשרים אמה.

    מקור
    אֲבָל דְּפָנוֹת מַגִּיעוֹת לַסְּכָךְ — אֲפִילּוּ לְמַעְלָה מֵעֶשְׂרִים אַמָּה כְּשֵׁרָה
  4. ועל עצם הצמצום הזה נחלקו אמוראים — שלוש דרכים בסוגיה.

התשובה הזאת הורכבה ביד מן הגרף שהמנוע בנה — כל שורה בה היא יחידת-ידע ממוענת. השכבה שמרכיבה תשובות כאלה מעצמה היא השלב הבא; מה שרץ היום הוא המנוע שבונה את המאגר שהיא תעמוד עליו.

מה מאחורי כל שורה כאן ↓

כך נראית יחידה אחת מבפנים

יחידת-ידע נטענת…

אל תוך הסוגיה המלאה

מצב ומפת-דרך

סוגיה ראשונה עברה את כל הצינור, מקצה לקצה

הגרף שמאחורי הכרטיס שלמעלה הוא התוצר המלא של הריצה המלאה הראשונה — לא הדגמה ולא נתוני-דמה. הוא עומד עכשיו לסקירה: הרשומה המאושרת הראשונה של המאגר תבוא ממנו.

מתוכנן

עולם הפסיקה

ההכרעות — נשענות על שתי הקומות שמתחת.

מתוכנן

המפרשים

מי שמדבר על הסוגיה — יורש את דיוק הקומה שמתחתיו.

נבנה עכשיו

גוף הסוגיות

הקומה הראשונה — סוגיה ראשונה עברה את הצינור במלואו.

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

הפירוט ההנדסי — הארכיטקטורה, סדר הריצה ועקרונות התכנון — בעמוד ההנדסי (English).