Тұжырым–Дәйек — Қалай тексереді

Мәтініңіздегі СІЛТЕМЕСІ бар сөйлемдер үшін, сілтеме жасалған дереккөздің оны шынымен қолдайтынын бағалайды: қолдайды, ішінара, белгісіз, қолдамайды, қайшы келеді немесе дәйек жоқ. Дәйек мәтіні алдымен жүктелген PDF-тің толық мәтінінен, ол болмаса дереккөз аңдатпасынан алынады; қайсысы қолданылғаны («толық мәтін» немесе «аңдатпа») сізге айтылады, өйткені аңдатпа толық мәтінді білдірмеуі мүмкін. Бағалау ТЕК осы мәтінге қарап жасалады. Көрсетілген дәйексөз дереккөзден сөзбе-сөз ізделеді; табылмаса көрсетілмейді — дереккөзде жоқ сөйлем тырнақшаға алынып шыға алмайды. Толық мәтін де, аңдатпа да болмаса «дәйек жоқ» деп жазылады; болжам жасалмайды. Сілтемесіз сөйлемдер бағаланбайды, өйткені салыстыратын дереккөз жоқ. Бюджет шегі бар: ең көп сілтеме алған 8 дереккөз және дереккөз басына ең көп 4 сөйлем бағаланады; үлкенірек еңбектерде қалған сілтемелі сөйлемдер сол жүгіруде қаралмайды. Бұл — бағдар, рецензент шешімі емес.

Дәйектің орны — Қалай тексереді

Тұжырымды қолдайтын үзіндінің дереккөздің дәл қай жерінде екенін табады. Дереккөздің толық мәтіні бөліктерге бөлініп векторға айналдырылады; тұжырымға ең жақын бөлік детерминистік ұқсастық есебімен таңдалады. Орын тілдік модельден сұралмайды — модель абзац нөмірін ойдан шығара алады, векторлық сәйкестік ойдан шығара алмайды. Тек толық мәтіні жүктеліп индекстелген дереккөздерде жұмыс істейді. Толық мәтін болмаса, «бөлік жоқ» деп адал айтылады; аңдатпа бойынша орын берілмейді.

Жұмыстың цифрлық жолы — Қалай тексереді

Жұмыстың жасалуындағы уақыт белгісі бар оқиғаларды бір оське шығарады: дереккөз қосу, нұсқа, пікір, генерация, дәйек тексерісі, экспорт. Кестеге тек нақты уақыт белгісі бар оқиғалар кіреді; белгісі анықталмайтын оқиға мүлде жасалмайды. Өлшем деректерінің бір бөлігінде уақыт белгісі болмағандықтан екі қабат қолданылады: оқиғалар және кезеңдер. Кесте құрылымы бойынша ТОЛЫҚ ЕМЕС және бұл экранда ашық жазылады: автоматты нұсқалар тазаланады, кейбір қадамдар жазылмайды. Сондықтан толықтық ешқашан мәлімделмейді. Ең бастысы: «жазба жоқ» мен «жасалмады» — бөлек нәрселер және бөлек көрсетіледі.

Генерация ізі — Қалай тексереді

Біз жасаған мәтіннің қаншасы соңғы мәтінде сол күйінде қалғанын өлшейді. Бөлімді біз жасаған болсақ, жасалған мәтіннің саусақ ізін (5-грамм хэштерін) сақтаймыз, содан кейін соңғы мәтінде оның қаншасы сақталғанын санаймыз. Мәтіннің өзі сақталмайды. Белгілі бір сөйлемді адам жазды ма — ӨЛШЕУГЕ БОЛМАЙДЫ және бұл мәлімделмейді. Авторлық пайызы шығарылмайды. Өлшенетін жалғыз нәрсе — мәтіннің сақталуы; бұл жасанды интеллектіні анықтау емес.

Оқу орны нұсқаулығына сәйкестік — Қалай тексереді

Таңдалған университет үлгісінің МӘТІНГЕ қатысты ережелерін тексереді: дәйексөз стилінің сәйкессіздігі, тақырып нөмірлеу, бос бөлімдер. Толығымен ережеге негізделген; жасанды интеллект қолданылмайды. Нұсқаулық әуелден ашық ереже, оны модельге түсіндірту тек қате қаупін қосады. Үлгілер оқу орындарының жарияланған нұсқаулықтарынан алынады және дереккөз сілтемесімен сақталады. Жиек, қаріп және жол аралығы МҰНДА тексерілмейді — олар экспортта қолданылады. Үлгі деректерінде жоқ ережелер (бет саны шегі, кіріспе бөлімдер реті, қосымша талаптары) тексерілмейді және экранда бір-бірлеп тізіледі.

Бұрынғы техника тексерісі — Қалай тексереді

Жұмысыңызда мәлімделген үлесті жарияланған патенттермен элемент бойынша салыстырады. Үлесіңізден техникалық элементтер бөлініп алынады және әрқайсысы табылғандар ішінен ең өзекті 8 құжатпен салыстырылады. Элемент құжатта «айқын ашылған» делінсе, құжат мәтінінен СӨЗБЕ-СӨЗ дәйексөз талап етіледі; ол дереккөзден автоматты ізделеді, табылмаса ұяшық белгіленеді. Бұл патентке қабілеттілік қорытындысы ЕМЕС және қаралған техника шектеулі. Ең бастысы: нәтиже шықпауы үлесіңіздің жаңа екенін ДӘЛЕЛДЕМЕЙДІ — тек осы тексеруде сәйкестік табылмағанын көрсетеді. Түпкілікті бағалау — патенттік сенім білдірілген өкілдің ісі.

Gödel тұжырымды қалай тексереді?

Gödel-дің ерекшелігі мәтін жазуда емес, мәтінді қорғауға болатындай етуде. Төмендегі құралдардың бәрі бір қағидаға бағынады: мәлімет болмаса, ол ойдан шығарылмайды — «тексеру мүмкін болмады» деп жазылады. Әр құралдың НЕ ІСТЕМЕЙТІНІН де көрсетеміз: шектеуін айтпаған әдіс сипаттамасы толық емес.

Тұжырым–Дәйек

Не істейді: Мәтініңіздегі СІЛТЕМЕСІ бар сөйлемдер үшін, сілтеме жасалған дереккөздің оны шынымен қолдайтынын бағалайды: қолдайды, ішінара, белгісіз, қолдамайды, қайшы келеді немесе дәйек жоқ.
Қалай тексереді: Дәйек мәтіні алдымен жүктелген PDF-тің толық мәтінінен, ол болмаса дереккөз аңдатпасынан алынады; қайсысы қолданылғаны («толық мәтін» немесе «аңдатпа») сізге айтылады, өйткені аңдатпа толық мәтінді білдірмеуі мүмкін. Бағалау ТЕК осы мәтінге қарап жасалады. Көрсетілген дәйексөз дереккөзден сөзбе-сөз ізделеді; табылмаса көрсетілмейді — дереккөзде жоқ сөйлем тырнақшаға алынып шыға алмайды.
Не істемейді: Толық мәтін де, аңдатпа да болмаса «дәйек жоқ» деп жазылады; болжам жасалмайды. Сілтемесіз сөйлемдер бағаланбайды, өйткені салыстыратын дереккөз жоқ. Бюджет шегі бар: ең көп сілтеме алған 8 дереккөз және дереккөз басына ең көп 4 сөйлем бағаланады; үлкенірек еңбектерде қалған сілтемелі сөйлемдер сол жүгіруде қаралмайды. Бұл — бағдар, рецензент шешімі емес.
Мысал: «X әдісі қате деңгейін 40% азайтады [3]» деген сөйлем, 3-дереккөзде тек 12% айтылса, «қолдамайды» деп белгіленеді және дереккөздегі тиісті сөйлем көрсетіледі.

Дәйектің орны

Не істейді: Тұжырымды қолдайтын үзіндінің дереккөздің дәл қай жерінде екенін табады.
Қалай тексереді: Дереккөздің толық мәтіні бөліктерге бөлініп векторға айналдырылады; тұжырымға ең жақын бөлік детерминистік ұқсастық есебімен таңдалады. Орын тілдік модельден сұралмайды — модель абзац нөмірін ойдан шығара алады, векторлық сәйкестік ойдан шығара алмайды.
Не істемейді: Тек толық мәтіні жүктеліп индекстелген дереккөздерде жұмыс істейді. Толық мәтін болмаса, «бөлік жоқ» деп адал айтылады; аңдатпа бойынша орын берілмейді.
Мысал: Тұжырым дереккөздің 4-бөліміндегі абзацқа сәйкес келсе, сол абзац пен ұқсастық мәні көрсетіледі — ашып өзіңіз оқи аласыз.

Жұмыстың цифрлық жолы

Не істейді: Жұмыстың жасалуындағы уақыт белгісі бар оқиғаларды бір оське шығарады: дереккөз қосу, нұсқа, пікір, генерация, дәйек тексерісі, экспорт.
Қалай тексереді: Кестеге тек нақты уақыт белгісі бар оқиғалар кіреді; белгісі анықталмайтын оқиға мүлде жасалмайды. Өлшем деректерінің бір бөлігінде уақыт белгісі болмағандықтан екі қабат қолданылады: оқиғалар және кезеңдер.
Не істемейді: Кесте құрылымы бойынша ТОЛЫҚ ЕМЕС және бұл экранда ашық жазылады: автоматты нұсқалар тазаланады, кейбір қадамдар жазылмайды. Сондықтан толықтық ешқашан мәлімделмейді. Ең бастысы: «жазба жоқ» мен «жасалмады» — бөлек нәрселер және бөлек көрсетіледі.
Мысал: Бір қадам бойынша жазбамыз болмаса, экран «жазба жоқ» дейді — «бұл қадам өткізілген» демейді, өйткені мұны білмейміз.

Генерация ізі

Не істейді: Біз жасаған мәтіннің қаншасы соңғы мәтінде сол күйінде қалғанын өлшейді.
Қалай тексереді: Бөлімді біз жасаған болсақ, жасалған мәтіннің саусақ ізін (5-грамм хэштерін) сақтаймыз, содан кейін соңғы мәтінде оның қаншасы сақталғанын санаймыз. Мәтіннің өзі сақталмайды.
Не істемейді: Белгілі бір сөйлемді адам жазды ма — ӨЛШЕУГЕ БОЛМАЙДЫ және бұл мәлімделмейді. Авторлық пайызы шығарылмайды. Өлшенетін жалғыз нәрсе — мәтіннің сақталуы; бұл жасанды интеллектіні анықтау емес.
Мысал: Бөлімді жасап, кейін қайта жазсаңыз, сақталу төмендейді. Бұл сіздің жазғаныңыздың дәлелі емес, біздің мәтінімізден аз қалғанының өлшемі.

Оқу орны нұсқаулығына сәйкестік

Не істейді: Таңдалған университет үлгісінің МӘТІНГЕ қатысты ережелерін тексереді: дәйексөз стилінің сәйкессіздігі, тақырып нөмірлеу, бос бөлімдер.
Қалай тексереді: Толығымен ережеге негізделген; жасанды интеллект қолданылмайды. Нұсқаулық әуелден ашық ереже, оны модельге түсіндірту тек қате қаупін қосады. Үлгілер оқу орындарының жарияланған нұсқаулықтарынан алынады және дереккөз сілтемесімен сақталады.
Не істемейді: Жиек, қаріп және жол аралығы МҰНДА тексерілмейді — олар экспортта қолданылады. Үлгі деректерінде жоқ ережелер (бет саны шегі, кіріспе бөлімдер реті, қосымша талаптары) тексерілмейді және экранда бір-бірлеп тізіледі.
Мысал: Нұсқаулық APA 7 талап етсе, ал жұмысыңызда IEEE таңдалған болса, бұл жоғары маңызды белгі ретінде көрсетіледі.

Бұрынғы техника тексерісі

Не істейді: Жұмысыңызда мәлімделген үлесті жарияланған патенттермен элемент бойынша салыстырады.
Қалай тексереді: Үлесіңізден техникалық элементтер бөлініп алынады және әрқайсысы табылғандар ішінен ең өзекті 8 құжатпен салыстырылады. Элемент құжатта «айқын ашылған» делінсе, құжат мәтінінен СӨЗБЕ-СӨЗ дәйексөз талап етіледі; ол дереккөзден автоматты ізделеді, табылмаса ұяшық белгіленеді.
Не істемейді: Бұл патентке қабілеттілік қорытындысы ЕМЕС және қаралған техника шектеулі. Ең бастысы: нәтиже шықпауы үлесіңіздің жаңа екенін ДӘЛЕЛДЕМЕЙДІ — тек осы тексеруде сәйкестік табылмағанын көрсетеді. Түпкілікті бағалау — патенттік сенім білдірілген өкілдің ісі.
Мысал: Әдісіңіздің бір бөлігі 2019 жылғы патентте айқын сипатталса, ұяшық «ашылған» деп белгіленіп, қасына патент мәтініндегі сөйлем қойылады.

Ортақ қағида: өлшенбейтін нәрсе мәлімделмейді

Бұл құралдардың ешқайсысы түпкілікті үкім шығармайды және ешқайсысы тілдік модельдің сенімділігін тексеру деп санамайды. Тізілімге сұрау жіберілмесе, нәтиже «жарамсыз» емес, «тексеру мүмкін болмады» болады. Өлшем жүргізілмесе, сан шығарылмайды. Түпкі шешім әрқашан автордікі.

Өз жұмысыңызда байқап көріңіз.

Gödel-ді ашу

ЖИ ұсынған дереккөздер нақты қандай жолмен қателеседі? Он екі қате класын бөлек бетте жаздық және әрқайсысында нені анықтап, нені анықтамайтынымызды көрсеттік.

Қате түрлері →