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, [...]
Download or read book Cooperative Information Agents VII written by Matthias Klusch and published by Springer Science & Business Media. This book was released on 2003-08-14 with total page 378 pages. Available in PDF, EPUB and Kindle. Book excerpt: These are the proceedings of the 7th International Workshop on Cooperative Information Agents (CIA 2003), held at the Sonera Conference Center in H- sinki, Finland, August 27–29, 2003. It was co-located with the 4th Agentcities Information Days. One key challenge of developing advanced agent-based information systems is to balance the autonomy of networked data and knowledge sources with the pot- tial payo? of leveraging them by the appropriate use of intelligent information agents on the Internet. An information agent is a computational software entity thathasaccesstooneormultiple,heterogeneous,anddistributeddataandinf- mation sources; proactively searches for and maintains relevant information on behalfofitshumanusersorotheragents,preferablyjust-in-time. Inotherwords, it is managing and overcoming the di?culties associated with information ov- load in the open and exponentially growing Internet and Web. Depending on the application and tasks at hand information agents may collaborate in open, n- worked data and information environments to provide added value to a variety of applications in di?erent domains. Thus, research and development of inf- mation agents is inherently interdisciplinary: It requires expertise in information retrieval, arti?cial intelligence, database systems, human-computer interaction, and Internet and Web technology. Initiated in 1997, the purpose of the annual international workshop series on cooperativeinformationagents(CIA)istoprovideaninterdisciplinaryforumfor researchers, software developers, and managers to get informed about, present, anddiscussthelatesthigh-qualityresultsinadvancementsoftheoryandpractice in information agent technology for the Internet and Web. Each event of this renowned series attempts to capture the intrinsic interdisciplinary nature of this research area by calling for contributions from di?erent research communities, and by promoting open and informative discussions on all related topics.
Download or read book Declarative Agent Languages and Technologies III written by Matteo Baldoni and published by Springer. This book was released on 2006-02-28 with total page 256 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Declarative Agent Languages and Technologies, DALT 2005, held in The Netherlands in July 2005 as an associated event of AAMAS 2005, the main international conference on autonomous agents and multi-agent systems. The 14 revised full papers presented were carefully selected during two rounds of reviewing and improvement for inclusion in the book. The papers are organized in topical sections.
Download or read book A 25 Year Perspective on Logic Programming written by Agostino Dovier and published by Springer. This book was released on 2010-06-26 with total page 342 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book celebratesthe 25th anniversaryof GULP—the Italian Associationfor LogicProgramming.Authored by Italian researchersat the leading edge of their ?elds, it presents an up-to-date survey of a broad collection of topics in logic programming, making it a useful reference for both researchers and students. During its 25-year existence, GULP has organised a wide range of national and international activities, including both conferences and summer schools. It has been especially active in supporting and encouraging young researchers, by providing scholarships for GULP events and awarding distinguished disser- tions. WeintheinternationallogicprogrammingcommunitylookuponGULPwith a combination of envy, admiration and gratitude. We are pleased to attend its conferences and summer schools, where we can learn about scienti?c advances, catch up with old friends and meet young students. It is an honour for me to acknowledge our appreciation to GULP for its outstanding contributions to our ?eld and to express our best wishes for its continuing prosperity in the future. March 2010 Robert Kowalski Imperial College London Preface On June 18, 1985, a group of pioneering researchers, including representatives from industry, national research labs, and academia, attended the constituent assembly of the Group of researchers and Users of Logic Programming (GULP) association. That was the starting point of a long adventure in science, that 1 we are still experiencing 25 years later. This volume celebrates this important event.
Download or read book Cooperative Information Agents written by Peter Kandzia and published by Springer Science & Business Media. This book was released on 1997-02-18 with total page 308 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the First International Workshop on Cooperative Information Agents - DAI Meets Databases, CIA-97, held in Kiel, Germany, in February 1997. The book opens with 6 invited full papers by internationally leading researchers surveying the state of the art in the area. The 16 revised full research papers presented were carefully selected during a highly competitive round of reviewing. The papers are organized in topical sections on databases and agent technology, agents for database search and knowledge discovery, communication and cooperation among information agents, and agent-based access to heterogeneous information sources.
Download or read book Declarative Agent Languages and Technologies II written by João Leite and published by Springer. This book was released on 2005-06-20 with total page 301 pages. Available in PDF, EPUB and Kindle. Book excerpt: The second edition of the workshop on Declarative Agent Languages and Te- nologies (DALT 2004) was held July 2004 in New York City, and was a great success. We saw a signi?cant increase in both the number of submitted papers and workshop attendees from the ?rst meeting, held July 2003 in Melbourne. Nearly 40 research groups worldwide were motivated to contribute to this event by submitting their most recent research achievements, covering a wide variety of the topics listed in the call for papers. More than 30 top researchers agreed to join the Program Committee, which then collectively faced the hard task of selecting the one-day event program. The fact that research in multi-agent systems is no longer only a novel and promising research horizon at dawn is, in our opinion, the main reason behind DALT’s (still short) success story. On the one hand, agent theories and app- cations are mature enough to model complex domains and scenarios, and to successfully address a wide range of multifaceted problems, thus creating the urge to make the best use of this expressive and versatile paradigm, and also pro?t from all the important results achieved so far. On the other hand, bui- ing multi-agent systems still calls for models and technologies that could ensure system predictability, accommodate ?exibility, heterogeneity and openness, and enable system veri?cation.
Download or read book Practical Aspects of Declarative Languages written by Gopal Gupta and published by Springer. This book was released on 2003-05-20 with total page 377 pages. Available in PDF, EPUB and Kindle. Book excerpt: Declarative languages have traditionally been regarded by the mainstream c- puting community as too impractical to be put to practical use. At the same time, traditionalconferencesdevotedto declarativelanguagesdo not haveissues related to practice as their central focus. Thus, there are few forums devoted to discussion of practical aspects and implications of newly discovered results and techniques related to declarative languages. The goal of the First International Workshop on Practical Aspects of Declarative Languages (PADL) is to bring together researchers,practitioners and implementors of declarative languages to discuss practical issues and practical implications of their research results. The workshop was held in San Antonio, Texas, during January 18-19, 1999. This volume contains its proceedings. Fifty three papers were submitted in response to the call for papers. These papers were written by authors belonging to twenty one countries from six c- tinents. Each paper was assigned to at least two referees for reviewing. Twenty four papers were nally selected for presentation at the workshop. Many good papers could not be included due to the limited duration of the workshop. The workshop included invited talks by Mark Hayden of DEC/Compaq Systems - search Center, speaking on \Experiences Building Distributed Systems in ML," and Mark Wallace of Imperial College Center for Planning And Resource C- trol (IC-PARC), speaking on \ECLiPSe: Declarative Specic ation and Scalable Implementation.
Download or read book Advances in Artificial Intelligence IBERAMIA 2010 written by Angel Kuri-Morales and published by Springer. This book was released on 2010-11-02 with total page 622 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 12th Ibero-American Conference on Artificial Intelligence, IBERAMIA 2010, held in Bahía Blanca, Argentina, in November 2010. The 61 papers presented were carefully reviewed and selected from 148 submissions. The papers are organized in topical sections on artificial intelligence in education, cognitive modeling and human reasoning, constraint satisfaction, evolutionary computation, information, integration and extraction, knowledge acquisition and ontologies, knowledge representation and reasoning, machine learning and data mining, multiagent systems, natural language processing, neural networks, planning and scheduling, probabilistic reasoning, search, and semantic web.
Download or read book Analysis and Verification of Multiple Agent Languages written by Mads Dam and published by Springer Science & Business Media. This book was released on 1997-01-07 with total page 452 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book originates from the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages, held in Stockholm, Sweden, in June 1996. LOMAPS is an ESPRIT project devoted to program analysis and verification techniques applicable to emerging multi-paradigm programming languages. The volume presents 14 revised full papers selected from the workshop submissions together with 4 invited contributions; also included is an introductory overview surveying the state of the art in the area and putting the contributions into this context.
Download or read book Intelligent Agents VII Agent Theories Architectures and Languages written by Cristiano Castelfranchi and published by Springer. This book was released on 2003-07-31 with total page 372 pages. Available in PDF, EPUB and Kindle. Book excerpt: Intelligent agents are one of the most important developments in computer science of the past decade. Agents are of interest in many important application areas, ranging from human-computer interaction to industrial process control. The ATAL workshop series aims to bring together researchers interested in the core/micro aspects of agent technology. Speci?cally, ATAL addresses issues such as theories of agency, software architectures for intelligent agents, methodologies and programming languages for r- lizing agents, and software tools for applying and evaluating agent systems. One of the strengthsoftheATALworkshopseriesisitsemphasisonthesynergiesbetweentheories, languages, architectures, infrastructures, methodologies, and formal methods. This year s workshop continued the ATAL trend of attracting a large number of high quality submissions. In more detail, 71 papers were submitted to the ATAL 2000 workshop, from 21 countries. After stringent reviewing, 22 papers were accepted for publication and appear in these proceedings. As with previous workshops in the series, we chose to emphasize what we perceive asimportantnewthemesinagentresearch. Thisyear sthemeswerebothassociatedwith the fact that the technology of intelligent agents and multi-agent systems is beginning to migrate from research labs to software engineering centers. As agents are deployed in applications such as electronic commerce, and start to take over responsibilities for their human users, techniques for controlling their autonomy become crucial. As well, the availability of tools that facilitate the design and implementation of agent systems becomes an important factor in how rapidly the technology will achieve widespread use.
Download or read book Cooperative Information Agents written by and published by . This book was released on 2003 with total page 372 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Towards Sustainable and Scalable Educational Innovations Informed by the Learning Sciences written by Chee-Kit Looi and published by IOS Press. This book was released on 2005 with total page 1024 pages. Available in PDF, EPUB and Kindle. Book excerpt: One of the basic principles that underpin the learning sciences is to improve theories of learning through the design of powerful learning environments that can foster meaningful learning. Learning sciences researchers prefer to research learning in authentic contexts. This book focuses on learning sciences in the Asia-Pacific context.
Download or read book Readings in Agents written by Michael N. Huhns and published by Morgan Kaufmann. This book was released on 1998 with total page 552 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book collects the most significant literature on agents in an attempt top forge a broad foundation for the field. Includes papers from the perspectives of AI, databases, distributed computing, and programming languages. The book will be of interest to programmers and developers, especially in Internet areas.
Download or read book MICAI 2005 Advances in Artificial Intelligence written by Alexander Gelbukh and published by Springer Science & Business Media. This book was released on 2005-11-04 with total page 1223 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 4th Mexican International Conference on Artificial Intelligence, MICAI 2005, held in Monterrey, Mexico, in November 2005. The 120 revised full papers presented were carefully reviewed and selected from 423 submissions. The papers are organized in topical sections on knowledge representation and management, logic and constraint programming, uncertainty reasoning, multiagent systems and distributed AI, computer vision and pattern recognition, machine learning and data mining, evolutionary computation and genetic algorithms, neural networks, natural language processing, intelligent interfaces and speech processing, bioinformatics and medical applications, robotics, modeling and intelligent control, and intelligent tutoring systems.
Download or read book Foundations Of Decision making Agents Logic Probability And Modality written by Subrata Das and published by World Scientific. This book was released on 2008-01-03 with total page 385 pages. Available in PDF, EPUB and Kindle. Book excerpt: This self-contained book provides three fundamental and generic approaches (logical, probabilistic, and modal) to representing and reasoning with agent epistemic states, specifically in the context of decision making. Each of these approaches can be applied to the construction of intelligent software agents for making decisions, thereby creating computational foundations for decision-making agents. In addition, the book introduces a formal integration of the three approaches into a single unified approach that combines the advantages of all the approaches. Finally, the symbolic argumentation approach to decision making developed in this book, combining logic and probability, offers several advantages over the traditional approach to decision making which is based on simple rule-based expert systems or expected utility theory.
Download or read book Computational Logic in Multi Agent Systems written by Francesca Toni and published by Springer Science & Business Media. This book was released on 2006-05-03 with total page 444 pages. Available in PDF, EPUB and Kindle. Book excerpt: The sixth edition of CLIMA was held at City University London, UK, on June 27–29, 2005.
Download or read book Reasoning about Rational Agents written by Michael Wooldridge and published by MIT Press. This book was released on 2003-01-01 with total page 256 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book focuses on the belief-desire-intention (BDI) model of rational agents, which recognizes the primacy of beliefs, desires, and intentions in rational action. One goal of modern computer science is to engineer computer programs that can act as autonomous, rational agents; software that can independently make good decisions about what actions to perform on our behalf and execute those actions. Applications range from small programs that intelligently search the Web buying and selling goods via electronic commerce, to autonomous space probes. This book focuses on the belief-desire-intention (BDI) model of rational agents, which recognizes the primacy of beliefs, desires, and intentions in rational action. The BDI model has three distinct strengths: an underlying philosophy based on practical reasoning in humans, a software architecture that is implementable in real systems, and a family of logics that support a formal theory of rational agency.The book introduces a BDI logic called LORA (Logic of Rational Agents). In addition to the BDI component, LORA contains a temporal component, which allows one to represent the dynamics of how agents and their environments change over time, and an action component, which allows one to represent the actions that agents perform and the effects of the actions. The book shows how LORA can be used to capture many components of a theory of rational agency, including such notions as communication and cooperation.
