文書検索システムは、所定の方法で文書とユーザーのクエリの照合をすることで情報を探す。これは、エキスパートシステムが論理的知識ベースでの推論に基づいて質問に答えるのと対照的である。文書検索システムは、文書データベース、全文索引を構築するための分類アルゴリズム、データベースへのアクセス・インタフェースから構成される。インターネット検索エンジンは文書検索の典型的応用である。今日使われている文書検索システムは、単純な二値判断システムから、統計学的技法や自然言語処理技法を使ったシステムまで、様々なものがある。検索手法.形式に基づく文書検索は、文字列検索における部分文字列照合のように、テキストの正確な統語的属性を扱う。テキストは必ずしも自然言語ではなく、例えば分子生物学における化学式の照合を行うシステムもある。形式に基づく索引としては、例えば接尾辞木アルゴリズムがある。内容に基づく手法は、文書間や文書の部分間での意味的なつながりを扱い、クエリと文書群との意味的つながりを扱う。内容に基づく文書検索システムは、転置インデックスアルゴリズムを使っていることが多い。テキスト検索無矛盾律無矛盾律(むむじゅんりつ、)は、論理学の法則であり、アリストテレスによれば「ある事物について同じ観点でかつ同時に、それを肯定しつつ否定することはできない」こと。矛盾律(むじゅんりつ、)とも。命題論理で表すと、次のようになる。解釈.アリストテレスとトマス・アクィナスによれば、これは基本的な思考原理であり、あまりにも基本的であるため、無矛盾律に反対する人がいたとしてもその人物も無矛盾律を無意識に使っていることを指摘することで納得させることができる。アリストテレスは、あらゆる命題は真でありかつ偽であると主張するような人の場合も考えた。そして、そんな人にとっては、どんな道もメガラに到達することは真であるはずなのに、なぜアテネからメガラに行くときに特定の道を選ぶのかを尋ねる、とした。無矛盾律は、「絶対的真理」の検証によく使われる。例えばキリスト教などの宗教は、宇宙に唯一絶対の神がいるという信念に基づいている。他の宗教は多数の神の存在を主張している。論理の原則である無矛盾律に従えば、多数の神がいるかいないかのどちらかであり、両方が共に成り立つことはない。証明・反証不能性への疑義.