Cтраница 1
Спецификационный список показывает, какая часть накопленных в памяти данных относится к ответу на поставленный вопрос. Устройство обработки выделяет из исходных данных подходящую информацию и в форме списочной структуры подает ответ на выходное устройство. [1]
Понятие спецификационного списка позволяет определить класс вопросов, на которые система Бейсбол способна дать ответ. Система может ответить на все вопросы, спецификации которых состоят из пар признак-оценка, узнаваемых программой. При этом признаки могут быть производными или модифицированными, а оценки - утвердительными или вопросительными. Спецификационный список может быть образован любой комбинацией пар признак-оценка. Многие из этих комбинаций будут бессмысленными, но на каждую из них машина может дать некоторый ответ. Так как оценки могут принимать числовые значения, множество допустимых вопросов бесконечно. [2]
При образовании спецификационного списка лингвистическая часть программы использует определения, выраженные парами признак-оценка, хранящиеся в ее словаре. Полное определение слова или идиомы включает: а) часть речи - для выяснения структуры вопроса; б) значение - для анализа содержания; в) указание о том, не является ли данное слово вопросительным, например кто и сколько; г) указание о том, не входит ли данное слово в какую-нибудь из уже записанных идиом. Идиомой является любой связный набор слов, функционирующий как целое и имеющий единое определение. Для слов и идиом имеются отдельные словари. [3]
При составлении спецификационного списка вопроса для исполнительной программы подпрограмма анализа содержания использует результаты синтаксического анализа и значения из словаря. Прежде всего выполняются все подпрограммы, встреченные в значении любого слова или идиомы вопроса. Есть два основных типа таких подпрограмм: подпрограммы, оперирующие со значением самого слова, и подпрограммы, которые некоторым образом изменяют значение другого слова. Подпрограмма первого типа выбирает соответствующее значение многозначного слова. Подпрограммы второго типа изменяют признак или оценку соответствующего синтаксически связанного слова. Одна из таких подпрограмм, например, на место оценки главного существительного в его группе ставит свою оценку. [4]
Фундаментальным для работы программы является понятие спецификационный список, или спецификация. [5]
По существу, структура ролевого фрейма совпадает со структурой спецификационного списка, рассмотренного нами в начале главы. Для полного перехода от структуры фрейма к спецификационному списку нужно еще кроме указания имени ролей оставить специальные места для имен конкретных объектов, замещающих эти роли. [6]
ФИО Иванов; год рождения 1934; пол м; специальность слесарь) отражает некоторый конкретный спецификационный список. Если на вход системы поступает спецификационный список вида ( ФИО. [7]
Ясно, что если в первом случае поиск ответа происходил путем последовательного сравнения последней пози-ции спецификационного списка запроса с последними пози-спецификационных списков, хранящихся в М и значений первой позиции пользователю при совпа-содержимого четвертых позиций, то в рассматривае-сейчас случае дело обстоит сложнее. Для каждого Ч пецификационного списка, хранящегося в М, для которого содержимое третьей и четвертой позиций совпадает с содержимым этих позиций в спецификационном списке запроса, необходимо еще проверить условие, сформулированное во второй позиции запроса. Она и реализуется на прагматическом этапе работы системы. [8]
Смысл исполнительной программы заключается в поиске по всевозможным траекториям, определяемым исходными данными, соответствия для всех пар признак-оценка спецификационного списка. Если на данной траектории такое соответствие найдено, то все пары, имеющие отношение к данной спецификации, заносятся в так называемый результирующий список. [9]
ФИО Иванов; год рождения 1934; пол м; специальность слесарь) отражает некоторый конкретный спецификационный список. Если на вход системы поступает спецификационный список вида ( ФИО. [10]
Различают символические и конкретные фреймы. Структура ролевого фрейма (6.20) совпадает со структурой спецификационного списка. [11]
Отличия системы Бейсбол как от систем автоматического перевода, так и от систем информационного поиска вполне очевидны. Основной задачей лингвистической части программы является осмысление вопроса, выражаемое в построении канонического спецификационного списка. Для адекватного представления смысла необходимо избавиться от неоднозначностей и рассмотреть синтаксическую структуру вопроса. Задача же программы перевода совсем другая: перевести входное сообщение с одного естественного языка на другой. При этом учитывается значение слов и исключаются двусмысленности в той степени, в какой это требуется, чтобы обеспечить правильность перевода. [12]
Поиск соответствия не всегда прост. Производные и некоторые модифицированные признаки зависят от ряда признаков на некоторой траектории, и прежде чем могут быть подобраны соответствующие оценки, необходима некоторая обработка данных. Если, например, в спецификационный список входит пара Home Team Red Sox ( местная KOM3Hfla Red Sox), то для конкретной траектории нужно прежде всего по месту проведения игр и командам найти местную команду, а лишь затем можно выяснить, подходит ли оценка Red Sox к оценке найденного признака. Специальной обработки требуют и подсписки, так как при различных перестановках различные выражения, входящие в подсписок, должны иногда рассматриваться раздельно, а иногда - как составляющие одно целое. [13]
Фундаментальным для работы программы является понятие спецификационный список, или спецификация. Лингвистическая часть программы, анализируя вопрос, формирует спецификационный список Q. Этот Список управляет действиями исполнительной части. [14]
Понятие спецификационного списка позволяет определить класс вопросов, на которые система Бейсбол способна дать ответ. Система может ответить на все вопросы, спецификации которых состоят из пар признак-оценка, узнаваемых программой. При этом признаки могут быть производными или модифицированными, а оценки - утвердительными или вопросительными. Спецификационный список может быть образован любой комбинацией пар признак-оценка. Многие из этих комбинаций будут бессмысленными, но на каждую из них машина может дать некоторый ответ. Так как оценки могут принимать числовые значения, множество допустимых вопросов бесконечно. [15]