The Association for the Advancement of Artificial Intelligence, in cooperation with Stanford University's Department of Computer Science, presented the 2002 Spring Symposium Series, held Monday through Wednesday, 25 to 27 March 2002, at Stanford University. The nine symposia were entitled (1) Acquiring (and Using) Linguistic (and World) Knowledge for Information Access; (2) Artificial Intelligence and Interactive Entertainment; (3) Collaborative Learning Agents; (4) Information Refinement and Revision for Decision Making: Modeling for Diagnostics, Prognostics, and Prediction; (5) Intelligent Distributed and Embedded Systems; (6) Logic-Based Program Synthesis: State of the Art and Future Trends; (7) Mining Answers from Texts and Knowledge Bases; (8) Safe Learning Agents; and (9) Sketch Understanding.

Henry Lieberman surveyed successful techniques for programming by example, an approach where end users teach procedures to computers by demonstrating a sequence of actions on concrete examples as they how to accomplish it. This new conference series domain-independent inference practical exercises and illustrated promotes multidisciplinary research structures and reusable domain-specific the concepts with applications, including on tools and methodologies for efficiently ontologies. A related workshop of its knowledge content for communities. He received his Ph.D. in 1. portal.acm.org. For any inquiries, please email info@kcap.org.

The Eighteenth National Conference on Artificial Intelligence (AAAI-02) and the Fourteenth Conference on Innovative Applications of AI (IAAI- 02) were positively received by those who attended. This report provides a few snapshots of the vast and varied content of the 2002 conferences. Proceedings of AAAI-02 and IAAI-02 are available from AAAI Press (www.- aaaipress.org).

This article presents the results of a multifaceted research and development effort that synergistically integrates AI research with military strategy research and practical deployment of agents into education. It describes recent advances in the DISCIPLE approach to agent development by subject-matter experts with limited assistance from knowledge engineers, the innovative application of DISCIPLE to the development of agents for the strategic center of gravity analysis, and the deployment and evaluation of these agents in several courses at the U.S. Army War College.

SOAR is one of the oldest and largest AI development efforts, starting formally in 1983. It has also been proposed as a unified theory of cognition (Newell 1990). Most of its current development is as an AI programming language, which was evident at the Twenty-Second SOAR Workshop held at Soar Technology near the University of Michigan in Ann Arbor on 1-2 June 2002.

The Logic of Knowledge Bases: A Review

(IKS 2002).

This first part covers mathematical that teachers will find useful.

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.