Математические методы в библиотечной работе. Елизаров А.М - 74 стр.

(R1(Булгаков, у) R1(Блок, у))
(Петров, y)).
   Аналогичным образом в сложных тематических
запросах могут применяться другие логические опе-
рации. При этом построенные логические выражения
должны быть упрощены и проанализированы со сле-
дующей точки зрения: отказ в выполнении той или
иной части запроса приводит к тому, что весь запрос
оказывается ненужным. Например, если в запросе из
примера 1 в качестве у взять „Золотой теленок", то
правая часть высказывания R1 (Ильф, Золотой теле-
нок) R1 (Петров, Золотой теленок) является тожде-
ственно ложной, следовательно, и весь запрос будет
ложным и анализ левой части не нужен.
   Пример 3. Проанализируем запрос: Все книги
Булгакова, вышедшие в 1978 году. Для формули-
ровки этого запроса уже нужны две формы: R1 (Бул-
гаков, у) = „Булгаков написал книгу у", R2(x, 1978)= =
„книга х вышла в 1978 году". Символически наш
запрос может быть записан как условное высказы-
вание: если Булгаков написал книгу у, то она (книга)
вышла в 1978 году, т. е. R1 (Булгаков, у)→ R2 (у, 1978). Но
в запросе идет речь о всех книгах Булгакова, поэтому
к отмеченной выше высказывательной форме должен
быть п р и м е н е н квантор вс е общнос ти :
у(R1(Булгаков, у)→R2(y, 1978)) и поиск по исходному
запросу заключается в проверке: истинно или ложно
для М = {D1, D2, D3, D4} высказывание                 у М
(R1(Булгаков, у)→R2(у, 1978)).
   Разобранные в примерах способы индексирования
и записи запросов наиболее приемлемы при поиске,
производимом по принципу „все или ничего", т. е.
когда выдаются документы, в точности соответству-
ющие поисковым признакам. Указанная жесткость
ограничивает рамки применения ИПС с подобными
методами индексирования. В настоящее время раз-
рабатываются ИПС, в которых индексирование за-
просов осуществляется путем частичного или даже
полного отказа от логической стратегии поиска.
Однако многочисленные ИПС на перфокартах с крае-
вой перфорацией и малые ИПС вполне удовлетвори-
тельно обслуживаются путем указанных выше спосо-
бов индексирования документов и запросов.