Declarative Logic-Programming Components for Information Agents

Declarative Logic-Programming Components for Information Agents
Author :
Publisher : diplom.de
Total Pages : 335
Release :
ISBN-10 : 9783832462529
ISBN-13 : 383246252X
Rating : 4/5 (52X Downloads)

Book Synopsis Declarative Logic-Programming Components for Information Agents by : Michael Fink

Download or read book Declarative Logic-Programming Components for Information Agents written by Michael Fink and published by diplom.de. This book was released on 2002-12-30 with total page 335 pages. Available in PDF, EPUB and Kindle. Book excerpt: Inhaltsangabe:Abstract: At present, the World Wide Web faces several problems regarding the search for specific in formation, arising, on the one hand, from the vast number of information sources available, and, on the other hand, from their intrinsic heterogeneity. A promising approach for solving the complex problems emerging in this context is the use of information agents in a multi-agent environment, which cooperatively solve advanced information-retrieval problems. An intelligent information agent provides advanced capabilities resorting to some form of logical reasoning, based on ad-hoc-knowledge about the task in question and on background knowledge of the domain, suitably represented in a knowledge base. In this thesis, our interest is in the role which some methods from the field of declarative logic programming can play in the realization of reasoning capabilities for intelligent information agents. We consider the task of updating extended logic programs (ELPs), since, in order to ensure adaptivity, an agent s knowledge base is subject to change. To this end, we develop update agents, which follow a declarative update policy and a reimplemented in the IMPACT agent environment. The proposed update agents adhere to a clear semantics and are able to deal with incomplete or in consistent information in an appropriate way. Furthermore, we introduce a framework for reasoning about evolving knowledgebases, which are represented as ELPs and maintained by an update policy. We describe a formal model which captures various update approaches, and define a logical language for expressing properties of evolving knowledge bases. We further investigate these mantical properties of knowledge states with respect to reasoning. In particular, we describe finitary characterizations of the knowledge evolution, and derive complexity results for our framework. Finally, we consider aparticular problem of information agents, namely information source selection, and develop an intelligent site-selection agent. We use ELPs for representing relevant knowledge and for declarative query an alysis and query abstraction. We define syntax and semantics of declarative site-selection programs, making use of advanced methods from answer set programming for priority handling and quantitative reasoning. A site selection component is implemented on top of the DLVKR system and its plp front-end for prioritized ELPs. We report experimental results for this implementation, [...]


Declarative Logic-Programming Components for Information Agents Related Books

Declarative Logic-Programming Components for Information Agents
Language: en
Pages: 335
Authors: Michael Fink
Categories: Computers
Type: BOOK - Published: 2002-12-30 - Publisher: diplom.de

DOWNLOAD EBOOK

Inhaltsangabe:Abstract: At present, the World Wide Web faces several problems regarding the search for specific in formation, arising, on the one hand, from the
Cooperative Information Agents VII
Language: en
Pages: 378
Authors: Matthias Klusch
Categories: Computers
Type: BOOK - Published: 2003-08-14 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

These are the proceedings of the 7th International Workshop on Cooperative Information Agents (CIA 2003), held at the Sonera Conference Center in H- sinki, Finl
Declarative Agent Languages and Technologies III
Language: en
Pages: 256
Authors: Matteo Baldoni
Categories: Computers
Type: BOOK - Published: 2006-02-28 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Declarative Agent Languages and Technologies, DALT 2005, h
A 25-Year Perspective on Logic Programming
Language: en
Pages: 342
Authors: Agostino Dovier
Categories: Computers
Type: BOOK - Published: 2010-06-26 - Publisher: Springer

DOWNLOAD EBOOK

This book celebratesthe 25th anniversaryof GULP—the Italian Associationfor LogicProgramming.Authored by Italian researchersat the leading edge of their ?elds,
Cooperative Information Agents
Language: en
Pages: 308
Authors: Peter Kandzia
Categories: Computers
Type: BOOK - Published: 1997-02-18 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the First International Workshop on Cooperative Information Agents - DAI Meets Databases, CIA-97, held in Kiel