Indeksowanie termów

Indeksowanie termów to zagadnienie polegające na wyszukaniu w pewnym zbiorze termów tych termów (dowolnego albo też wszystkich), które są w pewnej relacji z danym termem. Zagadnieniem temu w szczególności poświęcony jest dział z pogranicza informatyki i matematyki zwany: Systemy Wyszukiwania Informacji.

Indeksowanie termów ma wiele zastosowań, ale w większości typowych problemów termów jest mało i są proste, a ich zbiór jest stały.

Zupełnie inaczej ma się to w przypadku systemów automatycznego dowodzenia twierdzeń - tam termów jest dużo, są złożone, i cały czas następuje ich dodawanie i kasowanie. Dobre algorytmy indeksowania termów są więc kluczowe dla wydajności takich systemów.

Ważniejsze algorytmy indeksowania termów to:

• code tree
• context tree
• drzewo dyskryminacyjne (teoria obliczeń)
• substitution tree