جدول پیوندها
- چکیده و مقدمه
- SylloBio-NLI
- ارزیابی تجربی
- کار مرتبط
- نتیجه گیری
- محدودیت ها و مراجع
الف. رسمی کردن فرآیند تولید منابع SylloBio-NLI
ب- رسمی سازی وظایف 1 و 2
ج. فرهنگ عضویت ژن و مسیر
D. خط لوله مخصوص دامنه برای ایجاد نمونه های NL و دسترسی E به LLM
F. جزئیات تجربی
ز. معیارهای ارزیابی
H. درخواست LLMs – دستورات صفر شات
I. درخواست از LLM – چند اعلان
J. نتایج: دستورالعمل-پاسخ نامناسب
K. نتایج: تأثیر مبهم عوامل حواس پرتی بر استدلال
L. نتایج: مدلها دانش زمینهای را بر دانش زمینه اولویت میدهند
M شکل های تکمیلی و N جداول تکمیلی
رسمیسازی فرآیند تولید منابع SylloBio-NLI
این پیوست فرآیند تولید الگوهای استنتاج قیاسی را رسمیت میدهد.
ما با تعریف ساختارهای اصلی (مصنوعات و کارکردهای رسمی و زبانی) چارچوب زیربنایی شروع می کنیم:
-
طرح قیاسی (S): یک الگوی استنتاج منطقی متشکل از مقدمات و یک نتیجه، S = {P1، P2، . . . ، Pn، C}، که در آن Pi مقدمه i و C نتیجه است.
-
طرح استدلال رسمی (σ): نمایش یک طرح قیاسی در منطق مرتبه اول (FOL)، σ(S) = {φ1، ϕ2، . . . ، ϕn، ψ}، که در آن ϕi مطابقت دارد…