The Path-Indexing Method For Indexing Terms

Citation

Stickel, M. E. (1989). The path-indexing method for indexing terms. SRI INTERNATIONAL MENLO PARK CA ARTIFICIAL INTELLIGENCE CENTER.

Abstract

The path-indexing method for indexing first-order predicate calculus terms is a refinement of the standard coordinate-indexing method. Path indexing offers much faster retrieval at a modest cost in space. Path indexing is compared with discrimination-net and codeword indexing. While discrimination-net indexing may often be the preferred method for maximum speed, path indexing is an effective alternative if discrimination-net indexing requires too much space or in certain cases in which discrimination-net indexing performs particularly poorly.


Read more from SRI

  • An arid, rural Nevada landscape

    Can AI help us find valuable minerals?

    SRI’s machine learning-based geospatial analytics platform, already adopted by the USGS, is poised to make waves in the mining industry.

  • Two students in a computer lab

    Building a lab-to-market pipeline for education

    The SRI-led LEARN Network demonstrates how we can get the best evidence-based educational programs to classrooms and students.

  • Code reflected in a man's eyeglasses

    LLM risks from A to Z

    A new paper from SRI and Brazil’s Instituto Eldorado delivers a comprehensive update on the security risks to large language models.