Hako binciken hujja (wanda aka kuma kira hako hujja) yana juya rubutun da ba a tsara ba — takardar taro, shawarar manufofi, rubutu, zaren dandalin tattaunawa — zuwa taswirar da aka tsara wacce ke nuna wanda ya yi hujja akan menene da bisa ga wane tushe. Ana bayyana wannan fanni a matsayin ayyuka hudu masu alaƙa: gano yankunan hujja a cikin rubutun, sanya suna ga kowanne a matsayin ikirari ko tushe ko hujja, tantance wanne yanki ke amsa wanne, da yanke shawara ko kowanne dangantaka tana goyon baya ko kai hari. Ya samo asali ne daga ka'idar hujja — bayanin Stephen Toulmin na 1958 akan yadda hujjojin yau da kullum ainihin suke gina, da jerin Douglas Walton na tsarin tunani da ke maimaituwa — kuma ya zama fannin lissafi a cikin shekarun 2010 ta hanyar tarin bayanai da aka yi wa alama kamar rubutun hujja na Christian Stab da Iryna Gurevych da microtexts na hujja na Andreas Peldszus da Manfred Stede. Argumentree yana amfani da hako binciken hujja don juya takardar da aka liƙa ko takardu zuwa itacen hujja na goyon baya da akasin goyon baya wanda mutane za su iya karantawa, gyarawa, kimanta da faɗaɗa.

Hako hujja shine reshen AI da ke karanta rubutun yau da kullum da kuma gano tsarin hujjarsa — wane jumla ne ke zama ikirari, wane ne dalilan da aka bayar don su, da kuma ko kowanne dalili yana goyon bayan ko yana kai hari ga batun da aka haɗa da shi. Wannan shine fasahar da ke bayan canza rubutun taro zuwa cikin tsari na itacen amfanar da rashin amfanar.
An sabunta karshe: 2026-07-29
Hako hujja (ko hako muhawara) yana fitar da dalilan da ke cikin rubutun da ba a tsara ba ta atomatik. Inda nazarin jin dadin yana tambayar yaya wannan rubutun yake ji da kuma taƙaitawa yana tambayar me ya ce, hako hujja yana tambayar menene ake ikirarin, a kan wane tushe, da kuma menene ke magana a kan hakan. Wannan ne ke ba da damar software ta canza rubutun, amsar shawara ko kuma rubutun karatu zuwa taswirar hujja maimakon taƙaitawa.
Masu bincike yawanci suna raba matsalar zuwa ayyuka hudu da suka haɗu. Kowanne yana da wahala fiye da na baya, kuma kuskure a farkon yana yaduwa ta cikin duk abin da ke biyo baya.
Yawancin jimloli a cikin takardu na gaske ba hujjoji bane — suna kasancewa gaisuwa, tsare-tsare, bayanai, ko maimaitawa. Aikin farko shine yanke shawarar wane ɓangare na rubutu ne ke ɗauke da ikirari ko dalili.
Iyakoki shine matsayin da wani ke ɗauka. Dalili shine hujja da aka bayar don hakan. Shaida shine bayanan, bincike ko misali da ke goyon bayan dalilin. Hakanan jumla guda na iya zama iyakoki a cikin wani takarda da kuma dalili a cikin wani — rawar da take takawa yana dogara ne akan abin da take yi, ba akan yadda aka tsara ta ba.
Hujjoji ba su da jerin tsari. Dalili na haɗawa da takamaiman ikirari; ƙin amincewa na haɗawa da takamaiman dalili. Samun wannan tsari shine abin da ke canza tarin jimloli da aka cire zuwa itace.
Don kowanne haɗi a cikin itacen: shin wannan yana ƙarfafa abin da aka haɗa da shi, ko kuma yana raunana shi? Wannan shine matakin da yawanci ke kuskure, kuma dalilin an bayyana shi ƙasa.
Sai lokacin da aka kammala dukkan hudu ne kawai za ka sami wani abu da za ka iya kewaya: wani ikirari, dalilan sa, korafe-korafen da aka yi kan wadannan dalilan, da amsoshin wadannan korafe-korafen.
Harkokin muhawara na fannin kwamfuta ne mai matukar tasowa wanda ke tsaye a kan wani tsohon fanni na kimiyya. Ka'idar ta zo da farko kusan rabin karni.
A cikin "The Uses of Argument," Stephen Toulmin yana jayayya cewa ainihin jayayya ba ta yi kama da syllogisms ba. Ya gabatar da ikirari, tushe, izini, goyon baya, mai inganci da kuma musantawa a matsayin sassan jayayya ta yau da kullum — kalmomin da duk fannin har yanzu ke amfani da su.
Douglas Walton ya rubuta game da maimaitattun tsarin tunani na yau da kullum — jawo ra'ayin kwararru, hujja daga misali, hujja daga sakamako — kowanne tare da jerin tambayoyi masu mahimmanci da ke bayyana inda zai iya gaza.
James Freeman ya bambanta tsakanin sharuɗɗan da ke aiki tare kawai da sharuɗɗan da kowanne ke tsaye shi kaɗai, kuma ya raba kai hari ga ƙarshe daga kai hari ga tunanin da ke kaiwa gare shi — bambanci da ke da matuƙar muhimmanci idan inji ya zama dole ya yi hakan.
Harkokin muhawara suna zama aikin lissafi mai auna lokacin da aka bayyana bayanan da aka yi wa alama. Stab da Gurevych suna yi wa ikirari, tushe da dangantaka alama a cikin rubuce-rubucen gamsarwa; Peldszus da Stede suna gina tarin gajerun rubuce-rubucen muhawara musamman don nazarin tsarin muhawara. Ma'auni na raba suna sa ci gaba ya zama mai kwatantawa.
Tsarin yana koyon sanya alamu ga lokutan muhawara da kuma rarraba dangantaka daga misalan da aka yi wa alama. Gano abubuwa yana zama abin dogaro sosai. Gano dangantaka — yanke shawarar abin da ke hade da abin da, da kuma ko yana goyon baya ko kuma yana kai hari — yana ci gaba da zama mai wahala.
Hanyoyin harshe na gaba ɗaya na iya gudanar da ayyukan hakar hujja ba tare da an horar da su a kan tarin bayanai da aka yi wa alama ba. Wannan yana kawar da babban shinge na aikace-aikace — bukatar dubban misalai da aka yi wa alama a kowanne fanni — kuma yana sa hakar hujja ta zama mai amfani a kan rubutun kasuwanci na yau da kullum.
Fitar da ikirari shine rabin mai sauƙi. Wahalar tana cikin dangantaka — kuma akwai dalilai uku don haka.
"Gadar ba ta da tsaro, don haka ya kamata mu rufe ta" na ɓoye wani ka'ida da ba a faɗi ba: cewa ya kamata a rufe gine-gine marasa tsaro. Toulmin ya kira wannan da warrant. Mutane ba sa faɗin wannan a fili, wanda ke nufin inji yana buƙatar sake gina wani mataki da ba ya cikin rubutun.
A cikin yawancin tarin bayanai da aka yi wa alama, mafi yawan dangantaka suna goyon baya; kai hari ƙananan ƙungiya ne. Wani samfurin da aka horar ko aka ba da umarni bisa wannan rarrabuwa yana koya cewa hasashen goyon baya yawanci yana da lafiya — wanda hakan ba daidai bane ga lokuta da suka fi muhimmanci a cikin yanke shawara.
A ƙarƙashin ƙin amincewa, dalilin da ke ƙarfafa ƙin amincewar yana goyon bayan mahaifinsa yayin da yake adawa da shawarar gaba ɗaya. Tsarin da ke yanke hukunci game da matsayin ta hanyar yadda jumlar ke ji game da batun suna samun wannan ba daidai ba, kuma kuskuren yana ƙaruwa a ƙasa.
Argumentree na amfani da hakar hujja ga wani aiki na musamman: canza rubutaccen magana, takardu ko tattaunawa zuwa itacen hujja mai goyon baya da kuma akasin goyon baya wanda tawaga za ta iya aiki tare da shi. Tsarin yana biye da aikin fannin maimakon kirkirar wata hanya ta kashin kai.
Kowane hujja da aka cire yana dauke da kalmomin da suka fito daga gare shi. Idan wani ikirari ba za a iya dawo da shi zuwa wani abu da ke cikin tushen ba, ba ya shiga cikin itacen.
Biyo bayan Walton da Freeman, wata korafi na iya kalubalantar kammalawa, kalubalantar shaidar da ke bayanta, ko kuma kalubalantar matakin tunani da ke haɗa su. Wadannan suna da matakai daban-daban kuma ana ɗaukar su a matsayin alaƙa daban-daban.
Fitarwa yana samar da itace da aka ba da shawara. Mutane suna duba, gyara, canza iyaye da kuma kimanta shi kafin ya zama rajista. Injin yana yin aikin farko mai wahala; hukuncin yana kasancewa tare da kungiyar.
Saboda sakamakon yana da itace maimakon taƙaitaccen bayani, masu bayar da gudummawa daga baya na iya haɗa sabon korafi ga dalilin da ya dace da shi, watanni bayan tattaunawar asali.
Tasirin aikace-aikace shine cewa dalilin da ya sa aka yanke hukunci yana kasancewa a cikin bincike — ba kawai abin da aka yanke ba, har ma da wane hujja aka gabatar, menene ya amsa su, da abin da ba a taɓa amsawa ba.
Matsayin hannu: tsara ikirarin da dalilai a fili da hannu. Hako hujja yana sarrafa abin da taswirar hujja ke yi da gangan.
Fannin da binciken hujja ke gudanarwa — hankali, magana, tattaunawa da tsarin hukuma da ke bayan su.
Sashe shida na tsarin jayayya ta yau da kullum, da tushen ikirarin, ƙasa da kalmomin izini da ake amfani da su a cikin hakar jayayya.
Hako hujja da aka yi amfani da shi ga takardun taro — kama dalilin da ya sa aka yanke shawara, ba kawai abin da aka ce ba.
Harkokin muhawara shine software da ke karanta wani yanki na rubutu da kuma gano muhawarar da ke ciki: menene ake ikirari, wane dalilai ne aka bayar, da wane dalilai ne ke goyon bayan ko kuma sukar wane ikirari. Sakamakon shine taswirar da aka tsara maimakon wani yanki na rubutu.
Takaitaccen bayani yana taƙaita rubutu kuma yana gaya maka kusan abin da aka faɗa. Harkar binciken muhawara tana kiyaye tsari: tana gaya maka cewa an kawo wannan takaddama a kan wannan dalilin, kuma babu wanda ya amsa ta. Takaitaccen bayanai suna rasa ainihin rashin jituwa da ke da mahimmanci ga yanke shawara.
A'a. Binciken jin ra'ayi yana auna halayya — mai kyau, mara kyau, mai tsaka-tsaki. Hako muhawara yana dawo da dalilai. Ana iya fassara jumla a cikin hanyar mara kyau yayin da take goyon bayan makasudin da aka haɗa da ita, kuma binciken jin ra'ayi zai yi kuskure a kowane lokaci.
Babu wani mai kirkira guda ɗaya. Tushen tunani shine samfurin tsarin muhawara na Stephen Toulmin na 1958, wanda Douglas Walton ya faɗaɗa tare da tsarin muhawara da James Freeman ya bayar na macrostructure na muhawara. Fannin lissafi ya fara bayyana a cikin shekarun 2010, tare da tarin bayanai da aka yi wa alama daga Christian Stab da Iryna Gurevych da kuma daga Andreas Peldszus da Manfred Stede a cikin aikin da ya sa ya zama mai auna.
Dalilai guda biyu. Harin yana da karancin faruwa fiye da goyon baya a cikin bayanan da waɗannan tsarin ke koya daga gare su, don haka samfuran suna da son kai wajen hasashen goyon baya. Kuma harin yawanci ana buƙatar a yi masa hukunci dangane da mahaifin sa na kusa maimakon batun gaba ɗaya — dalili na iya ƙarfafa ƙin amincewa yayin da yake adawa da shawarwarin da ƙin amincewar ke nufi.
A'a, kuma yin hakan kuskure ne. Fitarwa yana samar da farko na tsarin hujja. Yanke shawara ko hujja tana da kyau — ko shaidar tana da inganci, ko tunanin da ba a faɗi ba yana da karɓuwa — aikin mutum ne. Darajar tana cikin rashin buƙatar gina tsarin da hannu kafin a fara wannan aikin.
Toulmin, S. E. (1958). Amfanin Tattaunawa. Cambridge University Press.
Samfurin Ikirarin-Bayanan-Dokar-Tsaya-Mai Bayani-Kin Amincewa - tushen kimiyya don tsarin muhawara.
View source →Walton, D., Reed, C., & Macagno, F. (2008). Tsarin Tattaunawa. Cambridge University Press.
Katalogin tsarin tunani da ke maimaituwa da tambayoyin da ke gwada su - kalmomin da ke tallafawa da hare-hare.
Freeman, J. B. (1991). Dialectics da Macrostructure na Huɗa: Wani Ka'idar Tsarin Huɗa. Foris / De Gruyter.
Tallafi, musantawa da rage karfi a cikin musayar mai goyon baya da mai adawa - bambanci tsakanin kai hari ga kammalawa da kai hari ga tunanin da ya kai ga ita.
View source →Peldszus, A., & Stede, M. (2013). Daga Zane-zanen Huɗa zuwa Hako Huɗa a cikin Rubuce-rubuce: Bincike. Mujallar Duniya ta Bayanan Hankali da Basirar Halitta, 7(1), 1-31.
Aiwatar da tsarin Freeman don hakar hujjoji ta atomatik.
View source →Stab, C., & Gurevych, I. (2014). Yin bayanin abubuwan hujja da dangantaka a cikin rubuce-rubucen gamsarwa. Tarukan COLING 2014.
Asalin binciken hujja na kwamfuta - tarin bayanai da tsarin da ke bayan fitar da hujja ta atomatik.
View source →Lawrence, J., & Reed, C. (2019). Hako Huɗa: Bincike. Harshe na Kwamfuta, 45(4), 765-818.
Binciken ma'auni na fannin - bayyana ayyuka, hanyoyi da matsaloli masu bude.
View source →Manna wani takardar shaidar taro, amsar shawara ko takardu kuma ku sami tsari mai kyau na fa'ida da rashin fa'ida da tawagarku za ta iya duba, gyara, kimanta da gina a kai.
Fara kyauta