Fact Engineering on ארכיטקט פארק ג'ון ווhttps://www.parkjunwoo.com/he/tags/fact-engineering/Recent content in Fact Engineering on ארכיטקט פארק ג'ון ווHugoheSun, 26 Jul 2026 17:20:00 +0900מ-Claims אל Graph of Accepted Factshttps://www.parkjunwoo.com/he/tech/from-claims-to-gaf/Sun, 26 Jul 2026 16:45:00 +0900https://www.parkjunwoo.com/he/tech/from-claims-to-gaf/לפני שמכונה יכולה לשפוט את העולם האמיתי באופן דטרמיניסטי, עליה לסגור את אותו עולם באופן מפורש: להעריך Claims פתוחים, להטיל Accepted Facts לתוך גרף הניתן למעקב, להקפיא את הגבול, ולשמר מסלול לערעור.אמת אינה מתגלהhttps://www.parkjunwoo.com/he/opinion/truth-is-not-discovered/Thu, 23 Jul 2026 10:00:00 +0900https://www.parkjunwoo.com/he/opinion/truth-is-not-discovered/בעולם הפתוח אין אמת שאפשר לגלות — משום שכל תצפית תקועה במהירות האור ואינה מגיעה אל האירוע. אך בעולמות שנסגרו בהצהרה, כמו הסיפורת, המתמטיקה והמשפט, יש אמת. המשפט הוא תהליך של היטל המציאות אל העולם המשפטי, והפסק דין הוא חישוב שנעשה מעליו. מה שחסר כיום ל-LLM אינו מודל גדול יותר, אלא הליך סגירה מפורש כמו שלטון החוק.שלשות הן טענות, לא עובדותhttps://www.parkjunwoo.com/he/opinion/toulmin-knowledge-graph/Fri, 22 May 2026 10:00:00 +0900https://www.parkjunwoo.com/he/opinion/toulmin-knowledge-graph/שלשות Wikidata אינן עובדות — הן טענות. הניחו את מודל הטיעון של Toulmin על גבי שלשות, ותקבלו גרף ידע דינמי שבו verdicts משתנים עם ההקשר. האחסון הוא מבנה טיעון; השיפוט מתרחש בזמן ריצה.toulmin — מנוע כללים שמחשב חוזיםhttps://www.parkjunwoo.com/he/tech/toulmin/Sun, 22 Mar 2026 10:00:00 +0900https://www.parkjunwoo.com/he/tech/toulmin/מנועי כללים התייחסו למושא האימות כעובדה (fact) במשך 60 שנה. toulmin מתייחס אליו כטענה (claim). מימוש מודל הטיעון של טולמין כמנוע כללים ב-Go.