Hostname: page-component-848d4c4894-tn8tq Total loading time: 0 Render date: 2024-06-30T12:15:13.700Z Has data issue: false hasContentIssue false

Using methods of declarative logic programming for intelligent information agents

Published online by Cambridge University Press:  13 November 2002

THOMAS EITER
Affiliation:
Institut für Informationssysteme, Technische Universität Wien, Abt. Wissensbasierte Systeme 184/3, Favoritenstrasse 9-11, A-1040 Vienna, Austria (e-mail: eiter@kr.tuwien.ac.at, michael@kr.tuwien.ac.at, giuliana@kr.tuwien.ac.at, tompits@kr.tuwien.ac.at)
MICHAEL FINK
Affiliation:
Institut für Informationssysteme, Technische Universität Wien, Abt. Wissensbasierte Systeme 184/3, Favoritenstrasse 9-11, A-1040 Vienna, Austria (e-mail: eiter@kr.tuwien.ac.at, michael@kr.tuwien.ac.at, giuliana@kr.tuwien.ac.at, tompits@kr.tuwien.ac.at)
GIULIANA SABBATINI
Affiliation:
Institut für Informationssysteme, Technische Universität Wien, Abt. Wissensbasierte Systeme 184/3, Favoritenstrasse 9-11, A-1040 Vienna, Austria (e-mail: eiter@kr.tuwien.ac.at, michael@kr.tuwien.ac.at, giuliana@kr.tuwien.ac.at, tompits@kr.tuwien.ac.at)
HANS TOMPITS
Affiliation:
Institut für Informationssysteme, Technische Universität Wien, Abt. Wissensbasierte Systeme 184/3, Favoritenstrasse 9-11, A-1040 Vienna, Austria (e-mail: eiter@kr.tuwien.ac.at, michael@kr.tuwien.ac.at, giuliana@kr.tuwien.ac.at, tompits@kr.tuwien.ac.at)

Abstract

At present, the search for specific information on the World Wide Web is faced with several problems, which arise on the one hand from the vast number of information sources available, and on the other hand, from their intrinsic heterogeneity, since standards are missing. A promising approach for solving the complex problems emerging in this context is the use of multi-agent systems of information agents, which cooperatively solve advanced information-retrieval problems. This requires advanced capabilities to address complex tasks, such as search and assessment of information sources, query planning, information merging and fusion, dealing with incomplete information, and handling of inconsistency. In this paper, our interest lies in the role which some methods from the field of declarative logic programming can play in the realization of reasoning capabilities for information agents. In particular, we are interested to see how they can be used, extended, and further developed for the specific needs of this application domain. We review some existing systems and current projects, which typically address information-integration problems. We then focus on declarative knowledge-representation methods, and review and evaluate approaches and methods from logic programming and nonmonotonic reasoning for information agents. We discuss advantages and drawbacks, and point out the possible extensions and open issues.

Type
Research Article
Copyright
© 2002 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)