| dbo:abstract |
In computer science, a term index is a data structure to facilitate fast lookup of terms and clauses in a logic program, deductive database, or automated theorem prover. (en) 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 systemem 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: * * * drzewo dyskryminacyjne (teoria obliczeń) * substitution tree (pl) |
| dbo:wikiPageID |
2930391 (xsd:integer) |
| dbo:wikiPageLength |
4954 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1032143078 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:Deductive_database dbr:SRI_International dbr:Clause_(logic) dbr:Computer_science dbr:Trie dbr:Logic_programming dbr:Handbook_of_Automated_Reasoning dbr:Artificial_Intelligence_Center dbc:Logic_programming dbr:Automated_theorem_prover dbc:Data_structures dbc:Theorem_proving_software_systems dbr:Discrimination_tree dbr:Code_tree dbr:Context_tree dbr:Feature_vector_indexing dbr:Path_indexing dbr:Relational_path_indexing dbr:Substitution_tree |
| dbp:wikiPageUsesTemplate |
dbt:Reflist |
| dct:subject |
dbc:Logic_programming dbc:Data_structures dbc:Theorem_proving_software_systems |
| rdfs:comment |
In computer science, a term index is a data structure to facilitate fast lookup of terms and clauses in a logic program, deductive database, or automated theorem prover. (en) 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 systemem 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. Ważniejsze algorytmy indeksowania termów to: * * * drzewo dyskryminacyjne (teoria obliczeń) * substitution tree (pl) |
| rdfs:label |
Indeksowanie termów (pl) Term indexing (en) |
| owl:sameAs |
freebase:Term indexing yago-res:Term indexing wikidata:Term indexing dbpedia-pl:Term indexing https://global.dbpedia.org/id/g5XV |
| prov:wasDerivedFrom |
wikipedia-en:Term_indexing?oldid=1032143078&ns=0 |
| foaf:isPrimaryTopicOf |
wikipedia-en:Term_indexing |
| is dbo:wikiPageWikiLink of |
dbr:Prolog dbr:Vampire_(theorem_prover) dbr:E_(theorem_prover) dbr:Otter_(theorem_prover) dbr:Comparison_of_Prolog_implementations |
| is foaf:primaryTopic of |
wikipedia-en:Term_indexing |