Download or read book Search and Planning Under Incomplete Information written by Ian Frank and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 351 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book updates the thesis I produced for my PhD at the Department of Artificial Intelligence of the University of Edinburgh, correcting errors, and improving some of the formatting and readability. Since the original work was completed (early 1996), research has progressed. Most notably, the public profile of AI and game-playing has reached new heights with the feats of the chess computer DEEPER BLUE (which surely uses AI, no matter what IBM would have us believe). Although less heralded, the ability of computers to play Bridge (the main example domain in this book) has also increased. In July of 1997 a world championship for computer Bridge programs was hosted by the American Contract Bridge League in Albuquerque, New Mex ico. This contest was won by a program called Bridge Baron, produced by Great Game Products. Bridge Baron incorporates knowledge-based planning techniques developed by Stephen Smith and Dana Nau [1, 2]. Progress has also been made on the contrasting, more brute-force, approach of sampling the possible card distributions. In particular, Matt Ginsberg has developed a fast double-dummy solver based on partition search [3]. Ginsberg's program fared poorly in the 1997 Bridge championships, but Ginsberg himself reports very promising results [4] on a hard set of complete Bridge deals taken from the Bridge tutoring program Bridge Master.
Download or read book Computers and Games written by H. Jaap van den Herik and published by Springer. This book was released on 2003-05-21 with total page 353 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the strictly refereed post-proceedings of the First International Conference on Computer and Games, CG'98, held in Tsukuba, Japan in November 1998. The 21 revised full papers presented were carefully selected after two rounds of reviewing from a total of 35 submissions. The book addresses all aspects of computers and games, including game playing programs, mathematical games learning algorithms, social and cognitive aspects, and game theory. The papers are organized in topical sections on search and strategies, learning and pattern acquisition theory, and Go, Tsume-Shogi, and Heian-Shogi.
Download or read book Logic Programming and Nonmonotonic Reasoning written by Vladimir Lifschitz and published by Springer Science & Business Media. This book was released on 2004-02-12 with total page 375 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2004, held in Fort Lauderdale, Florida, USA in January 2004. The 24 revised full papers presented together with 8 system descriptions were carefully reviewed and selected for presentation. Among the topics addressed are declarative logic programming, nonmonotonic reasoning, knowledge representation, combinatorial search, answer set programming, constraint programming, deduction in ontologies, and planning.
Download or read book Logics in Artificial Intelligence written by Sergio Flesca and published by Springer. This book was released on 2003-08-06 with total page 589 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the European Conference on Logics in Artificial Intelligence, JELIA 2002, held in Cosenza, Italy in September 2002.The 41 revised full papers presented together with 11 system descriptions and 3 invited contributions were carefuly reviewed and selected from more than 100 submissions. The papers are organized in topical sections on multi-agent systems, evolution and changes, description logic and the semantic web, complexity issues, probabilistic logic, AI planning, modal logic and causal reasoning, theory, reasoning under uncertainty, satisfiability, paraconsisten reasoning, actions and caution, logic for agents, semantics, and optimization issues in answer set semantics.
Download or read book KI 2001 Advances in Artificial Intelligence written by Franz Baader and published by Springer. This book was released on 2003-06-30 with total page 484 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume contains the contributions to the Joint German/Austrian Con- rence on Arti?cial Intelligence, KI 2001, which comprises the 24th German and the 9th Austrian Conference on Arti?cial Intelligence. They are divided into the following categories: – 2 contributions by invited speakers of the conference; – 29 accepted technical papers, of which 5 where submitted as application papers and 24 as papers on foundations of AI; – 4 contributions by participants of the industrial day, during which companies working in the ?eld presented their AI applications. After a long period of separate meetings, the German and Austrian Societies ̈ for Arti?cial Intelligence, KI and OGAI, decided to hold a joint conference in Vienna in 2001. The two societies had previously held one joint conference. This took place in Ottstein, a small town in Lower Austria, in 1986. At that time, the rise of expert system technology had also renewed interest in AI in general, with quite some expectations for future advances regarding the use of AI techniques in applications pervading many areas of our daily life. Since then ?fteen years have passed, and we may want to comment, at the beginning of a newcentury, on the progress that has been made in this direction.
Download or read book Answer Set Programming written by Vladimir Lifschitz and published by Springer Nature. This book was released on 2019-08-29 with total page 196 pages. Available in PDF, EPUB and Kindle. Book excerpt: Answer set programming (ASP) is a programming methodology oriented towards combinatorial search problems. In such a problem, the goal is to find a solution among a large but finite number of possibilities. The idea of ASP came from research on artificial intelligence and computational logic. ASP is a form of declarative programming: an ASP program describes what is counted as a solution to the problem, but does not specify an algorithm for solving it. Search is performed by sophisticated software systems called answer set solvers. Combinatorial search problems often arise in science and technology, and ASP has found applications in diverse areas—in historical linguistic, in bioinformatics, in robotics, in space exploration, in oil and gas industry, and many others. The importance of this programming method was recognized by the Association for the Advancement of Artificial Intelligence in 2016, when AI Magazine published a special issue on answer set programming. The book introduces the reader to the theory and practice of ASP. It describes the input language of the answer set solver CLINGO, which was designed at the University of Potsdam in Germany and is used today by ASP programmers in many countries. It includes numerous examples of ASP programs and present the mathematical theory that ASP is based on. There are many exercises with complete solutions.
Download or read book 40th Anniversary Volume Advancing into the 21st Century written by and published by Elsevier. This book was released on 2000-05-23 with total page 425 pages. Available in PDF, EPUB and Kindle. Book excerpt: Humans are often distinguished from other animals by their ability, even need, to see patterns in everyday life. As we enter a new millennium, all aspects of society seem to want to take stock of what has happened in the past and what is likely to happen in the future.The computer industry is no different from others. Advances in Computers has been published continuously since 1960 and this year's volume is the fiftieth technical volume in the series (two index volumes were published as volumes 50 and 51). Since it is the fortieth year of publication, we decided to look back on the changes that have occurred since Volume 1 of Advances in computers appeared in 1960.We looked at the six chapters of that initial volume and decided that an appropriate anniversary volume for this series would be a collection of papers on the same topics that appeared in 1960. What has happened to those technologies? Are we making the progress we thought we would or are events moving more slowly? - Business computing - Numerical weather prediction - Spoken language - Language understanding - Microprocessor design - Computer games
Download or read book Computers and Games written by Tony Marsland and published by Springer. This book was released on 2003-06-29 with total page 456 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the thoroughly refereed postproceedings of the Second International Conference on Computers and Games, CG 2001, held in Hamamatsu, Japan in October 2000. The 23 revised full papers presented together with two invited contributions and five reviews were carefully refereed and selected during two rounds of reviewing and improvement. The papers are organized in topical sections on search and strategies, learning and pattern acquisition, theory and complexity issues, and further experiments on game; the reviews presented are on computer language games, computer Go, intelligent agents for computer games, RoboCup, and computer Shogi.
Download or read book ECAI 2016 written by G.A. Kaminka and published by IOS Press. This book was released on 2016-08-24 with total page 1860 pages. Available in PDF, EPUB and Kindle. Book excerpt: Artificial Intelligence continues to be one of the most exciting and fast-developing fields of computer science. This book presents the 177 long papers and 123 short papers accepted for ECAI 2016, the latest edition of the biennial European Conference on Artificial Intelligence, Europe’s premier venue for presenting scientific results in AI. The conference was held in The Hague, the Netherlands, from August 29 to September 2, 2016. ECAI 2016 also incorporated the conference on Prestigious Applications of Intelligent Systems (PAIS) 2016, and the Starting AI Researcher Symposium (STAIRS). The papers from PAIS are included in this volume; the papers from STAIRS are published in a separate volume in the Frontiers in Artificial Intelligence and Applications (FAIA) series. Organized by the European Association for Artificial Intelligence (EurAI) and the Benelux Association for Artificial Intelligence (BNVKI), the ECAI conference provides an opportunity for researchers to present and hear about the very best research in contemporary AI. This proceedings will be of interest to all those seeking an overview of the very latest innovations and developments in this field.
Download or read book Current Topics in Artificial Intelligence written by Daniel Borrajo and published by Springer. This book was released on 2007-10-30 with total page 289 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 12th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2007, held in Salamanca, Spain, in November 2007, in conjunction with the 7th Workshop on Artificial Intelligence Technology Transfer, TTIA 2007. The 28 revised full papers presented address all current issues of artificial intelligence ranging from methodological and foundational aspects to advanced applications in various fields.
Download or read book ECAI 2004 written by Ramon López de Mántaras and published by IOS Press. This book was released on 2004 with total page 1184 pages. Available in PDF, EPUB and Kindle. Book excerpt: This is the Golden Age for Artificial Intelligence. The world is becoming increasingly automated and wired together. This also increases the opportunities for AI to help people and commerce. Almost every sub field of AI had now been used in substantial applications. Some of the fields highlighted in this publication are: CBR Technology; Model Based Systems; Data Mining and Natural Language Techniques. Not only does this publication show the activities, capabilities and accomplishments of the sub fields, it also focuses on what is happening across the field as a whole.
Download or read book A Concise Introduction to Models and Methods for Automated Planning written by Hector Radanovic and published by Springer Nature. This book was released on 2022-05-31 with total page 132 pages. Available in PDF, EPUB and Kindle. Book excerpt: Planning is the model-based approach to autonomous behavior where the agent behavior is derived automatically from a model of the actions, sensors, and goals. The main challenges in planning are computational as all models, whether featuring uncertainty and feedback or not, are intractable in the worst case when represented in compact form. In this book, we look at a variety of models used in AI planning, and at the methods that have been developed for solving them. The goal is to provide a modern and coherent view of planning that is precise, concise, and mostly self-contained, without being shallow. For this, we make no attempt at covering the whole variety of planning approaches, ideas, and applications, and focus on the essentials. The target audience of the book are students and researchers interested in autonomous behavior and planning from an AI, engineering, or cognitive science perspective. Table of Contents: Preface / Planning and Autonomous Behavior / Classical Planning: Full Information and Deterministic Actions / Classical Planning: Variations and Extensions / Beyond Classical Planning: Transformations / Planning with Sensing: Logical Models / MDP Planning: Stochastic Actions and Full Feedback / POMDP Planning: Stochastic Actions and Partial Feedback / Discussion / Bibliography / Author's Biography
Download or read book RoboCup 2000 Robot Soccer World Cup IV written by Peter Stone and published by Springer. This book was released on 2003-06-29 with total page 662 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book is the fourth offical archival publication devoted to RoboCup and documents the achievements presented at the Fourth Robot World Cup Soccer Games and Conferences, RoboCup 2000, held in Melbourne, Australia, in August/September 2000. The book presents the following parts: introductory overview and survey, championship papers by the winners of the competitions, finalist papers for the RoboCup challenge awards, papers and posters presented at the workshop, team description of a large number of participating teams. This book is mandatory reading for the rapidly growing RoboCup community as well as a valuable source of reference and inspiration for R & D professionals interested in multi-agent systems, distributed artificial intelligence, and intelligent robotics.
Download or read book Image Mosaicing and Super resolution written by David Capel and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 233 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book investigates sets of images consisting of many overlapping viewsofa scene, and how the information contained within them may be combined to produce single images of superior quality. The generic name for such techniques is frame fusion. Using frame fusion, it is possible to extend the fieldof view beyond that ofany single image, to reduce noise, to restore high-frequency content, and even to increase spatial resolution and dynamic range. The aim in this book is to develop efficient, robust and automated frame fusion algorithms which may be applied to real image sequences. An essential step required to enable frame fusion is image registration: computing the point-to-point mapping between images in their overlapping region. This sub problem is considered in detail, and a robust and efficient solution is proposed and its accuracy evaluated. Two forms of frame fusion are then considered: image mosaic ing and super-resolution. Image mosaicing is the alignment of multiple images into a large composition which represents part of a 3D scene. Super-resolution is a more sophisticated technique which aims to restore poor-quality video sequences by mod elling and removing the degradations inherent in the imaging process, such as noise, blur and spatial-sampling. A key element in this book is the assumption of a completely uncalibrated cam era. No prior knowledge of the camera parameters, its motion, optics or photometric characteristics is assumed. The power of the methods is illustrated with many real image sequence examples.
Download or read book Automated Theory Formation in Pure Mathematics written by Simon Colton and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 384 pages. Available in PDF, EPUB and Kindle. Book excerpt: In recent years, Artificial Intelligence researchers have largely focused their efforts on solving specific problems, with less emphasis on 'the big picture' - automating large scale tasks which require human-level intelligence to undertake. The subject of this book, automated theory formation in mathematics, is such a large scale task. Automated theory formation requires the invention of new concepts, the calculating of examples, the making of conjectures and the proving of theorems. This book, representing four years of PhD work by Dr. Simon Colton demonstrates how theory formation can be automated. Building on over 20 years of research into constructing an automated mathematician carried out in Professor Alan Bundy's mathematical reasoning group in Edinburgh, Dr. Colton has implemented the HR system as a solution to the problem of forming theories by computer. HR uses various pieces of mathematical software, including automated theorem provers, model generators and databases, to build a theory from the bare minimum of information - the axioms of a domain. The main application of this work has been mathematical discovery, and HR has had many successes. In particular, it has invented 20 new types of number of sufficient interest to be accepted into the Encyclopaedia of Integer Sequences, a repository of over 60,000 sequences contributed by many (human) mathematicians.
Download or read book Inheritance Relationships for Disciplined Software Construction written by Tracy A. Gardner and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 211 pages. Available in PDF, EPUB and Kindle. Book excerpt: Object-oriented inheritance has been in widespread use for a decade, and it is now realised that although inheritance is a powerful modelling tool with many associated advantages, its benefits are not automatically conferred on systems that simply use it. This book introduces a model of inheritance based around five fundamental inheritance relationships. Each relationship has a clear conceptual basis, representing a fundamental, specialised use of inheritance. The resulting model replaces a confused notion of inheritance with five distinct conceptual relationships supporting more precise modelling of systems and capturing the semantic intent of each use of inheritance within a system.
Download or read book Stochastic Algorithms for Visual Tracking written by John MacCormick and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 184 pages. Available in PDF, EPUB and Kindle. Book excerpt: A central problem in computer vision is to track objects as they move and deform in a video sequence. Stochastic algorithms -- in particular, particle filters and the Condensation algorithm -- have dramatically enhanced the state of the art for such visual tracking problems in recent years. This book presents a unified framework for visual tracking using particle filters, including the new technique of partitioned sampling which can alleviate the "curse of dimensionality" suffered by standard particle filters. The book also introduces the notion of contour likelihood: a collection of models for assessing object shape, colour and motion, which are derived from the statistical properties of image features. Because of their statistical nature, contour likelihoods are ideal for use in stochastic algorithms. A unifying theme of the book is the use of statistics and probability, which enable the final output of the algorithms presented to be interpreted as the computer's "belief" about the state of the world. The book will be of use and interest to students, researchers and practitioners in computer vision, and assumes only an elementary knowledge of probability theory.
