Моделҳои бузурги забонӣ, ҳангоми ҳалли саволҳои душвор аксаран ба таври қадам ба қадам шарҳ медиҳанд. Инро Chain-of-Thought, яъне занҷири фикр ё занҷири муҳокима меноманд.

Масалан модел аввал маълумоти додашударо рӯйхат мекунад, пас натоиҷи миёнаро месозад, ва охирон ба ҷавоб мерасад. Ин усул дар зиёда аз як мушкилот муваффақиятро зиёд мекунад. Зеро модел на дар як қадам ҷавоб медиҳад, балки мушкилро ба қисмҳои хурд тақсим мекунад.

Аммо дар ин ҷо як мушкили ҷиддӣ вуҷуд дорад:

Оё тавзеҳе, ки модел навиштааст, воқеан таҳлили дурустро нишон медиҳад ё ин ки баъдтар як тавзеҳе, ки оқилона менамояд, сохта шудааст?

Дар баъзе ҳолатҳо модел метавонад ҷавоби дуруст диҳад, аммо далелҳои байни онҳо метавонад нодуруст бошанд. Дар баъзе ҳолатҳо бошад, аввал тахмини нодуруст мекунад, пас қадамҳои ояндаро бо роҳи дастгирии ин тахмини нодуруст ташкил мекунад. Ин махсусан дар соҳаҳои таълим, илм, ҳуқуқ, математика, барнома ва системаҳои кӯмакрасонии қарораҳо хатарнок аст.

Нуқтаи ибтидои ин мақола низ ҳамин аст:

Оё мо метавонистем таъмин кунем, ки на танҳо ҷавобҳои зеҳни сунъӣ, балки қадамҳои мантиқии он ҳам тасдиқшаванда бошанд?

Чаро занҷираи тафаккури классикӣ метавонад нокифоя бошад?

Усули Chain-of-Thought монанди гуфтани «қадам ба қадам фикр кун» ба моделҳои бузурги забон аст. Ин аксаран муфид аст; аммо модел ҳанӯз ҳам тавлиди эҳтимолии калима ба калима мекунад.

Яъне ҳар қадами модели шумо аз санҷиши мантиқӣ пурра мегузарад. Агар як қадам хато бошад, қадамҳои оянда низ метавонанд бар асоси ҳамин хато сохта шаванд. Инро метавонад ҷамъшавии хато гӯянд.

Масалан, модел метавонад чунин як мантиқ кунед:

1. «A аз B калонтар аст.»
2. «B аз C калонтар аст.»
3. «Пас C аз A калонтар аст.»

Дар ин ҷо натиҷа аз нуқтаи назари мантиқӣ нодуруст аст. Аммо азбаски он бо забони табиӣ навишта шудааст, ин хато ҳамеша метавонанд осон ошкор нашавад.

Аз ин рӯ танҳо тавлиди шарҳи дарозтар кифоя нест. Ҳар қадами шарҳ бояд аз лиҳози мантиқӣ санҷида шавад.

Зеҳни сунъии нейро-символӣ чӣ кӯшиш дорад кунад?

Зеҳни сунъии нейро-символӣ кӯшиш мекунад ду қудрати гуногунро муттаҳид созад.

Ҷониби аввал модели бузурги забон аст. Модели забонӣ забони табииро мефаҳмад, ҷумлаҳоро шарҳ медиҳад, кӯшиш мекунад, ки мушкилотро ба шакли рамзӣ гузорад.

Ҷониби дуюм, ҳалкунандаи рамзӣ мебошад. Ин ҷониб бар асоси қоидаҳои мантиқии математикӣ кор мекунад. Агар изҳоротҳои мантиқӣ дуруст ташкил карда шуда бошанд, ҳалкунанда метавонад муайян кунад, ки онҳо мутобиқ ҳастанд ё не.

Мо метавонем ин равишро чунин баррасӣ кунем:

Модели забон мушкилотро мефаҳмад ва кӯшиш мекунад, ки онро ба забони мантиқӣ табдил دهد.
Қарордиҳандаи рамзӣ ин саволро ҳисоб мебарад, 'Агар ин мантиқ дуруст бошад, чӣ натиҷа бояд бошад?'

Ин андеша қавист. Зеро ҳалкунандагони рамзӣ метавонанд назорати қатъии мантиқии мутобиқатро дар роҳе анҷом диҳанд, ки моделҳои забонӣ наметавонанд.

Аммо дар ин ҷо низ мушкили муҳим вуҷуд дорад:

Табдил додани забони табиӣ ба забони мантиқ осон нест.

Модели забонӣ ҳангоми тарҷума метавонад маълумоти нопурра тарк кунад, рамзи нодуруст истифода барад, як манфииятро нодида гирад ё ношаффофии мушкилотро ҳамчун қоидаи сахт нависад. Дар ин ҳолат ҳалли рамзӣ бо мушкилоти мантиқии нодуруст ё бе ҳалли мувоҷеҳ мешавад.

SSR чӣ пешниҳод мекунад?

SSR, яъне Symbolic-Neural Soft-Logic Reasoning, барои ҳалли ин мушкилот як роҳнамои нейро-симболикии бештар чандирро пешниҳод мекунад.

Фикри асосии SSR чунин аст:

Забони табииро ба мантиқи рамзӣ табдил деҳ, мантиқро бо ҳалкунанда тафтиш кун; аммо системаро ба хатогиҳои тарҷума комилан осебпазир накун.

Аз ин рӯ SSR се қисмати асосиро муттаҳид мекунад:

1. Тарафи LLM:
Мушкилоти забони табииро ба ифодаҳои мантиқии рамзӣ табдил медиҳад.

2. Тарафи ҳалкунандаи рамзӣ:
Ин муайян мекунад, ки оё ин ибораҳо мувофиқ ҳастанд ва кадом натиҷаро метавон гирифт. Дар мақола аз ҳалкунандаи Z3 SMT истифода шудааст.

3. Тарафи soft logic:
Агар изҳороти мантиқӣ ноком, камназир ё зидзанҷӣ бошанд, ба ҷои хароб кардани тамоми система, ҳалли онро тавассути зери маҷмӯи боэътимодтар ҷустуҷӯ мекунад.

Ин сохтор ҳадаф дорад, ҳангоми нигоҳ доштани тасдиқшавии мантиқи қатъӣ, нисбат ба хатогиҳои тарҷумаи аз модели забонӣ баровардашуда устувортар рафтор кунад.

Формула чӣ мефаҳмонад? Маълумот ба шакли маҷмӯаи мантиқӣ меоянд

Дар мақола маълумоте, ки аз мушкил бароварда шудааст, чунин нишон дода шудааст:

Φ = φ₁ ∧ φ₂ ∧ ... ∧ φₙ

Маълумоти соддаи ин формула чунин аст:

Ҳар иттилооти дар мушкилот буда ба ҷумлаи мантиқӣ табдил дода мешавад. Сипас ҳамаи ин иттилоот бо пайвасткунаки «ва» якҷоя карда мешавад.

Масалан:

• Али сурх аст.
• Ҳар кӣ сурх аст, даврӣ аст.
• Оё Али даврӣ аст?

Ин маълумотҳо дар маънои мантиқӣ алоҳида баён карда мешаванд. Ҳамаи онҳо якҷоя маҷмӯи маълумотеро бо номи Φ ташкил медиҳанд.

Баъд система ин саволро мепурсад:

Агар ин маълумот дуруст бошад, оё натиҷаи пурсоншуда ҳатман бармеояд?

Ин як равиши қавӣ дар мантиқи классикӣ мебошад. Зеро ба пешгӯии модел нигоҳ намешавад, балки ба мувофиқати қонунҳо нигоҳ карда мешавад.

Саволи Boolean чӣ гуна ҳал мешавад?

Агар савол навъи дуруст/нодуруст бошад, SSR ду назорат анҷом медиҳад:

Φ ∧ q
Φ ∧ ¬q

Дар ин ҷо q — даъвои пурсида. ¬q маънои «q дуруст нест»-ро дорад.

Бо тавзеҳи сода система кӯшиш мекунад, ки ин корро кунад:

1. Оё бо маълумоти додашуда q дуруст буда метавонад?
2. Оё бо маълумоти додашуда q нодуруст буда метавонад?

Агар q дуруст бошад, аммо муқобили q наметавонад бошад, натиҷа ҳамчун "дуруст" қабул мешавад.
Агар муқобили q мумкин бошад, аммо q ғайримумкин бошад, натиҷа 'ғайри дуруст' ҳисобида мешавад.
Агар ҳарду имконпазир бошанд, натиҷа метавонад «номаълум» бошад.

Ин муносибат кӯшиш мекунад, ки ҷалби сунъии зеҳнро аз ҷавобҳои тасодуфӣ пешгирӣ намояд. Зеро натиҷа ба назорати қобили қаноатмандии мантиқӣ вобаста мешавад.

Саволҳои рақамӣ чӣ гуна ҳал мешаванд?

Баъзе саволҳо дуруст/нодуруст нестанд, онҳо рақамӣ ё навбатдории намуд мебошанд. Масалан:

Ин ашё дар кадом қатор аст?
Синнат чанд аст?
Кадом варианти пешниҳодшуда бо шартҳои додашуда мувофиқ аст?

Дар ин ҳолат SSR ҳар як арзишҳои эҳтимолиро як ба як месанҷад.

Агар ибораи мақола соддатар кунед, инро мегӯяд:

Маҷмӯи ҳал = арзишҳои номзад, ки бо маълумоти додашуда мувофиқанд

Яъне система ҳар арзиши имконпазирро дар масъалаи мантиқ мегузорад ва тафтиш мекунад, ки «ин арзиш бо маълумоти дода шуда мувофиқат мекунад ё не?»

Агар танҳо як номзад пайваста боқӣ монад, ҷавоб ҳамон аст. Агар якчанд номзад пайваста боқӣ монад, мушкил номуайян ё маълумоти нокифоя буда метавонад.

Чаро soft logic лозим аст?

Агар дар мантиқи сахт як маълумот нодуруст тарҷума шавад, тамоми система метавонад вайрон шавад.

Масалан, дар масъала навишта шудааст «Али сурх нест», вале модел ба таври тасодуфӣ онро ҳамчун «Али сурх аст» тарҷума кардааст. Ин як хатогӣ метавонад натиҷаи умумии ҳалли мушкилро нодуруст арзёбӣ кунад.

SSR ба ҳамин сабаб soft logic истифода мекунад.

Soft logic ба қоидаҳоро на ҳамчун «пурра дуруст» ё «пурра нодуруст», балки ба баъзе маълумотҳо эътимоди вазнин медиҳад.

Дар мақола барои вазни эътимод ғояи зерин истифода мешавад:

w(φ) = exp(-H(φ))

Дар ин ҷо H(φ) як меъёри энтропия аст, ки нишон медиҳад, ки модели забонӣ ҳангоми тавлиди ифодаи дахлдор чӣ қадар ноаёнӣ дорад

Маълумоти оддӣ чунин аст:

Агар модел ҳангоми сохтани як ифодаи мантиқӣ хеле ноустувор ба назар расад, метавон ба он ифода эътимоди камтар дод.
Агар модел бовариноктар ба назар расад, он ифода метавонад вазни баландтар гирдорад.

Ин барои кам кардани таъсири системаи умумӣ аз тарҷумаҳои мантиқии нодуруст равона шудааст.

Агар тарҷума бисёр бад бошад, чӣ мешавад?

SSR як қадами муҳимтарини амниятӣ дорад: филтркунӣ.

Агар ибораҳои мантиқӣ, ки модели забон истеҳсол кардааст, хеле нодуруст бошанд, масалан, агар қисмати ғайриқонунии забони табиӣ боқӣ монда бошад, рамзҳои вайроншуда бошанд ё декодери ибора онҳоро наметавонад хонад, система онҳоро ҷудо мекунад.

Агар шумораи зиёди хатогиҳои ҷиддӣ вуҷуд дошта бошад ё худи пурсиш вайрон шуда бошад, SSR маҷбур намекунад, ки ҳалли рамзӣ шавад. Ба ҷои ин он ба роҳи анъанавии Chain-of-Thought бармегардад.

Ин қарор муҳим аст. Зеро таҳмил кардани ҳар як мушкил ба ҳалли рамзӣ дуруст нест. Агар тарҷумаи мантиқӣ корношоям шавад, ҳалкунандаи рамзӣ натиҷаҳои боэътимод нахоҳад дод.

Вақте норавшанӣ боқӣ монад, занги бозгашт ба мақсад анҷом дода мешавад

Мантиқии нарм метавонад баъзе зиддиятҳоро кам кунад; вале баъзан ҳамчунон якчанд ҷавоб имконпазир мемонад. Дар ин ҳолат SSR мепурсад "Кадом маълумоти ноком натиҷаи ягона мекунад?"

Ин бахш дар мақола бо номи dual-system targeted retrieval номида мешавад. Ба забони содда метавон онро «баргардонидани мақсадноки ду систем» ё ба шакли оддӣ «ёфтани маълумоти муҳим ноқис» тарҷума кард.

Дар ин ҷо ҳалкунандаи рамзӣ аввал инро муайян мекунад:

Агар ин шарти иловагӣ дуруст мебуд, ҷавоб ягона мебуд.

Сипас ин номзад тавассути модели забонии шароити санҷида мешавад:

Оё ин шарт метавонад аз матни масъала ё маълумоти маъмули умумӣ бароварда шавад?

Ин фарқияти муҳим аст. Модели забонӣ посухро мустақиман интихоб намекунад. Ба ҷои он, пайванди нопурраи муайянееро, ки системаи рамзӣ ишора мекунад, тафтиш мекунад.

Ин усул модели забонро ба як вазифаи маҳдудтар ва идорашаванда табдил медиҳад.

Чӣ тавр занҷири фикрҳои тасдиқшавандаро эҷод мекунанд?

SSR наметавонад танҳо ҳадафаш тавлиди посух бошад. Он ҳамчунин ҳадафи тавлиди занҷири далелии тафаккуреро, ки метавон онро тафтиш кард, дорад.

Барои ин система ду намуди пайравии мантиқиро эҷод мекунад:

Истинботи пеш:
Аз маълумотҳои маълум сар мешавад. Қоидалар татбиқ карда мешаванд. Натоиҷи нав гирифта мешавад. Дар охир кӯшиш мешавад ба пурсиш расидан.

Истинботи қафо:
Аз пурсанҷӣ сар мешавад. Бо саволи “Барои исботи ин натиҷа кадом пешшартҳо заруранд?” ба ақиб мерасад.

Ин ду роҳ метавонанд ба шарҳҳое табдил ёбанд, ки инсон фаҳмиданаш мумкин аст. Мухим ин аст: Шарҳ матни тасодуфӣ эҷодшуда нест; он аз пайравии исботи рамзӣ пайдо мешавад.

Ин барои таълим ва зеҳни сунъӣ боэътимод арзишманд аст. Зеро корбар на танҳо ҷавоб, балки роҳи мантиқии расидан ба ҷавобро низ мебинад.

Шакли 1 чӣ нишон медиҳад?

Шакли 1 дар мақола ҷараёни умумии SSR-ро нишон медиҳад.

Дар тасвир система аввал мушкилоти забони табииро мегирад. LLM ин мушкилотро ба изҳоротҳои мантиқӣ табдил медиҳад. Сипас филтр карда мешавад. Изҳоротҳои хато ҷудо карда мешаванд. Пас система рамзӣ фаъол мешавад.

Агар мантиқ равшан ва мутаносиб бошад, ҳалликунанда ҷавобро мебарорад. Агар ихтилоф ё маълумоти ноком бошад, мантиқии нарм ва баргардонидани мақсаднок ба кор меафтад. Агар тарафи рамзӣ хеле вайрон шуда бошад, система ба роҳи стандартии CoT бармегардад.

Паёми асосии ин тасвир ин аст:

SSR як усули ягона нест; он як хатти баҳси серқабат аст, ки ба таври ҳамзамон забони табиӣ, мантиқ, санҷиш, маҳдудиятҳои мулоим ва тавлиди шарҳро истифода мебарад.

Шакли 2 чӣ нишон медиҳад?

Расми 2 дар мақола нишон медиҳад, ки SSR чӣ гуна занҷирҳои ақлпардозии пеш ва пасиро ташкил мекунад.

Системаи занҷирии пешсаф аз воқеиятҳои мавҷуда оғоз меёбад. Он қоидаҳоро ба тартиб татбиқ мекунад ва ба самти натиҷаи ниҳоӣ пеш меравад.

Дар занҷири баръакс ин натиҷа аз ҳадаф оғоз меёбад. Барои исбот кардани ин натиҷа, кадом қоида, кадом пешгираш ва кадом маълумоти миёнаро лозим аст, меҷӯяд.

Ин ду равиш ба тарзи ҳалли мушкилоти инсон баробар аст. Баъзан мо аз маълумоти дорем ба натиҷа мерасем. Баъзан ҳам барои исботи натиҷа фикр мекунем, ки "Барои нишон додани ин ба чӣ ниёз дорам?"

Нақши SSR ин аст, ки ин занҷирҳоро рамзӣ ба таври назоратшаванда месозад.

Таҷрибаҳо чӣ гуна анҷом дода шуданд?

Тадқиқотгарон SSR-ро дар моделҳои гуногуни забон ва benchmark-ҳои гуногуни мантиқ санҷиш мекунанд.

Маҷмӯаҳои додаҳои истифодашуда инҳоро дар бар мегиранд:

PrOntoQA:
Вазифаҳои хулосабардории мантиқии сохторёфта

ProofWriter:
Вазифаҳои мантиқие, ки натиҷагирӣ мекунанд, ки оё маълумоти додашуда барои исботи як натиҷа кофӣ аст ё не.

FOLIO:
Мушкилоти мантиқи дараҷаи аввал метавонад ҷумлаҳои дароз ва маълумоти умумии пинҳоншударо дар бар гирад.

LogicalDeduction:
Мушкилоти мантиқии ҷуфткунии ҷудо ва тартибӣ.

Дар байни усулҳои муқоисашуда посух додани мустақим, стандартии Chain-of-Thought, Formal CoT, Logic-LM, VeriCoT ва SSR мавҷуданд

Аз ҳар як маҷмӯи додаҳо 200 мушкил интихоб шуда, натиҷаҳо аз лиҳози дақиқӣ ва вақти таҳлил арзёбӣ шуданд.

Натиҷаҳо чӣ нишон медиҳанд?

Ҷадвали 1 нишон медиҳад, ки SSR дар бисёр моделҳо ва маҷмӯаҳои додаҳо натиҷаҳои беҳтар аз CoT стандартӣ медиҳад.

Масалан дар модели Qwen2.5-7B:

• Дар PrOntoQA CoT: 86,1; SSR: 97,4
• ProofWriter дар CoT: 58,1; SSR: 86,0
• Дар LogicalDeduction CoT: 63,2; SSR: 75,0

Гуфта мешавад, ки дар моделҳои пурқувваттар мисли DeepSeek-R1 ва GPT-4o SSR махсусан дар вазифаҳои мантиқӣ мисли PrOntoQA ва ProofWriter натиҷаҳои баланд медиҳад.

Дар маҷмӯаҳои додаҳое, ки мисли FOLIO ба забони табиӣ ва дониши пинҳонӣ ниёз доранд, афзалият маҳдудтар менамояд. Ин ҳолат интизорӣ аст; зеро ҳангоми душвор шудани табдили забони табиӣ ба мантиқии расмӣ фоидаи системаи рамзӣ кам мешавад.

Паёми асосии ин натиҷаҳо ин аст:

SSR дар масъалаҳое, ки сохтори мантиқӣ равшантар аст, метавонанд афзалияти бештар диҳанд. Дар масъалаҳои забони табиӣ, ки мураккаб ва номуайян мебошанд, сифати тарҷума ҳанӯз маҳдудкунанда аст.

Дар силсилаҳои фикрии тасдиқшаванда тафовут бештар аст

Ҷадвали 2 на танҳо ҷавоби дуруст, балки муваффақияти тавлиди занҷири пурра дуруст ва санҷиши қобили ақлро меомӯзад.

Дар ин ҷо фарқи SSR бештар ҷилва мекунад.

Масалан, дар модели Qwen барои PrOntoQA:

• Formal CoT: 21,9
• VeriCoT: 51,7
• SSR истинботи пеш: 89,7
• SSR истинботи қафо: 88,5

Ин нишон медиҳад, ки SSR на танҳо дурустии посухҳоро зиёд мекунад, балки натиҷаҳои қавӣ дар эҷоди занҷирҳои изоҳии мантиқӣ ва тасдиқшаванда низ медиҳад.

Ин нуқта махсусан муҳим аст. Зеро барои корбарон баъзан, на танҳо ҷавоби дуруст, балки далели дуруст низ лозим аст.

Дар ҳолати воридкунии нодуруст ё ноком чӣ мешавад?

Мақола инчунин муқовимат ба вайроншавии воридотро санҷида истодааст.

Дар баъзе таҷрибаҳо ба матни проблема ҷумлаҳои номутобиқ илова карда мешаванд. Дар баъзе дигар бошад, пешгузаштаи муҳим бардошта ё тағйир дода мешавад.

Бар асоси натиҷаҳо дохил кардани маълумоти номаҳдуд усулҳоро бисёр вайрон намекунад. Аммо ҳазф кардани маълумоти муҳим ё тағйир додан иқтидори иҷроиро хеле коҳиш медиҳад.

SSR дар ин вайроншавиҳо одатан поёнравии мулоимтар нишон медиҳад. Сабаби он метавонад ҳамкории мантиқии нарм ва маҳдудиятҳои символӣ бошад. Система кӯшиш мекунад бо зермаҷмӯъҳои боэътимодтар пеш равад, ҳатто дар ҳолате ки хатогиҳои хурди тарҷума ё баъзе номуайянҳо рӯй диҳанд, бе фалаҷ шудани пурра.

Аммо вақте ки корношоямӣ хеле меафзояд, фоидаи SSR ҳам кам мешавад. Ин нишон медиҳад, ки ин усул номаҳдуд тобовар нест.

Модули филтркунӣ чаро муҳим аст?

Ҷадвали 4 таҷрибаҳои аблятсионӣ, ки баъзе қисмҳоро дар дохили SSR хориҷ кардаанд, нишон медиҳад.

Вақте ки модули филтркунӣ хориҷ карда мешавад, иҷроиш махсусан дар маҷмӯаҳои мушкил маълумот ба таври ҷиддӣ коҳиш меёбад. Масалан, бо Qwen2.5-7B дар FOLIO SSR стандартӣ 64,5 аст, дар ҳолати бе филтркунӣ 48,0 мешавад. Дар LogicalDeduction низ аз 75,0 ба 68,5 коҳиш мушоҳида мешавад.

Ин нишон медиҳад, ки барои мо:

Ирсоли ифодаҳои мантиқии таҳиякардаи LLM ба ҳалкунанда бе омодагӣ хатарнок аст. Аввал лозим аст, ки ифодаҳои равшан вайроншуда ё хато тоза шаванд.

Вазнҳои эътимодии асосёфтаи энтропия дар мантиқи нарм камтар, аммо як саҳми такмилдиҳанда мекунанд. Яъне яке аз фоидаҳои асосӣ, ба назар мерасад, барҳам додани формализатсияи нодуруст ва муваффақона иҷро кардани қисмати ақли рамзӣ мебошад.

Тадқиқот чӣ мегӯяд?

Паёми асосии таҳқиқ чунин аст:

Барои инкишофи қобилияти мантиқи моделҳои забонии калон танҳо талаб кардани шарҳи дароз кофӣ нест. Қадамҳои мантиқӣ бояд тасдиқшаванда бошанд.

SSR барои ин мақсад се фикрро муттаҳид мекунад:

Аввалан, масъалаҳои забони табииро ба мантиқҳои рамзӣ табдил додан.
Дуюм, бо ҳалли рамзӣ мутобиқат ва назорати натиҷаро анҷом додан
Севвум, барои хатогиҳои тарҷума истифодаи soft logic ва филтркунии мулоим.

Ин равиш ҳадаф дорад хатогиҳоро, ки аз истеҳсоли пурраи матни озод аз ҷониби LLMҳо сар мезананд, кам кунад. Ҳамчунин, имконияти эҷоди маълумоти таълимӣ тавассути тавлиди занҷирҳои фикрии тасдиқшавандаро низ пешниҳод мекунад.

Ин чаро муҳим аст?

Дар оянда системаҳои зеҳни сунъӣ на танҳо барои гуфтугӯ, балки барои банақшагирӣ, математика, тадқиқоти илмӣ, тасдиқи нармафзор, таълим ва дастгирии қарор низ истифода хоҳанд шуд.

Дар ин соҳаҳо «модел чунин гуфт» кофӣ нест. Муҳим аст, ки чаро модел чунин гуфт ва оё натиҷа метавонанд мантиқан тафтиш карда шаванд ё не.

Хусусан дар математика ва таҳлили илмӣ, роҳи исбот ҳамон қадар қадр дорад, ки натиҷа. Ба талаба ё муҳаққиқ ҷавоби дуруст бо далели нодуруст додан метавонад гуфторашро ба гулӯгурезӣ водорад.

Усулҳои мисли SSR як самти муҳими таҳқиқотиро барои он ки системаҳои зеҳни сунъӣ боварноктар, фаҳмо ва назоратшаванда гарданд, пешкаш мекунанд.

Нуктаҳое, ки бояд диққат карда шаванд

Ҳарчанд ин таҳқиқот натиҷаҳои қавӣ пешниҳод мекунад, он маҳдуд мебошад.

Аввалан, кори мазкур preprint аст ва ёфтҳо бояд бо арзёбии мустақил дастгирӣ шаванд.

Дуввумин, SSR ҳанӯз ба тавоноии LLM дар табдил додани забони табиӣ ба ифодаҳои мантиқи рақамӣ такя мекунад. Агар тарҷума нодуруст бошад, мантиқи нарм метавонад ин хато кам кунад, аммо онро пурра нест намекунад.

Севвум, система дар ҳолатҳои тарҷумаи зиёдатӣ ба CoT стандартӣ бармегардад. Ин барои амният оқилона аст; вале нишон медиҳад, ки системаҳои рамзӣ дар ҳама ҳолат кор намекунанд.

Чаҳорум, таҷрибҳо бо маҷмӯаҳои маълумоти арзёбӣ маҳдуд шудаанд. Мушкилоти воқеии дунё метавонанд парешонтар, нокомилтар, пурмазмунтар ва вобаста ба контекст бошанд.

Панҷум, гарчанде ки истеҳсоли занҷири тасаввуроти қобили санҷиш арзишманд аст, аммо оё ин занҷирҳо воқеан қобилияти натиҷагирии дохилии моделро беҳтар мекунанд ё не, мавзӯи алоҳидаи таҳқиқот мебошад.

Натиҷа

Ин тадқиқот як ҷанбаи муҳимро барои беҳтар кардани қобилияти муҳокимаи моделҳои бузурги забонӣ пешниҳод мекунад: муттаҳид кардани чандирии модели забонӣ бо тасдиқи мантиқии рамзӣ.

Усули SSR мушкилоти забони табииро ба ифодаҳои мантиқӣ табдил медиҳад, ин ифодаҳоро бо ҳалкунандаи SMT санҷида мегирад, барои формализатсияҳои нодуруст ё кампайваста мантиқҳои нарм истифода мекунад ва дар ниҳоят занҷирҳои далелсанҷии мантиқии хонданӣ барои инсон таҳия мекунад.

Натиҷаҳо нишон медиҳанд, ки SSR метавонад дар бисёр муҳитҳои таҷрибавӣ самаранокии беҳтарро нисбат ба CoT классикӣ ва баъзе равишҳои нейро-символикӣ нишон диҳад. Аммо усул ҳоло ҳам ба хатогиҳои формализатсия, мураккабии масъала ва маҳдудиятҳои маҷмӯи дода вобаста аст.

Ҳамчун ҳамоно тадқиқот хотиррасон мекунад, ки барои зеҳни сунъии боэътимод фикри хеле муҳим аст:

Ҳуши сунъӣ на танҳо бояд ҷавоби хуб диҳад; роҳи ба ҷавоб расиданаш низ бояд назоратшаванда бошад.

Ёддошт оид ба манбаъ ва усул

Ин мундариҷа аз кори академии Rui Wang, Zeming Wei, Yihao Zhang ва Xiaokun Luan бо унвони "Symbolic-Neural Soft-Logic Reasoning: Towards Robust and Verifiable Thinking Chains via Cooperative Evolution" бо формати таҳририи Verianla ба таври мустақил омада шудааст.

Тадқиқот ҳамчун preprint дар arXiv нашр шудааст. Мазмун барои иттилоот ва омӯзиш аст. Он ҷои амнияти зеҳни сунъӣ, интихоб кардани модел, санҷиши нармафзор, баҳодиҳии академӣ ё машварати техникии профессионалӣ намегирад.