گراف استدلال: هوش مصنوعی، گراف دانش و زمینه سازمانی

ت

تیم ژرف ای‌آی

۸ تیر ۱۴۰۵به‌روزرسانی ۸ مرداد ۱۴۰۵۱۲ دقیقه مطالعه
گراف استدلال: هوش مصنوعی، گراف دانش و زمینه سازمانی

پرسش سازمانی اغلب کمتر به یک پاراگراف و بیشتر به یک مسیر وابسته است. کدام محصول مشتری به سرویسی که از کار افتاده وابسته است؟ چه کسی اکنون مالک آن محصول است؟ کدام قرارداد و سیاست در حوزه قضایی مشتری اعمال می‌شود؟ آیا این مالکیت هنگام رخداد نیز برقرار بود؟

بازیابی برداری برای یافتن گذرگاه مشابه معنایی مفید است، اما شباهت، هویت، جهت، cardinality، زمان اعتبار یا مجوز را ثابت نمی‌کند. گراف دانش می‌تواند این رابطه‌ها را صریح نمایندگی کند. سپس مدل زبانی می‌تواند پرسش را ترجمه، نامزد استخراج یا نتیجه را توضیح دهد؛ اما پرس‌وجوی گراف، منشأ و مرز سیاست باید قابل بازرسی بماند.

طراحی پایدار «مدل زبانی به‌علاوه پایگاه گراف» نیست. یک لایه معنایی حامل شاهد است که شناسه پایدار، رابطه حاکمیت‌شده، حقیقت زمانی، اعتبارسنجی و رفتار پرس‌وجوی سنجیده دارد.

گراف دانش چه چیزی اضافه می‌کند

گراف property ممکن است node و edge برچسب‌خورده ذخیره کند؛ گراف RDF گزاره را به شکل فاعل-گزاره-مفعول نمایش می‌دهد. هر دو می‌توانند مناسب باشند. تصمیم مهم معنایی است، نه نام محصول:

  • هر موجودیت و رابطه دقیقاً چه معنایی دارد؟
  • کدام سامانه یا متولی هویت را برقرار می‌کند؟
  • حقیقت ادعاشده، مشتق‌شده از قاعده یا پیشنهاد مدل است؟
  • چه زمانی معتبر بوده و چه زمانی ثبت شده است؟
  • کدام منبع آن را پشتیبانی می‌کند؟
  • چه کسی اجازه دیدن موجودیت، رابطه و شاهد را دارد؟
  • هنگام تعارض منابع چه باید کرد؟

برای سامانه RDF تعامل‌پذیر، RDF 1.1 Concepts همچنان توصیه W3C است. تا ۳۰ ژوئیه ۲۰۲۶، RDF 1.2 Concepts در وضعیت Candidate Recommendation Snapshot است، نه توصیه نهایی. تیم می‌تواند ویژگی‌های RDF 1.2 را آزمایش کند، اما قرارداد باید نسخه واقعی پشتیبانی‌شده را اعلام کند.

SPARQL 1.1 Query زبان استاندارد پرس‌وجوی RDF ارائه می‌کند. SHACL توصیه W3C برای اعتبارسنجی گراف RDF در برابر shape است و PROV-O واژگان منشأ شامل entity، activity و agent را فراهم می‌کند. این استانداردها هستی‌شناسی سازمان را برای شما طراحی نمی‌کنند؛ ابزار مشترک مفیدی می‌دهند.

هویت نخستین مسئله استدلال است

پیش از ساخت مسیر هوشمند، مشخص کنید آیا دو رکورد درباره یک چیز‌اند.

«ACME Ltd»، مشتری C-1042، شناسه مالیاتی GB… و یک حساب CRM ممکن است یک شخصیت حقوقی باشند؛ یا شرکت مادر، زیرمجموعه، تکراری یا حساب قدیمی. رکورد رخداد شاید سرویس را «Auth» بنامد، درحالی‌که کاتالوگ از svc-identity-prod-eu استفاده می‌کند. مدل می‌تواند تطابق پیشنهاد کند، اما ادغام اشتباه همه مسیرهای پایین‌دستی را آلوده می‌کند.

از شناسه محدود به منبع و فرایند صریح resolution استفاده کنید:

  1. فیلد کم‌ریسک را بدون پاک‌کردن اصل نرمال کنید؛
  2. با کلید قطعی و شباهت آموخته‌شده نامزد تطابق بسازید؛
  3. با ویژگی متناسب با نوع موجودیت امتیاز دهید؛
  4. فقط بالاتر از آستانه دقت بالا و آزموده‌شده خودکار ادغام کنید؛
  5. حالت مبهم و پراثر را به متولی بفرستید؛
  6. رابطه‌های sameAs، possibleMatch، supersedes و partOf را جدا نگه دارید؛
  7. رکورد منبع و تاریخچه ادغام را حفظ کنید.

precision و recall موجودیت را روی جفت برچسب‌خورده بسنجید، اما خسارت را هم اندازه بگیرید: نرخ ادغام کاذب، تکرار حل‌نشده، split و تعداد رکورد پایین‌دستی متاثر از اصلاح. نام canonical تولیدشده را مدرک هویت حقوقی ندانید.

کوچک‌ترین زیرگراف مرتبط با تصمیم را مدل کنید

پروژه‌های بزرگ «هستی‌شناسی سازمان» اغلب متوقف می‌شوند چون پیش از پاسخ به یک پرسش مفید می‌خواهند کل شرکت را مدل کنند. با یک پرسش شایستگی و حداقل مسیر لازم شروع کنید.

برای اثر رخداد، شمای نخست می‌تواند چنین باشد:

Service --DEPENDS_ON--> Service
Product --SERVED_BY--> Service
Customer --SUBSCRIBES_TO--> Product
Incident --AFFECTS--> Service
Team --OWNS--> Service
Person --MEMBER_OF--> Team
Contract --COVERS--> Customer
Policy --APPLIES_TO--> Product

هر edge باید جهت، نوع مجاز مبدأ و مقصد، انتظار cardinality، بازه اعتبار، منشأ، اطمینان یا وضعیت ادعا و حساسیت را مشخص کند. از یک رابطه مبهم relatedTo برای مفاهیمی مانند dependsOn، owns و coveredBy که پیمایش و ریسک متفاوت دارند استفاده نکنید.

گراف را نزدیک منبع عملیاتی نگه دارید. CMDB مسئول موجودی سرویس می‌ماند؛ منابع انسانی مسئول وضعیت اشتغال؛ و مدیریت قرارداد مسئول متن امضاشده. گراف ادعا و نسخه منبع را ارجاع می‌دهد، نه کپی بی‌حاکمیتی که آرام‌آرام به «حقیقت» بدل شود.

اینجاست که طراحی گراف مکمل کیفیت دانش در RAG است. سند جزئیات و شاهد می‌دهد؛ گراف هویت، رابطه و پیمایش. هیچ‌کدام منبع قدیمی یا غیرمجاز را خودکار تعمیر نمی‌کنند.

زمان و منشأ، مسیر را قابل دفاع می‌کنند

«مالک سرویس A کیست؟» بدون زمان as-of ناقص است. تیم فعلی شاید با مالک زمان رخداد ژانویه فرق کند. پوشش قرارداد، نسخه سیاست، وابستگی محصول و نقش سازمانی تغییر می‌کند.

حداقل دو ساعت را نمایندگی کنید:

  • زمان اعتبار: چه زمانی حقیقت در جهان کسب‌وکار برقرار بوده است؛
  • زمان تراکنش: سامانه چه زمانی حقیقت را آموخته یا تغییر داده است.

بنابراین یک edge می‌تواند بگوید تیم آبی از ۱ ژانویه تا ۱۵ مارس مالک سرویس A بوده، رکورد منبع ۳ ژانویه وارد شده و اصلاح ۲۰ مارس ثبت شده است. پرس‌وجوی as-of می‌تواند آنچه سامانه آن زمان می‌دانست یا آنچه اکنون باور داریم آن زمان درست بوده را بازسازی کند.

منشأ باید مصنوع منبع و نسخه، فعالیت استخراج یا تبدیل، عامل مسئول، زمان ingestion و قاعده مشتق‌کننده را مشخص کند. اگر مدل زبانی رابطه‌ای را از سند استخراج می‌کند، آن را ادعای پیشنهادی متصل به بازه منبع، هش مدل، نسخه پرامپت یا استخراج، اطمینان و نتیجه بازبینی ذخیره کنید. آن را بی‌صدا به حقیقت تأییدشده ارتقا ندهید.

رابطه مشتق‌شده نیز همین انضباط را می‌خواهد. اگر قاعده استنتاج کند محصول P در ریسک است چون به‌صورت transitive به سرویس خراب S وابسته است، edgeهای طی‌شده و نسخه قاعده را برگردانید. توضیح، مسیر اثبات است نه توجیه نوشته‌شده توسط مدل.

برنامه پرس‌وجو باید کار قطعی و مولد را جدا کند

جریان امن پرسش‌وپاسخ را به مراحل صریح تقسیم کنید:

  1. نیت و اختیار لازم را طبقه‌بندی کنید؛
  2. اصطلاح کاربر را به شناسه موجودیت نامزد resolve کنید؛
  3. وقتی چند موجودیت محتمل است ابهام را تأیید کنید؛
  4. قالب پرس‌وجوی تأییدشده را برگزینید یا پرس‌وجوی محدود بسازید؛
  5. مجوز سطح سطر، node، edge و شاهد را اعمال کنید؛
  6. بازیابی قطعی گراف و سند را اجرا کنید؛
  7. شکل نتیجه و شرط زمانی را اعتبارسنجی کنید؛
  8. پاسخ را فقط از شاهد بازگشتی تولید کنید؛
  9. مسیر، منبع و تاریخ as-of را نشان دهید؛
  10. وقتی پشتیبانی کافی نیست امتناع یا رفع ابهام کنید.

اجازه تولید SPARQL یا Cypher دلخواه علیه تولید به مدل خطرناک است. ممکن است پیمایش گران بسازد، فیلتر را دور بزند، شما را بد بفهمد یا رابطه محدود را افشا کند. endpoint فقط‌خواندنی، allowlist یا template، حد پیچیدگی، سقف نتیجه، timeout و لایه سیاست معنایی داشته باشید. پرس‌وجوی تولیدشده را پیش از اجرا parse و بازرسی کنید.

برای گردش‌کار تکراری، تابع نوع‌دار را ترجیح دهید:

get_impacted_products(service_id, as_of, tenant_id)
get_current_owner(asset_id, as_of)
get_applicable_policy(product_id, customer_id, jurisdiction, as_of)

مدل می‌تواند پرسش را به تابع نگاشت و نتیجه نوع‌دار را توضیح دهد. پیمایش حیاتی قابل آزمون می‌ماند.

مثال عملی: تحلیل اثر هنگام قطعی

ساعت ۰۹:۱۲ سرویس هویت در منطقه اروپا خطای بالا نشان می‌دهد. فرمانده رخداد می‌پرسد: «کدام مشتری premium متاثر است، چه کسی مالک محصول روبه‌مشتری است و چه تعهد اعلان اعمال می‌شود؟»

سامانه رخداد را به svc-identity-eu resolve و edgeهای مجاز و معتبر زمانی را می‌پیماید:

incident -> affects -> service
service <- depends_on* <- service <- served_by <- product
product <- subscribes_to <- customer
customer <- covers <- contract -> contains -> notification_clause
product <- owns <- team

پاسخ نباید فقط نام فهرست کند. برای هر مشتری متاثر باید این موارد را برگرداند:

  • مسیر دقیق وابستگی و زمان آخرین راستی‌آزمایی؛
  • محصول مشترک‌شده و نسخه فعال قرارداد؛
  • بند اعلان با صفحه یا بازه منبع؛
  • مالک فعلی و مالک زمان رخداد؛
  • edge قدیمی، استنباطی یا مورد اختلاف؛
  • زمان as-of و زمینه مجوز.

فرض کنید وابستگی محصول-سرویس از ترافیک استنباط شده اما هرگز متولی آن را تأیید نکرده است. سامانه می‌تواند آن را در فهرست «اثر احتمالی» با برچسب روشن بگذارد و راستی‌آزمایی بخواهد. نباید مشتری را قطعاً متاثر اعلام کند.

این مثال همچنین نشان می‌دهد چرا سامانه حافظه سازمانی به معناشناسی زمان و اصلاح نیاز دارد. پاسخ دیروز باید پس از به‌روزرسانی مالکیت امروز قابل بازسازی باشد.

هم گراف و هم پاسخ را اعتبارسنجی کنید

اعتبارسنجی شما خطای ساختاری را پیش از رسیدن به مدل می‌گیرد. shapeهای SHACL می‌توانند الزام کنند هر سرویس فعال حداقل یک مالک داشته باشد، هر edge مالکیت تاریخ شروع داشته باشد و هر رابطه استنباطی پراثر منشأ داشته باشد. اعتبارسنجی حقیقت جهان واقعی را ثابت نمی‌کند؛ گزاره کاذب با شکل کاملاً درست همچنان کاذب است.

لایه‌های کیفیت را جدا نگه دارید:

لایهسنجه
resolution موجودیتprecision/recall جفت، ادغام کاذب، تکرار حل‌نشده
استخراج رابطهprecision، recall و F1 به تفکیک رابطه و منبع
یکپارچگی گرافنقض SHACL، node یتیم، cardinality غیرمجاز، قاعده چرخه
تازگینرخ edge قدیمی، تأخیر منبع تا گراف، نرخ مالک گم‌شده
منشأپوشش منبع، موفقیت بازکردن منبع، پوشش derivation
رفتار پرس‌وجودقت پاسخ دقیق، اعتبار مسیر، صحت زمانی، رد مجوز
پاسخ تولیدشدهپشتیبانی ادعا، صحت ارجاع، امتناع، حذف‌نکردن تعارض
ارزش گردش‌کارزمان تحقیق، بار اصلاح متولی، escalation کاذب، اثر ازدست‌رفته

پرسش طلایی با شناسه موجودیت، مسیر، شرط زمانی و خروجی مجاز مورد انتظار بسازید، نه فقط نثر مورد انتظار. حالت منفی را بیازمایید: نبود مسیر، چند هویت، لغو دسترسی، منبع متعارض، حلقه، وابستگی قدیمی و رشته تزریق پرامپت در property یک node.

مرور فنی Knowledge Graphs از Hogan و همکاران نمایندگی، ساخت، غنی‌سازی، کیفیت و انتشار گراف را پوشش می‌دهد. برای خلاصه‌سازی یاری‌گرفته از گراف روی مجموعه متن بزرگ، مقاله GraphRAG مایکروسافت یک رویکرد پژوهشی است؛ نتایج گزارش‌شده ثابت نمی‌کند بازیابی گرافی برای هر پرسش یا مجموعه‌داده سازمانی بهتر است.

فرض جهان باز به سیاست صریح نیاز دارد

RDF معمولاً فرض جهان باز دارد: نبود گزاره به معنای کاذب‌بودن نیست. گردش‌کار سازمانی اغلب بررسی جهان بسته می‌خواهد: اگر رکورد انتشار تأیید امنیتی مصوب ندارد، انتشار را ببند.

نگذارید مدل این تفسیر را ضمنی انتخاب کند. آن را برای هر predicate و گردش‌کار تعریف کنید:

  • «edge مالک پیدا نشد» شاید داده ناقص باشد و escalation بخواهد.
  • «تأیید فعال در رجیستر authoritative یافت نشد» شاید شکست جهان بسته باشد.
  • «رخداد منفی در اسناد بازیابی‌شده ذکر نشده» مدرک نبود رخداد نیست.

همچنین یکتایی را از ترجیح جدا کنید. دو نشانی فعال ممکن است معتبر باشند؛ یکی شاید نشانی preferred صورتحساب باشد. محدودیت cardinality باید معنا و بازه اعتبار کسب‌وکار را بازتاب دهد.

امنیت، حریم خصوصی و ریسک استنباط

گراف می‌تواند از طریق رابطه‌ها حقیقت حساس را آشکار کند، حتی اگر هر node بی‌خطر به نظر برسد. مسیر میان کارمند، درمانگاه، برنامه مزایا و مرخصی شاید داده سلامت را افشا کند. پرس‌وجوی centrality یا همسایگی می‌تواند تأمین‌کننده راهبردی، مدیر ممتاز یا زیرساخت آسیب‌پذیر را نشان دهد.

اعمال کنید:

  • جداسازی tenant و purpose هنگام ingestion و پرس‌وجو؛
  • مجوز روی node، edge، property و شاهد زیرین؛
  • فیلتر نتیجه پیش از تولید؛
  • کنترل نشت وجود و شمارش؛
  • عمق محدود پیمایش و rate limit؛
  • لاگ حسابرسی پرس‌وجو، resolution هویت، دسترسی شاهد و export؛
  • رفتار جدا برای حقیقت پیشنهادی مدل و تأییدشده متولی؛
  • red-team حمله استنباط و تزریق پرامپت در متن ذخیره‌شده.

قرار دادن node محدود در ایندکس برداری نامحدود می‌تواند کنترل گراف را دور بزند. هر سطح بازیابی باید همان برچسب سیاست را حفظ کند.

چارچوب مرحله‌ای تحویل و انتشار

مرحله ۱ — پرسش و مالکیت. یک پرسش شایستگی انتخاب، منابع authoritative و متولی را تعیین، شناسه و معنای زمانی را تعریف و SLA اصلاح را توافق کنید.

مرحله ۲ — گراف آفلاین. مجموعه محدود را وارد، shape را اعتبارسنجی، نامزد استخراج را برچسب و بدون مدل زبانی به پرسش طلایی پاسخ دهید. ابتدا شکست هویت و تازگی را رفع کنید.

مرحله ۳ — دستیار متصل به شاهد. به مدل اجازه دهید اصطلاح را resolve و نتیجه نوع‌دار را روایت کند. مسیر و منبع را نشان دهید. اجرا فقط‌خواندنی باشد و هر ادعای تولیدشده لاگ شود.

مرحله ۴ — یکپارچه‌سازی عملیاتی. هشدار یا ساخت پرونده را تنها پس از عبور دقت، مجوز، تازگی و rollback اضافه کنید. برای اقدام اثرگذار تأیید انسان بخواهید.

فقط وقتی منتشر کنید که رابطه حیاتی به آستانه precision برسد، پوشش منشأ عبور کند، بودجه کهنگی رعایت شود، در آزمون خصمانه مسیر غیرمجاز برنگردد و snapshot و لایه پرس‌وجوی قبلی قابل بازیابی باشد. هنگام شکست feed authoritative یا عبور نقض اعتبارسنجی از بودجه خطا، سرویس را متوقف کنید.

پرسش‌های رایج

آیا گراف دانش باعث می‌شود مدل درست استدلال کند؟

خیر. گراف حقیقت و مسیر ساختاریافته و قابل بازرسی می‌دهد. مدل همچنان می‌تواند موجودیت، پرس‌وجو یا توضیح اشتباه انتخاب کند. هر مرحله را جدا بسنجید.

آیا جست‌وجوی برداری را با گراف جایگزین کنیم؟

معمولاً نه. بازیابی برداری یا واژگانی را برای گذرگاه مرتبط و گراف را برای هویت، رابطه، قید و پیمایش به کار ببرید. فقط با منشأ و مجوز مشترک ترکیب کنید.

آیا حتماً باید RDF استفاده کنیم؟

خیر. RDF، property graph، جدول رابطه‌ای و سرویس نوع‌دار همگی می‌توانند رابطه را نمایندگی کنند. بر اساس تعامل‌پذیری، پرس‌وجو، حاکمیت و عملیات انتخاب کنید. در هر صورت معنای صریح را حفظ کنید.

آیا مدل زبانی می‌تواند گراف را خودکار بسازد؟

می‌تواند موجودیت و رابطه پیشنهاد کند. حقیقت پراثر به بازه منبع، آستانه کالیبره، اعتبارسنجی و اغلب بازبینی متولی نیاز دارد. اطمینان استخراج حقیقت نیست.

نخستین سنجه‌ای که باید دید چیست؟

برای گراف تازه، precision رابطه و نرخ ادغام کاذب موجودیت اغلب فوری‌تر از اندازه گراف است. زیرگراف کوچک، دقیق و تازه از میلیون‌ها edge مبهم مفیدتر است.

گراف استدلال زمانی اعتماد می‌گیرد که نه فقط «چه چیزی وصل است؟» بلکه «طبق کدام منبع، با کدام تعریف، در چه زمان و برای کدام کاربر مجاز؟» را پاسخ دهد. این تفاوت زمینه گرافی تزئینی با سامانه تصمیم سازمانی است.

یادداشت منابع

منابع بررسی‌شده و جاری تا ۳۰ ژوئیه ۲۰۲۶:

#گراف دانش#استدلال#هوش مصنوعی سازمانی#مهندسی زمینه

مطالب مرتبط

ادامه مطالعه

گزارش روزانه و راهنماهای عملیاتی ژرف را ببینید. این صفحه یک آرشیو موضوعی است، نه دعوت به شروع پروژه.