Machine learning draws on multiple disciplines. Mitchell provides the necessary background in both statistics and computational learning theory (a chapter on each) so that results from these fields can be understood and applied. He does not go overboard and overwhelm students in these areas. Instead, Mitchell takes the practical point of view. Students are provided with enough information to understand and use results from these ancillary fields.

We present the broad outlines of a roadmap toward human-level artificial general intelligence (henceforth, AGI). We begin by discussing AGI in general, adopting a pragmatic goal for its attainment and a necessary foundation of characteristics and requirements. An initial capability landscape will be presented, drawing on major themes from developmental psychology and illuminated by mathematical, physiological, and information-processing perspectives. The challenge of identifying appropriate tasks and environments for measuring AGI will be addressed, and seven scenarios will be presented as milestones suggesting a roadmap across the AGI landscape along with directions for future research and collaboration. Some of the ideas also trace back to discussions held during two Evaluation and Metrics for Human Level AI workshopa organized by John Laird and Pat Langley (one in Ann Arbor in late 2008, and one in Tempe in early 2009).

R B. Abhyankar Emphasizing theory and implementation issues more than specific applications and Prolog programming techniques, Computing with Logic Logic Programming with Prolog (The Benjamin Cummings Publishing Company, Menlo Park, Calif., 1988, 535 pp., $27 95) by David Maier and David S. Warren, respected researchers in logic programming, is a superb book Offering an in-depth treatment of advanced topics, the book also includes the necessary background material on logic and automatic theorem proving, making it self-contained. The only real prerequisite is a first course in data structures, although it would be helpful if the reader has also had a first course in program translation. The book has a wealth of exercises and would make an excellent textbook for advanced undergraduate or graduate students in computer science; it is also appropriate for programmers interested in the implementation of Prolog The book presents the concepts of logic programming using theory presentation, implementation, and application of Proplog, Datalog, and Prolog, three logic programming languages of increasing complexity that are based on horn clause subsets of propositional, predicate, and functional logic, respectively This incremental approach, unique to this book, is effective in conveying a thorough understanding of the subject The book consists of 12 chapters grouped into three parts (Part 1 chapters 1 to 3, Part 2. chapters 4 to 6, and Part 3 chapters 7 to 12), an appendix, and an index The three parts, each dealing with one of these logic programming languages, are organized the same First, the authors informally present the language using examples; an interpreter is also presented. Then the formal syntax and semantics for the language and logic are presented, along with soundness and completeness results for the logic and the effects of various search strategies Next, they give optimization techniques for the interpreter Each chapter ends with exercises, brief comments regarding the material in the chapter, and a bibliography Chapter I presents top-down and bottom-up interpreters for Proplog Chapter 2 offers a good discussion of the related notions: negation as failure, closed-world assumption, minimal models, and stratified programs Chapter 3 considers clause indexing and lazy concatenation as optimization techniques for the Proplog interpreter in chapter 1 Chapter 4 explains the connection between Datalog and relational algebra. Chapter 5 contains a proof of Herbrand's theorem for predicate logic.

Artificial Intelligence (AI) is the study of computer science focusing on developing software or machines that exhibit human intelligence. This article is about How to start learning Artificial Intelligence in Six Easy Steps which will give you a comprehensive guide that you can use as a starting point towards learning artificial intelligence. AI is used to solve real-world problems including search, games, machine learning, logic, understanding natural language, computer vision, expert systems, heuristic classification, constraint satisfaction problems etc. We can divide AI into 3 different categories based on it's capabilities: The idea behind Strong AI is that the machines could represent human minds in the future. If that is the case, those machines will have the ability to reason, think and do all functions that a human is capable of doing.

Carnegie Mellon University established a branch campus in Qatar in the fall of 2004. We are offering a BS degree in Computer Science to an international student body. The university invites applications for a visiting faculty position to begin as early as January 2006. We are seeking a faculty member in the area of Learning Science and Technology with research experience ideally in designing, implementing, deploying, and evaluating educational technology in school or college settings. An ability to teach courses in human-computer interaction, artificial intelligence, cognitive psychology, or related areas is also desired.

The seventh biennial Bar-Ilan International Symposium on the Foundations of Artificial Intelligence, will be held on June 25-27, 2001 in Ramat Gan, Israel. The meeting will honor the research and accomplishments of Yaacov Choueka and will therefore place special emphasis on natural language processing and computational linguistics, in addition to the usual topics of the symposium. Moshe Vardi The BISFAI-01 program, schedule and registration information will be available at the BISFAI website: www.cs.biu.ac.il/ bisfai, along with abstracts of invited and accepted papers and pointers to online versions.For further information or requests, contact: bisfai@cs.biu.ac.il. Contact: Joaquim Filipe School of Technology of the Polytechnic Institute of Setubal EST Setubal, Campus do IPS / R. Vale Chaves - Estefanilha Setubal 2910 Portugal Voice: 351-265 790040 Fax: 351-265 721 869 Email: jfilipe@est.ips.pt Faculty Positions for Intelligent Aerospace Systems Program The College of Engineering at the University of Oklahoma invites applications for 3 to 5 new faculty positions at all levels in the area of Intelligent Systems.

The 2001 Fellows Selection Committee is currently accepting nominations for AAAI fellow. The AAAI Fellows Program is designed to recognize people who have made significant, sustained contributions to the field of AI over at least a 10-year period. All regular members in good standing are encouraged to consider nominating a candidate. Two references (at least one from a current AAAI fellow) must accompany nominations. For further information about the Fellows Program or to receive nomination and reference forms, please contact AAAI at 650-328- 3123; by fax at 650-321-4457; or by email at fellows@aaai.org.