By Golumbic, Martin Charles
AI Magazine , Vol. 21, No. 1
The Sixth Bar Ilan Symposium on the Foundations of Artificial Intelligence (BISFAI-99) was held on 23 to 25 June 1999 in Ramat Gan, Israel. This year's theme was bridging theory and practice: theory-based practical implementations and commercial applications. In keeping with this theme, part of the symposium focused on demonstrations of unique and innovative AI applications. There were 24 half-hour contributed talks and the following four 1-hour invited lectures:
Reid Simmons (Carnegie Mellon University) presented "Creating Reliable Autonomous Systems," which featured monitoring and error recovery and formal verification techniques for intelligent systems. The use of these techniques was illustrated with examples from XAVIER, an indoor mobile robot, and the National Aeronautic and Space Administration's recently completed remote-agent experiment on the DS1 spacecraft.
Leo Joskowicz (Hebrew University) presented "Finding and Correcting Bugs in Mechanical Designs," which presented an overview of a new method for analyzing mechanical systems, identifying the three main types of bugs (kinematic, dynamic, and tolerancing) and describing new algorithms for computation and visualization. The approach was illustrated on the gearshift mechanism of an automatic car transmission.
"Trading Semantic Transparency for Behavioral Robustness in Robotic Agents" was the title of the invited lecture by Stanley J. …