Items related to Declarative Logic-Programming Components for Information...
Synopsis
Dissertation / Doktorarbeit, die am 20.09.2002 erfolgreich an einer Technische Universität in Österreich im Fachbereich Technische Naturwissenschaften und Informatik eingereicht wurde. 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 know...
"synopsis" may belong to another edition of this title.
Search results for Declarative Logic-Programming Components for Information...
Seller Image
Declarative Logic-Programming Components for Information Agents
Print on DemandSeller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Doctoral Thesis / Dissertation from the year 2002 in the subject Computer Science - Applied, grade: 1,0, Vienna University of Technology (Technische Naturwissenschaften und Informatik), language: English, abstract: 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, obtained using a representative example from a movie domain.Zusammenfassung:Die Suche nach spezifischer Information im Internet steht zur Zeit einer Reihe von Problemen gegenüber, die sich einerseits auf die große Anzahl verfügbarer Informationsquellen und andererseits auf deren immanente Heterogenität zurückführen lassen. Ein vielversprechender Ansatz zur Lösung der komplexen Probleme, die in diesem Zusammenhang auftreten, ist der Einsatz von Informationsagenten in Multi-Agenten Systemen, in denen mehrere Informationsagenten kooperieren, um gemeinsam schwierige Aufgaben der Informationsbeschaffung zu lösen. Ein intelligenter Informationsagent entwickelt dabei besondere Fähigkeiten, indem er logisches Schließen auf eine Wissensbasis anwendet, die auf formalem Wissen über die jeweilige Aufgabe und auf Hintergrundwissen über den Problembereich basiert. In dieser Dissertation wird untersucht, welche Rolle Methoden der deklarativen logischen Programmierung in der Entwicklung von Komponenten für intelligente Informationsagenten spielen können. Es wird zunächst das Problem betrachtet, eine Wissensbasis, die durch sogenannte Erweiterte Logische Programme (ELPs) repräsentiert ist, entsprechend zu aktualisieren. D. 336 pp. Seller Inventory # 9783838662527
Buy New
US$ 57.30
US$ 26.66 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available
Stock Image
Declarative Logic-Programming Components for Information Agents
Published by
Diplomarbeiten Agentur diplom.de, 2002
ISBN 10: 3838662520
ISBN 13: 9783838662527
New
Softcover
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand pp. 336 424:B&W 5.83 x 8.27 in or 210 x 148 mm (A5) Perfect Bound on Creme w/Matte Lam. Seller Inventory # 132843434
Buy New
US$ 78.19
US$ 8.78 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Stock Image
Declarative Logic-Programming Components for Information Agents
Published by
Diplomarbeiten Agentur diplom.de, 2002
ISBN 10: 3838662520
ISBN 13: 9783838662527
New
Softcover
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Print on Demand pp. 336. Seller Inventory # 26127711349
Stock Image
Declarative Logic-Programming Components for Information Agents
Published by
Diplomarbeiten Agentur diplom.de, 2002
ISBN 10: 3838662520
ISBN 13: 9783838662527
New
Softcover
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 336. Seller Inventory # 18127711359
Buy New
US$ 85.20
US$ 11.53 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 4 available
Seller Image
Declarative Logic-Programming Components for Information Agents
Print on DemandSeller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Doctoral Thesis / Dissertation from the year 2002 in the subject Computer Science - Applied, grade: 1,0, Vienna University of Technology (Technische Naturwissenschaften und Informatik), language: English, abstract: Inhaltsangabe:Abstract:At present, t. Seller Inventory # 5425467
Buy New
US$ 57.30
US$ 56.78 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Seller Image
Declarative Logic-Programming Components for Information Agents
Print on DemandSeller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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, [¿]Diplomica Verlag, Hermannstal 119k, 22119 Hamburg 336 pp. Englisch. Seller Inventory # 9783838662527
Buy New
US$ 57.30
US$ 69.54 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Seller Image
Declarative Logic-Programming Components for Information Agents
Print on DemandSeller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Doctoral Thesis / Dissertation from the year 2002 in the subject Computer Science - Applied, grade: 1,0, Vienna University of Technology (Technische Naturwissenschaften und Informatik), language: English, abstract: 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, obtained using a representative example from a movie domain.Zusammenfassung:Die Suche nach spezifischer Information im Internet steht zur Zeit einer Reihe von Problemen gegenüber, die sich einerseits auf die große Anzahl verfügbarer Informationsquellen und andererseits auf deren immanente Heterogenität zurückführen lassen. Ein vielversprechender Ansatz zur Lösung der komplexen Probleme, die in diesem Zusammenhang auftreten, ist der Einsatz von Informationsagenten in Multi-Agenten Systemen, in denen mehrere Informationsagenten kooperieren, um gemeinsam schwierige Aufgaben der Informationsbeschaffung zu lösen. Ein intelligenter Informationsagent entwickelt dabei besondere Fähigkeiten, indem er logisches Schließen auf eine Wissensbasis anwendet, die auf formalem Wissen über die jeweilige Aufgabe und auf Hintergrundwissen über den Problembereich basiert. In dieser Dissertation wird untersucht, welche Rolle Methoden der deklarativen logischen Programmierung in der Entwicklung von Komponenten für intelligente Informationsagenten spielen können. Es wird zunächst das Problem betrachtet, eine Wissensbasis, die durch sogenannte Erweiterte Logische Programme (ELPs) repräsentiert ist, entsprechend zu aktualisieren. D. Seller Inventory # 9783838662527
Buy New
US$ 57.30
US$ 72.37 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Seller Image
Declarative Logic-Programming Components for Information Agents
Print on DemandSeller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Declarative Logic-Programming Components for Information Agents | Michael Fink | Taschenbuch | 336 S. | Englisch | 2002 | [.] | EAN 9783838662527 | Verantwortliche Person für die EU: Bedey & Thoms Media GmbH, Björn Bedey, Hermannstal 119k, 22119 Hamburg, info[at]diplom[dot]de | Anbieter: preigu Print on Demand. Seller Inventory # 105469654
Buy New
US$ 57.30
US$ 81.13 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 5 available
Stock Image
Declarative Logic-Programming Components for Information Agents
Print on DemandSeller: PBShop.store US, Wood Dale, IL, U.S.A.
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9783838662527
Stock Image
Declarative Logic-Programming Components for Information Agents
Print on DemandSeller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9783838662527
Buy New
US$ 218.50
US$ 9.14 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available