(IKS 2002).

This first part covers mathematical that teachers will find useful.

Recent advances in artificial intelligence, cognitive science, neuroscience and robotics have stimulated the birth and growth of a new research field, known as computational autonomous mental development. Although human mental development is a wellknown subject of study, e.g., in developmental psychology, computational studies of A brief discussion of the subject is available in an article appeared in Science, available electronically at: http://www.cse.msu.edu/dl/SciencePaper.pdf. More than 11.2 Man and Machine Take the Field, red eye, behind which lurked an unfathomable million trucks entered the United David Olson, The Seattle Times (August intelligence. "The soccer games may be the computer has become more alien Service. But help is at hand, just for fun, but the technology used still. Kubrick had no inkling of the thanks to a maturing computer technology to create and operate the players could networked computer, with its potential with the capability of finding also help build robots to rescue victims for massively distributed intelligence. Known as machine learning president of the RoboCup Federation." of the grander design, just as a or neural networks, such technology Robots Scour WTC Wreckage, Leander single ant has no comprehension of uses the power of computer processing Kahney, Wired News (September the intelligence of the colony.

The AAAI Press - Distributed by The MIT Press Massachusetts Institute of Technology, 5 Cambridge Center, Cambridge, Massachusetts 02142 To order, call toll free: (800) 356-0343 or (617) 625-8569. SPRING 2002 5 first time that AAAI's National conference has been held in Canada--a In addition, the program chairs are experimenting with a new format for AAAI.

Thus, the reader is able to experiment is a logical consequence of a set of aspects of the deduction steps as both a user and a developer statements (the axioms and hypotheses).

As a result, they knowledge of an agent (that is, its epistemic coarse-grained level of abstraction, KBwould argue, it is not possible to discuss state) can be characterized as the Ss can be characterized in terms of two the knowledge of a system independently collection of all possible worlds that components: (1) a knowledge base, encoding of the task context in which are consistent with the knowledge the knowledge embodied by the system is meant to operate. I won't held by the agent. If the knowledge of the system, and (2) a reasoning engine, go into too many details here because the agent is complete, then the epistemic which is able to query the knowledge a detailed discussion of the declarative state contains only one world. A base, infer or acquire knowledge from versus the procedural argument is well nice feature of Levesque and Lakemeyer's external sources, and add new knowledge beyond the scope of this review. The treatment of epistemic logic is that to the knowledge base. Levesque important point to make is that in contrast to many other treatments and Lakemeyer's The Logic of Knowledge Levesque and Lakemeyer's approach is of modalities, the discussion is reasonably Bases deals with the "internal logic" of situated in a precise AI research easy to follow for people who are a KBS: It provides a formal account of paradigm, which considers knowledge not experts in the field. This is the result the interaction between a reasoning bases as declaratively specified, task-independent of two main features of this analysis: engine and a knowledge base.

As a result, they knowledge of an agent (that is, its epistemic coarse-grained level of abstraction, KBwould argue, it is not possible to discuss state) can be characterized as the Ss can be characterized in terms of two the knowledge of a system independently collection of all possible worlds that components: (1) a knowledge base, encoding of the task context in which are consistent with the knowledge the knowledge embodied by the system is meant to operate. I won't held by the agent. If the knowledge of the system, and (2) a reasoning engine, go into too many details here because the agent is complete, then the epistemic which is able to query the knowledge a detailed discussion of the declarative state contains only one world. A base, infer or acquire knowledge from versus the procedural argument is well nice feature of Levesque and Lakemeyer's external sources, and add new knowledge beyond the scope of this review. The treatment of epistemic logic is that to the knowledge base. Levesque important point to make is that in contrast to many other treatments and Lakemeyer's The Logic of Knowledge Levesque and Lakemeyer's approach is of modalities, the discussion is reasonably Bases deals with the "internal logic" of situated in a precise AI research easy to follow for people who are a KBS: It provides a formal account of paradigm, which considers knowledge not experts in the field. This is the result the interaction between a reasoning bases as declaratively specified, task-independent of two main features of this analysis: engine and a knowledge base.

This article is an edited transcript of a lecture given at IJCAI-99, Stockholm, Sweden, on 4 August 1999. The article summarizes concepts, principles, and tools that were found useful in applications involving causal modeling. The principles are based on structural-model semantics in which functional (or counterfactual) relationships representing autonomous physical processes are the fundamental building blocks. The article presents the conceptual basis of this semantics, illustrates its application in simple problems, and discusses its ramifications to computational and cognitive problems concerning causation.

Chapter 6 three motivating examples are considered.

The debut of the AI in the News column elsewhere in this issue of AI Magazine created a good opportunity to introduce the professional community to the AI Topics web site, home of the AI in the news virtual page. Although AI Topics is designed for the lay public, it serves a much larger audience.