русских писателей. Предположим, что поступил запрос
Какие книги написаны Булгаковым?, который
необходимо проанализировать. Переменной в данном
вопросе является „книги" (обозначим ее через у).
Другой частью предложения является высказыватель-
ная форма, связывающая переменную „книги"'и зна-
чение „Булгаков" и отражающая тот факт, что
описываются книги, написанные Булгаковым. Обозна-
чим эту форму Б(у) = ,,у написана Булгаковым".
Теперь мы ясно видим, что поиск по исходному
запросу свелся к нахождению таких книг а, что
высказывание Б (а) истинно. Иными словами, поиск
свелся к определению множества истинности Б (у).
Для приближения введенной формы к формам,
которые использовались при индексировании доку-
ментов, отметим тот факт, что Б (у) можно получить
из формы R
1
(x, у) = ,,х написал книгу у" путем под-
становки вместо х значения „Булгаков". Поэтому
окончательно наш запрос сформулируется в виде:
найти множество истинности высказывательной
формы R
1
(Булгаков, у).
Пример 2. Осуществим поиск в мини-ИПС по
запросу: Какие книги написаны Булгаковым или
Блоком, но не Ильфом и Петровым? Анализ этого
запроса проводится так же, как и в примере 1, одна-
ко здесь уже встретилось несколько поисковых
признаков. Как и ранее, рассмотрим в качестве пере-
менной у дескриптор „книги" и формы Б(у)=,,у
написана Булгаковым", БЛ(у)=,,у написана Блоком",
ИП(у) = „у написана Ильфом и Петровым". Тогда
можно представить запрос в виде (Б (у) БЛ(у))
и отыскать множество истинности этой
сложной высказывательной формы.
Для формулирования запроса на ИПЯ, близком к
используемому при индексировании документов в
мини-ИПС, заметим, что Б (у) R
1
(Булгаков, у),
БЛ(у) R
1
(Блок,у), а ИП(у) можно представить
как R
1
(Ильф, у) R
1
(Петров, у). Поэтому запрос
запишется как (R
1
(Булгаков, у) R
1
(Блок, у))
Построенное выра-
жение можно упростить, использовав закон де Мор-
гана Поэтому в окончательной форме
исходный запрос сформулируется в виде: найти мно-
жество истинности высказывательной формы
73