A Logic Programming Framework for Cooperative Information Retrieval

摘要

We propose a framework for a cooperative information retrieval system based on dynamic logic programming. In order to be cooperative our system keeps the context of the interaction and tries to infer the user intentions. Each event is represented by logic programming facts which are used to dynamically update the previous user model. User intentions are inferred from this new model and are the basis of the interaction between the system and the legal texts knowledge base. As texts knowledge base we are using the documents from the Portuguese Attorney General (Procuradoria Geral da Republica). In this paper we will show some examples of the obtained cooperative behaviour.