Using Computation Tree Logic for Intelligent Information Search on the Web
International Journal of Computational Intelligence and Applications - -2002Authors
Di Sciascio Eugenio,
Donini Francesco M.,
Mongiello MarinaAbstract
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/s1469026802000579BibTex 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"
}