PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Meghini C., Spyratos N., Tzitzikas Y. Abduction for Accessing Information Sources. In: Fundamenta Informaticae, vol. 83 (4) pp. 355 - 387. IOS Press, 2008.
 
 
Abstract
(English)
We consider a general form of information sources, consisting of a set of objects classi- fied by terms arranged in a taxonomy. The query-based access to the information stored in sources of this kind, is plagued with uncertainty, due, among other things, to the possible linguistic mismatch between the user and the object classification. To overcome this uncertainty in all situations in which the user is not finding the desired information and is not willing or able to state a new query, the study proposes to extend the classification, in a way that is as reasonable as possible with respect to the original one. By equating reasonableness with logical implication, the sought extension turns out to be an explanation of the classification, captured by abduction. The problem of query evaluation on information sources extended in this way is studied and a polynomial time algorithm is provided for the general case, in which no hypothesis is made on the structure of the taxonomy. The algo- rithm is successively specialized on a most common kind of information sources, namely sources whose taxonomy can be represented as a directed acyclic graph. It is shown that query evaluation on extended sources is easier for this kind of sources. Finally, two applications of the method are presented, which capture very important aspects of information access: information browsing and query result ranking.
URL: http://iospress.metapress.com/content/1888153686U53235
Subject logic-based abduction
information systems
algorithms
F.4.1 Mathematical Logic
03B35 Mechanization of proofs and logical operations


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional