Declarative Logic-Programming Components for Information Agents

Released on by Michael Fink
preview-18

  • Declarative Logic-Programming Components for Information Agents Book Detail

  • Author : Michael Fink
  • Release Date : 2002-12-30
  • Publisher : diplom.de
  • Genre : Computers
  • Pages : 335
  • ISBN 13 : 383246252X
  • File Size : 23,23 MB
DOWNLOAD BOOK

Declarative Logic-Programming Components for Information Agents by Michael Fink PDF Summary

Book Description: 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, [...]

Disclaimer: www.yourbookbest.com does not own Declarative Logic-Programming Components for Information Agents books pdf, neither created or scanned. We just provide the link that is already available on the internet, public domain and in Google Drive. If any way it violates the law or has any issues, then kindly mail us via contact us page to request the removal of the link.

Cooperative Information Agents VII

Cooperative Information Agents VII

File Size : 48,48 MB
Total View : 8071 Views
DOWNLOAD

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

A 25-Year Perspective on Logic Programming

A 25-Year Perspective on Logic Programming

File Size : 55,55 MB
Total View : 9563 Views
DOWNLOAD

This book celebratesthe 25th anniversaryof GULP—the Italian Associationfor LogicProgramming.Authored by Italian researchersat the leading edge of their ?elds,

Cooperative Information Agents

Cooperative Information Agents

File Size : 79,79 MB
Total View : 7437 Views
DOWNLOAD

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