Отрицания в документах для ИИ проверяйте по тому, какие слова они меняют. «Не обязан отправлять копию» и «обязан не отправлять копию» — разные положения. Ниже предлагаем учебный разбор: участник сохраняет исходную фразу, проверяет её пересказ и показывает пример, на котором смысловая подмена становится заметной. Все правила и ситуации вымышлены; это не толкование договора или действующего регламента.
Какой результат получит участник?
Итог занятия — карта отрицаний для нескольких предложений. В каждой строке остаются цитата, предмет отрицания, допустимый пересказ и граница вывода. Коллега сможет проверить строку по исходному предложению, не восстанавливая рассуждение автора по памяти.
В проверке утверждений об отсутствии устанавливают, насколько полно просмотрен набор материалов, прежде чем писать «положения нет». Здесь все предложения уже даны целиком. Мы выясняем, что означает присутствующее в тексте отрицание. Не ищем пропущенные документы и не доказываем отсутствие нормы во всей организации.
Таблица условий и исключений помогает выбрать действие по признакам случая. Наше задание заканчивается до маршрутизации: нужно сохранить смысл отдельного положения при переформулировке. Даже понятная фраза не превращается от этого в действующее правило компании.
Все памятки, карточки и ошибочные ответы ниже придуманы редакцией AURMIND. Это не результаты эксперимента с сервисом и не клиентский кейс. Упражнение можно выполнить без компьютера; для него не нужны рабочие материалы и сведения о людях.
Факт. MAP 1.1 NIST AI RMF Playbook связывает понимание контекста с документированием назначения, условий применения, соответствующих норм и ожиданий. Здесь это общий ориентир для постановки задания. NIST не устанавливает предложенную карту отрицаний и не является источником её языковых примеров.
AI RMF и Playbook предназначены для добровольного применения; FAQ NIST отдельно подтверждает добровольность рамки. Это три узких внешних положения статьи. Учебные правила, примеры и порядок проверки предложены редакцией, а не взяты из NIST.
Мнение. Полезнее попросить участника показать, где именно пересказ стал сильнее исходника, чем требовать от него общего вердикта «нейросеть ошиблась». Так замечание получает проверяемый адрес и объяснение.
Расскажите, чему хотите научить команду. Обсудим задачи и формат обучения.
Сохраните предложение до пересказа
Начните с цитаты целиком. Не выписывайте одно «не»: рядом с ним могут стоять обязанность, действие или слово «все». В нашем упражнении именно их сочетание определяет границу пересказа. Пунктуацию и значимые слова сохраняют до обсуждения.
Затем ответьте на два вопроса: что отрицается и о каком объекте говорится? «Не требуется копия» сообщает о требовании. «Требуется отсутствие копии» задаёт другое условие. В вымышленном комплекте ниже эти значения будут прямо определены, чтобы участникам не пришлось угадывать намерение автора.
Не начинайте с улучшения стиля.
Если сначала заменить исходную фразу более гладкой, исчезнет материал для проверки. Например, «можно не отправлять» удобно читать, но нужно ещё выяснить, совпадает ли оно с данным положением и не добавляет ли разрешение, которого исходник не устанавливает. Поэтому для первого прохода используем узкий пересказ «эта фраза не устанавливает обязанности отправлять».
При работе с настоящим документом смысл обязанностей и полномочий проверяет ответственный специалист. Статья не определяет юридические последствия слов «не обязан». Наше занятие относится только к явно заданной системе вымышленных правил.
Полный учебный комплект и значения слов
Ведущий выдаёт памятку Н с четырьмя независимыми строками Н.1–Н.4. Они относятся к разным объектам; одна строка не дополняет другую. Памятка приведена полностью. Скрытых приложений, сроков и правил приоритета в этом упражнении нет.
Для Н.1 и Н.2 вводные отдельно задают значения. «Обязан отправлять» означает, что действие требуется. «Обязан не отправлять» означает запрет действия. «Не обязан отправлять» отрицает только требование отправки; само по себе не устанавливает ни запрета, ни разрешения. Это условные соглашения упражнения, не универсальный словарь нормативных текстов.
Для Н.3 и Н.4 задано одно и то же конечное множество: три учебные карточки А, Б и В. Метка М либо есть на каждой конкретной карточке, либо отсутствует; третьего состояния для метки в этом комплекте нет. Какие именно карточки имеют М, первая выдача не сообщает.
| Адрес | Полный текст |
|---|---|
| Н.1 | Составитель не обязан отправлять копию учебного листа Л координатору. |
| Н.2 | Составитель обязан не отправлять копию учебного листа Р координатору. |
| Н.3 | Не все карточки А, Б и В имеют метку М. |
| Н.4 | Ни одна карточка А, Б и В не имеет метки Т. |
Метки М и Т различны. Н.4 ничего не сообщает о М; Н.3 ничего не сообщает о Т. Лист Л и лист Р также различны. Нельзя обнаружить противоречие между Н.1 и Н.2, приписав им один объект.
Вопрос Q: «Что каждое предложение устанавливает и какой пересказ выходит за его границы?» Ответ не должен определять порядок отправки реальных документов. Здесь сохраняют смысл Н.1–Н.4 и показывают необоснованные добавления.
Попросите участников сначала составить четыре строки самостоятельно. Ключ следующего раздела удобно выдать после первой сдачи, чтобы объяснение не свелось к копированию таблицы.
Как заполнить карту отрицаний?
Для Н.1 отрицается обязанность отправить Л. Из этого по заданным значениям нельзя получить запрет отправки Л. Нельзя получить и безусловное разрешение: вводные прямо не позволяют считать отсутствие требования разрешением. Другие правила о Л в комплекте не заданы, поэтому решение об отправке оставляют за пределами Q.
Н.2 устроена иначе.
Она требует не отправлять Р, то есть по определению вводных запрещает отправку Р координатору. Пересказ «отправка Р необязательна» слишком слаб: он теряет установленный запрет. При этом ни исходник, ни наш пересказ не говорят о другом адресате или другом листе.
Для Н.3 важно положение слова «все». Утверждение «все три имеют М» отрицается. В заданном конечном наборе с двумя состояниями метки это означает: хотя бы одна из трёх карточек не имеет М. Но предложение не называет такую карточку и не сообщает точного количества карточек без М.
Нулевое число карточек с М не исключено. Все три без М тоже удовлетворяют Н.3. Поэтому пересказ «некоторые имеют М, а некоторые не имеют» добавляет наличие М хотя бы у одной карточки. Этого в Н.3 нет.
| Адрес | Что отрицается или требуется | Допустимый узкий пересказ | Что не установлено |
|---|---|---|---|
| Н.1 | Обязанность отправить Л | Требование отправки Л этим положением не установлено | Запрет или разрешение отправки Л |
| Н.2 | Требуется не отправлять Р | Отправка Р координатору запрещена по вводным | Действия с Л и отправка Р иным адресатам |
| Н.3 | Наличие М у всех трёх | Хотя бы одна из А, Б, В без М | Какая именно; сколько всего без М; есть ли М хотя бы у одной |
| Н.4 | Наличие Т у любой из трёх | А, Б и В — каждая без Т | Метка М и любые карточки вне тройки |
Для Н.4 разрешён поэлементный пересказ: «А без Т, Б без Т, В без Т». Это сохраняет отрицание для каждой карточки заданного множества. Пересказ «в учебных материалах вообще не бывает Т» расширяет область за пределы тройки и потому не принимается.
В карте остаются разные виды пробелов.
Н.3 даёт существование карточки без М, но не её имя. Это не тот же пробел, что отсутствие сведений о разрешении отправки Л. В первом случае можно попросить конкретный состав меток; во втором нужно отдельное основание для действия. Один универсальный вопрос «уточните всё» скрывает эту разницу.
Проверьте пересказ контрпримером
Для Н.3 ведущий предлагает три придуманные раскладки меток М. Это альтернативные варианты, а не последовательные изменения одного набора. Они не добавляются к первой выдаче как факты о конкретных карточках.
В раскладке К1 метка М есть у А и Б, у В её нет. В К2 метки М нет ни у А, ни у Б, ни у В. В К3 метка М есть у всех трёх. Н.3 совместима с К1 и К2, но исключает К3.
Теперь проверим пересказ «ни одна карточка не имеет М». Он подходит К2, но не К1. При этом К1 удовлетворяет исходной Н.3. Значит, пересказ сузил множество допустимых раскладок и добавил более сильное утверждение.
Пересказ «ровно одна карточка без М» подходит К1, но исключает К2. Он тоже сильнее Н.3. А фраза «у А нет М» не следует из Н.3: в К1 у А метка есть. Ни один из этих дефектов не исправляется добавлением уверенного тона или ссылки на Н.3.
Для упражнения достаточно предъявить подходящую исходнику раскладку, которая нарушает предложенный пересказ. Это показывает конкретную подмену на нашем конечном наборе. Мы не заявляем универсальный алгоритм проверки смысла произвольного текста.
Не превращайте альтернативу в наблюдение.
К1 не доказывает, что в первой выдаче М действительно есть у А и Б. Она только показывает, что такой вариант не исключён. Если участник вписал К1 как установленный состав, он перенёс вспомогательный пример в поле фактов.
Что поручить нейросети и как сверить ответ?
Помощнику можно поручить черновое разложение предложений по полям. Возможность поручения не означает, что конкретная модель обязательно выполнит его правильно. Текст статьи не измеряет способность сервиса понимать отрицания и не сравнивает модели.
Предлагаем запрос для занятия:
Прочитай только вводные и полную памятку Н.1–Н.4. Для каждого предложения сохрани цитату, назови предмет отрицания и дай узкий пересказ без добавления разрешений, запретов или точных количеств. Значения обязанностей используй только из вводных. Не переноси сведения между Л и Р, М и Т. Для Н.3 покажи, что известно о трёх карточках и что неизвестно. Раскладки К1–К3 используй только как альтернативные проверки, не как факты первой выдачи. Не меняй исходную памятку.
После запроса передайте вводные целиком и таблицу Н.1–Н.4. Если оставить только предложения без заданных значений, получится другое задание. Его нельзя проверять тем же ключом молча.
Сначала сверяйте цитаты.
Затем отдельно проверьте каждый пересказ: не потерялось ли слово «обязан», не заменено ли «не все» на «ни один», не появились ли имя карточки и точное количество без основания. Наконец, отделите установленные сведения от примеров возможной раскладки. Верный ответ в одном поле не оправдывает ошибку в соседнем.
Если проводите реальный запуск, сохраните переданные материалы, запрос и полученный ответ. Придуманные ниже О1–О4 нельзя записывать в журнал как наблюдения модели. Данные рабочего процесса передают только в согласованном организацией формате; для открытого упражнения достаточно вымышленных текстов.
Четыре ошибочных ответа для разбора
О1: «Н.1 запрещает отправлять Л». В исходнике отрицается обязанность, а во вводных это отдельно отделено от запрета. Исправление: «Н.1 не устанавливает требования отправки Л; решение о допустимости отправки из неё не получаем».
О2: «Р можно отправить по желанию, поскольку Н.2 снимает обязанность». Здесь переставлены смысловые связи: Н.2 не снимает обязанность, а требует не отправлять Р. По вводным это запрет. Слова «по желанию» добавляют разрешение, которого нет и которое не соответствует заданному запрету.
О3: «Из Н.3 известно, что ровно две карточки с М». Раскладка К2 удовлетворяет Н.3, хотя в ней карточек с М вообще нет. Поэтому точное количество не установлено. Исправленный ответ сохраняет только существование хотя бы одной карточки без М.
О4: «Н.4 доказывает, что М нет ни у одной карточки». Цитата относится к Т. Это подмена предмета, а не тонкость отрицания. Восстановите название метки до дальнейшего рассуждения; правильная логическая форма с неправильным объектом всё равно не отвечает Q.
Все четыре ответа — редакционные антипримеры. Их число не служит показателем частоты ошибок ИИ. Не нужно приписывать им причины вроде невнимательности модели: реального поведения системы здесь не наблюдали.
Как дополнительное сведение меняет карту?
После первой сдачи ведущий выдаёт уточнение У: «У А метка М есть. У Б метка М есть». У относится к тому же набору А, Б, В и совместимо с Н.3. Сведений о метке Т, листах Л и Р оно не меняет.
Теперь из Н.3 вместе с У следует, что у В метки М нет. Если бы М была и у В, она была бы у всех трёх, что противоречит Н.3. Только на этом этапе для данного набора установлено точное распределение М: А и Б с меткой, В без неё.
Сохраните прежнюю строку карты.
В новой строке укажите оба основания: Н.3 и У. Запись «мы с самого начала знали, что В без М» стирает разницу между первой и второй выдачей. Совпадение полученного распределения с проверочной К1 не делает К1 прежним доказательством: раньше она была только альтернативой.
Н.1 по-прежнему не устанавливает запрет или разрешение отправки Л. Н.2 по-прежнему запрещает отправку Р координатору. Н.4 по-прежнему задаёт отсутствие Т у каждой из трёх карточек. Новые сведения о М не меняют эти независимые положения.
Как принять учебную работу?
Попросите участника передать карту коллеге вместе с полной памяткой и вводными. Коллега должен воспроизвести каждый вывод по указанным словам и различить первую выдачу с уточнением У. Название столбца само по себе не заменяет объяснения.
Ключ первой выдачи: для Л отрицается требование отправки без решения о разрешении; для Р задан запрет отправки координатору; по М хотя бы одна карточка без метки, но состав не установлен; по Т все три без метки. К1 и К2 совместимы с Н.3, К3 исключена. После У известно, что только В без М среди трёх; Н.4 и положения о листах не меняются.
Участник также должен найти, почему «не все» не позволяет написать «ровно одна без метки». Для этого подходит К2. Если объяснение держится только на запомненном названии логической операции, верните его к раскладкам и исходным словам.
Приёмка относится к выполнению одного задания. Она не определяет профессиональную пригодность сотрудника, безопасность сервиса или готовность модели разбирать любые документы. Рабочие решения принимают по утверждённым материалам и полномочиям организации.
Для обсуждения корпоративного обучения работе с ИИ опишите, какие формулировки команда пересказывает и на каком шаге меняется их смысл. Можно начать с описания задачи без передачи внутренних документов. Реальные примеры затем разбирают в согласованном формате с ответственным за содержание.
Частые вопросы
Можно ли автоматически заменить «не обязан» на «может»?
В нашем упражнении — нет. Вводные отрицают только требование и отдельно не устанавливают разрешение. Для настоящего документа значение формулировки проверяют с ответственным за его содержание; это занятие не даёт универсального правила юридического толкования.
Означает ли «не все» наличие хотя бы одного положительного случая?
В заданной Н.3 — нет. Раскладка К2, где М отсутствует у всех трёх, совместима с предложением. Для вывода о наличии М нужно дополнительное сведение, например У. Не переносите это уточнение в первую выдачу задним числом.
Зачем сохранять исходную фразу, если пересказ уже проверен?
Она позволяет повторить проверку и увидеть предмет отрицания. Без Н.2 сложно заметить, что «не отправлять» относилось именно к Р и координатору. Карта остаётся связанной с текстом, а не становится самостоятельной памяткой о действиях компании.
Источники
- NIST AI RMF Playbook: MAP — MAP 1.1 о понимании и документировании контекста; не источник языковой карты и вымышленных правил.
- NIST AI RMF Playbook — добровольность применения ресурса.
- NIST AI Risk Management Framework FAQs — добровольность рамки. Остальные примеры и порядок занятия разработаны редакцией.
