Используйте префиксные операторы вместо логических операторов

Эти правила не совсем просты для понимания. Они, безусловно, более сложны, чем таблицы истинности логической логики, но это потому, что они более мощные. Приведенные ниже примеры показывают, как легко реализовать «чистую» булеву логику с объектами BooleanQuery, но они лишь демонстрируют то, что возможно с классом BooleanQuery:

• Соединение: (X ∧ Y)

  BooleanQuery q = new BooleanQuery();
  q.add(X, Occur.MUST);
  q.add(Y, Occur.MUST);
  

• Дизъюнкция: (X ∨ Y)

  BooleanQuery q = new BooleanQuery();
  q.add(X, Occur.SHOULD);
  q.add(Y, Occur.SHOULD);
  

• Отрицание: (X¬Z)

  BooleanQuery q = new BooleanQuery();
  q.add(X, Occur.SHOULD);
  q.add(Z, Occur.MUST_NOT);
  

Парсер запросов: операторы префиксов

В Lucene QueryParser (и всех других основанных на нем синтаксических анализаторах, таких как DisMax и EDisMax) операторы «префикса» «+» и «-» отображаются непосредственно на флаги Occur.MUST и Occur.MUST_NOT, в то время как отсутствие префикса сопоставляется с флагом Occur.SHOULD по умолчанию. (Если у вас есть предложения по синтаксису односимвольного префикса, который можно использовать для явного указания Occur.SHOULD, пожалуйста, прокомментируйте ваши предложения, я пытался придумать хороший вариант в течение многих лет.) Поэтому, используя синтаксис префикса, Вы можете выразить все перестановки, которые поддерживает класс BooleanQuery, а не просто логическую логику:

• (+ X + Y) … Соединение, т.е.: (X ∧ Y)

  BooleanQuery q = new BooleanQuery();
  q.add(X, Occur.MUST);
  q.add(Y, Occur.MUST);
  

• (XY) … дизъюнкция, то есть: (X ∨ Y)

  BooleanQuery q = new BooleanQuery();
  q.add(X, Occur.SHOULD);
  q.add(Y, Occur.SHOULD);
  

• (+ X -Z) … Отрицание, то есть: (X¬Z)

  BooleanQuery q = new BooleanQuery();
  q.add(X, Occur.MUST);
  q.add(Z, Occur.MUST_NOT);
  

• ((XY) -Z) … ((X ∨ Y) ¬ Z)

  BooleanQuery q = new BooleanQuery();
  BooleanQuery inner = new BooleanQuery();
  inner.add(X, Occur.SHOULD);
  inner.add(Y, Occur.SHOULD);
  q.add(inner, Occur.SHOULD);
  q.add(Z, Occur.MUST_NOT);
  

• (XY-Z) … Не выражается в простой логической логике

  BooleanQuery q = new BooleanQuery();
  q.add(X, Occur.SHOULD);
  q.add(Y, Occur.SHOULD);
  q.add(Z, Occur.MUST_NOT);
  

Обратите особое внимание на различия между двумя последними примерами. (XY -Z) — это один объект BooleanQuery, содержащий три предложения, а ((XY) -Z) — это BooleanQuery, содержащий два предложения, одно из которых является вложенным BooleanQuery, содержащим два предложения. В обоих случаях документ должен соответствовать либо «X», либо «Y», и он не может совпадать с «Z» (поэтому набор документов, сопоставленный каждому запросу, будет одинаковым), и в обоих случаях оценка документа будет выше, если совпадает с предложениями «X» и «Y»; но из-за различий в их структуре оценки для этих запросов будут разными для каждого документа. В частности, коэффициент координат приведет к тому, что документы, соответствующие только одному из «X» или «Y» (но не обоим), будут иметь чрезвычайно разные оценки по каждому из этих запросов.(Предполагается, что используется DefaultSogeneity ; можно было бы написать пользовательское подобие, чтобы заставить баллы быть эквивалентными)

Парсер запросов: «Булевы операторы»

Анализатор запросов также поддерживает так называемые «логические операторы», которые также могут использоваться для выражения логической логики, как показано в следующих примерах:

• (X И Y) … Соединение, то есть: (X ∧ Y)

  BooleanQuery q = new BooleanQuery();
  q.add(X, Occur.MUST);
  q.add(Y, Occur.MUST);
  

• (X ИЛИ Y) … дизъюнкция, то есть: (X ∨ Y)

  BooleanQuery q = new BooleanQuery();
  q.add(X, Occur.SHOULD);
  q.add(Y, Occur.SHOULD);
  

• (X НЕ Z) … Отрицание, то есть: (X ¬ Z)

  BooleanQuery q = new BooleanQuery();
  q.add(X, Occur.SHOULD);
  q.add(Z, Occur.MUST_NOT);
  

• ((X И Y) ИЛИ Z) … ((X ∧ Y) ∨ Z)

  BooleanQuery q = new BooleanQuery();
  BooleanQuery inner = new BooleanQuery();
  inner.add(X, Occur.MUST);
  inner.add(Y, Occur.MUST);
  q.add(inner, Occur.SHOULD);
  q.add(Z, Occur.SHOULD);
  

• ((X ИЛИ Y) И Z) … ((X ∨ Y) ∧ Z)

  BooleanQuery q = new BooleanQuery();
  BooleanQuery inner = new BooleanQuery();
  inner.add(X, Occur.SHOULD);
  inner.add(Y, Occur.SHOULD);
  q.add(inner, Occur.MUST);
  q.add(Z, Occur.MUST);
  

• (X И (Y НЕ Z)) … (X ∧ (Y ¬ Z))

  BooleanQuery q = new BooleanQuery();
  BooleanQuery inner = new BooleanQuery();
  inner.add(Y, Occur.MUST);
  inner.add(Z, Occur.MUST_NOT);
  q.add(X, Occur.MUST);
  q.add(inner, Occur.MUST);
  

Обратите внимание, как важно использовать скобки для объединения нескольких операторов, чтобы генерировать запросы, которые правильно моделируют логическую логику. Как упоминалось ранее, класс BooleanQuery поддерживает произвольное количество предложений, поэтому (X OR Y OR Z) представляет собой один BooleanQuery с тремя предложениями — он не эквивалентен ни ((X OR Y) OR Z), ни (X OR ( Y ИЛИ Z)), потому что они приводят к BooleanQuery с двумя предложениями, одно из которых является вложенным BooleanQuery. Как упомянуто выше при обсуждении префиксных операторов, оценки по каждому из этих запросов будут различаться в зависимости от того, какие пункты соответствуют каждому документу.

Ситуация определенно становится очень запутанной, когда эти «логические операторы» используются не так, как описано выше. В некоторых случаях это происходит из-за того, что анализатор запросов пытается простить использование операторов в стиле «естественный язык», что многие системы булевой логики считают ошибкой синтаксического анализа. В других случаях поведение странно эзотерическое:

• Запросы анализируются слева направо
• NOT устанавливает флаг Occurs в предложении, чтобы он был прав на MUST_NOT
• И изменит флаг Occurs в предложении, оставив его ДОЛЖНЫ, если только он не был установлен в MUST_NOT.
• И устанавливает флаг Occurs предложения, чтобы он был ДОЛЖЕН
• Если оператор по умолчанию синтаксического анализа запросов был установлен в положение «А»: ИЛИ изменит Встречается флаг пункта , чтобы оно осталось SHOULD , если он не был уже установлен в MUST_NOT
• ИЛИ устанавливает флаг Occurs в условии, что он ДОЛЖЕН