SPE
Probabilistic Algorithms in Robotics
This article describes a methodology for programming robots known as probabilistic robotics. The probabilistic paradigm pays tribute to the inherent uncertainty in robot perception, relying on explicit representations of uncertainty when determining what to do. This article surveys some of the progress in the field, using in-depth examples to illustrate some of the nuts and bolts of the basic approach. My central conjecture is that the probabilistic approach to robotics scales better to complex real-world applications than approaches that ignore a robot's uncertainty.
Stand-Allocation System (SAS): A Constraint-Based System Developed with Software Components
Chun, Andy Hon Wai, Chan, Steve Ho Chuen, Tsang, Francis Ming Fai, Yeung, Dennis Wai Ming
The stand-allocation system (SAS) is an AI application developed for the Hong Kong International Airport (HKIA) at Chek Lap Kok. The system ensures a high standard of quality in customer service, airport safety, and use of stand resources. This article describes our experience in developing an AI system using standard off-the-shelf software components. SAS is an example of how development methodologies used to construct modern AI applications have become fully inline with mainstream practices.
Editorial Introduction to this Special Issue of AI Magazine: The Eleventh Innovative Applications of Artificial Intelligence Conference (IAAI-99)
Uthurusamy, Ramasamy, Hayes-Roth, Barbara
The Innovative Applications of Artificial Intelligence Conference was held 18-22 July 1999 in Orlando, Florida. Ramasamy Uthurusamy was the Program Chair and Barbara Hayes-Roth was the Program Co-Chair. Although all the IAAI-99 papers and talks were certainly interesting and important, we present in this special issue of AI Magazine only a select subset because of page and other limitations. We include two invited talks and four applications as a snapshot of IAAI-99.
Last-Minute Travel Application
Hubner, Andre, Lenz, Mario, Borch, Roman, Posthoff, Michael
In this article, we present a last-minute travel application as part of a complete virtual travel agency. Each year, a significant amount of tour packages are sold as last minute tours in Germany. The last-minute travel application presented here uses case-based reasoning to bridge this gap and simulate the sales assistance of a human travel agent. Important for the acceptance by customers is also the integration into the virtual travel agency and the interconnections to other parts of this system, such as background information or the online car rental application.
The Fifth International Conference on Artificial Intelligence Planning and Scheduling
Barrett, Anthony, Chien, Steve
The Fifth International Conference on Artificial Intelligence Planning and Scheduling (AIPS 2000) was held on 14-17 April 2000 at Breckenridge, Colorado; it was colocated with the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR2000). This conference brought together researchers working in all aspects of problems in planning, scheduling, planning and learning, and plan execution for dealing with complex problems.
A New Basis for Spreadsheet Computing: Interval Solver for Microsoft Excel
Hyvonen, Eero, DePascale, Stefano
In spreadsheets, numeric data are represented as exact numbers and their mutual relations as functions, whose values (output) are computed from given argument values (input). However, in the real world, data are often inexact and uncertain in many ways, and the relationships, that is, constraints, between input and output are far more complicated. This article shows that interval constraint solving, an emerging AI-based technology, provides a more versatile and useful foundation for spreadsheets. The idea has been successfully integrated with Microsoft excel as the add-in interval solver that seamlessly upgrades the arithmetic core of excel into interval constraint solving.
What Does the Future Hold?
I was asked to give a visionary talk about the future applications of Artificial Intelligence technology; but I should warn you that I'm actually not very good as a visionary. Most of my predictions about what will happen in the industry don't come true even though they ought to. So I'm not going to tell you what the future holds; what I will do is to point out some of the technological trends that are at work. Finally, I'll discuss how the development of practical applications ought to interact with the scientific enterprise of trying to understand intelligence, in particular, human intelligence.
Ramp Activity Expert System for Scheduling and Coordination at an Airport
Jo, Geun-Sik, Jung, Jong-Jin, Koo, Ji-Hoon, Hyun, Sang-Ho
By user-driven modeling for end users and near-optimal knowledge-driven scheduling acquired from human experts, races can produce parking schedules for about 400 daily flights in approximately 20 seconds; human experts normally take 4 to 5 hours to do the same. Scheduling results in the form of Gantt charts produced by races are also accepted by the domain experts. After daily scheduling is completed, the messages for aircraft change, and delay messages are reflected and updated into the schedule according to the knowledge of the domain experts. By analyzing the knowledge model of the domain expert, the reactive scheduling steps are effectively represented as the rules, and the scenarios of the graphic user interfaces are designed.
Building Intelligent Learning Database Systems
Induction extracts knowledge in the form of, say, rules or decision trees from existing data, and deduction applies induction results to interpret new data. It starts with existing database technology and performs both induction and deduction. The integration of database technology, induction (from machine learning), and deduction (from knowledge-based sys-tems) plays a key role in the construction of ILDB systems, as does the design of efficient induction and deduction algorithms. This article presents a system structure for ILDB systems and discusses practical issues for ILDB applications, such as instance selection and structured induction.