Robot soccer competition provides an excellent opportunity for integrated robotics research. All these tasks demand robots that are autonomous (sensing, thinking, and acting as independent creatures), efficient (functioning under time and resource constraints), cooperative (collaborating with each other to accomplish tasks that are beyond an individual's capabilities), and intelligent (reasoning and planning actions and perhaps learning from experience). Furthermore, all these capabilities must be integrated into a single and complete system, which raises a set of challenges that are new to individual research disciplines. At RoboCup-97, held as part of the Fifteenth International Joint Conference on Artificial Intelligence, these integrated robots performed well, and our DREAMTEAM won the world championship in the middle-size robot league.

Modeling various aspects of language-syntax, semantics, pragmatics, and discourse, among others -- by the use of constrained formal-computational systems, just adequate for such modeling, has proved to be an effective research strategy, leading to deep understanding of these aspects, with implications for both machine processing and human processing. This approach enables one to distinguish between the universal and stipulative constraints. This is in contrast to an approach where we start with the most powerful formal-computational system and then model the phenomena by making all constraints stipulative in a sense. The use of constrained systems for modeling leads to some novel ways of describing locality of structures and brings out the relationship between the complexity of description of primitives and local computations over them.

The Find-Life-on-Mars event of the 1997 Association for the Advancement of Artificial Intelligence Mobile Robot Competition and Exhibition featured robots trying to find and collect stationary and moving colored objects in an arena littered with real rocks. The 2- day event had 11 entries participating in both single- robot and multirobot categories, both with and without manipulators. During the event, many of the robots successfully demonstrated object recognition, obstacle avoidance, exploration, and the collection and depositing of objects.

This article describes a milestone in our research efforts toward the real robot competition in RoboCup. We participated in the middle-size league at RoboCup-97, held in conjunction with the Fifteenth International Joint Conference on Artificial Intelligence in Nagoya, Japan. The most significant features of our team, TRACKIES, are the application of a reinforcement learning method enhanced for real robot applications and the use of an omnidirectional vision system for our goalie that can capture a 360-degree view at any instant in time. The method and the system used are shown with competition results.

The Association for the Advancement of Artificial Intelligence Spring Symposium on Interactive and Mixed-Initiative Decision-Theoretic Systems was held at Stanford University from 23-25 March 1998. The symposium attracted approximately 30 researchers from around the world. Topics discussed included incremental model construction, user interaction, explanation generation, and applications.

Five teams entered their robotic waiters into the contest. After a preliminary round to judge the safety of the robots, the robots served conference attendees at the opening reception of the Fourteenth National Conference on Artificial Intelligence.

The Eleventh International Workshop on Qualitative Reasoning was held in Cortona, Italy, on 3 to 6 June 1997. Participants included scientists from both qualitative reasoning and quantitative mathematical modeling communities. This article summarizes the significant issues and discussion raised during the workshop.

Research on constraints and agents is emerging at the intersection of the communities studying constraint computation and software agents. Constraint- based reasoning systems can be enhanced by using agents with multiple problem-solving approaches or diverse problem representations. The constraint computation paradigm can be used to model agent consultation, cooperation, and competition. An interesting theme in agent interaction, which is studied here in constraint-based terms, is confronting ignorance: the agent's own ignorance or its ignorance of other agents.

We applied mobile computing to community support and explored mobile computing with a large number of terminals. This article reports on the Second International Conference on Multiagent Systems (ICMAS'96) Mobile Assistant Project that was conducted at an actual international conference for multiagent systems using 100 personal digital assistants (PDAs) and cellular telephones. We supported three types of service: (1) communication services such as e-mail and net news; (2) information services such as conference, personal, and tourist information; and (3) community support services such as forum and meeting arrangements. Participants showed a deep interest in mobile computing for community support.

The Association for the Advancement of Artificial Intelligence held its 1997 Fall Symposia Series on 7 to 9 November in Cambridge, Massachusetts. This article contains summaries of the six symposia that were conducted: (1) Communicative Action in Humans and Machines, (2) Context in Knowledge Representation and Natural Language, (3) Intelligent Tutoring System Authoring Tools, (4) Model-Directed Autonomous Systems, (5) Reasoning with Diagrammatic Representations II, and (6) Socially Intelligent Agents.