Using Computation Tree Logic for Intelligent Information Search on the Web

Using Computation Tree Logic for Intelligent Information Search on the Web

International Journal of Computational Intelligence and Applications - -2002

Authors

Di Sciascio Eugenio, Donini Francesco M., Mongiello Marina

Abstract

Web engines crawl hyperlinks to search for new documents; yet when they index discovered documents they basically revert to conventional information retrieval models and concentrate on the indexing of terms in a single document. We propose to overcome such limits with an approach based on temporal logic. By modeling a web site as a finite state transition system we are able to define complex and selective queries over hyperlinks with the aid of Computation Tree Logic operators. We deployed the proposed approach in a prototype system that allows users pose queries in natural language. Queries are automatically translated in Computation Tree Logic, and the answer returned by our system is a set of paths. Experiments carried out with the aid of human experts show improved retrieval effectiveness with respect to current search engines.

DOI

https://doi.org/10.1142/s1469026802000579

BibTex references

@Article{DDM02,
  author       = "Di Sciascio, Eugenio and Donini, Francesco M. and Mongiello, Marina",
  title        = "Using Computation Tree Logic for Intelligent Information Search on the Web",
  journal      = "International Journal of Computational Intelligence and Applications",
  number       = "3",
  volume       = "2",
  pages        = "245--253",
  year         = "2002",
  url          = "http://sisinflab.poliba.it/Publications/2002/DDM02"

}