दैनिक अर्क्सिव

यह पेज दुनियाभर में प्रकाशित होने वाले आर्टिफिशियल इंटेलिजेंस संबंधित रिसर्च पेपर्स को संक्षिप्त रूप में प्रस्तुत करता है।
यहां Google Gemini का उपयोग करके पेपर्स का सारांश तैयार किया जाता है और यह पेज गैर-लाभकारी रूप से संचालित किया जाता है।
पेपर के कॉपीराइट लेखक और संबंधित संस्थान के पास हैं, और साझा करते समय बस स्रोत का उल्लेख करें।

एलएलएम के साथ ध्वनि और पूर्ण न्यूरोसिम्बोलिक तर्क - ग्राउंडेड इंटरप्रिटेशन

Created by
  • Haebom

लेखक

ब्रैडली पी. एलन, प्रतीक छिकारा, थॉमस मैकाले फर्ग्यूसन, फिलिप इलिव्स्की, पॉल ग्रोथ

रूपरेखा

यह शोधपत्र औपचारिक तर्क के लिए बड़े पैमाने के भाषा मॉडल (एलएलएम) के व्यापक ज्ञान का लाभ उठाने की एक विधि प्रस्तुत करता है। एलएलएम द्वारा उत्पन्न आउटपुट में तार्किक संगति की समस्या का समाधान करने के लिए, हम एक ऐसी विधि प्रस्तावित करते हैं जो एलएलएम को पैराकॉन्सिस्टेंट तर्क के औपचारिक अर्थ-व्याख्या फलन में सीधे एकीकृत करती है। हम कई लघु-वाक्य तथ्यात्मकता मानक डेटासेट पर प्रयोगों के माध्यम से इस विधि की व्यवहार्यता प्रदर्शित करते हैं। इसके अलावा, पिछले अध्ययनों के विपरीत, हम न्यूरोसिम्बोलिक तर्क के लिए एक सैद्धांतिक ढाँचा प्रदान करते हैं जो अंतर्निहित तर्क की सुदृढ़ता और पूर्णता को बनाए रखते हुए एलएलएम ज्ञान का लाभ उठाता है।

____T17972_____, Limitations

Takeaways:
एलएलएम ज्ञान को औपचारिक तर्क में लागू करने का एक नया तरीका प्रस्तुत करना।
विरोधाभास-सहिष्णु तर्क का उपयोग करके एलएलएम की तार्किक संगति समस्या का समाधान करना
तंत्रिका प्रतीकात्मक तर्क के लिए एक नया सैद्धांतिक ढांचा प्रदान करना
प्रायोगिक परिणाम इस पद्धति की व्यवहार्यता को प्रदर्शित करते हैं।
Limitations:
प्रस्तावित विधि की मापनीयता और सामान्यीकरण को निर्धारित करने के लिए आगे अनुसंधान की आवश्यकता है।
विभिन्न प्रकार के तर्क और बेंचमार्क डेटासेट पर अतिरिक्त प्रयोगों की आवश्यकता है।
यह निर्धारित करने के लिए विश्लेषण की आवश्यकता है कि विरोधाभास-अनुमति देने वाले तर्क का चयन और विशेषताएं परिणामों को किस प्रकार प्रभावित करती हैं।
👍