{0}------------------------------------------------
{1}------------------------------------------------
Series Editors: M. Jordan J. Kleinberg B. Schölkopf
{2}------------------------------------------------
| Akaike and Kitagawa: The Practice of Time Series Analysis. |
|---|
| Bishop: Pattern Recognition and Machine Learning. |
| Cowell, Dawid, Lauritzen, and Spiegelhalter: Probabilistic Networks and<br>Expert Systems. |
| Doucet, de Freitas, and Gordon: Sequential Monte Carlo Methods in Practice. |
| Fine: Feedforward Neural Network Methodology. |
| Hawkins and Olwell: Cumulative Sum Charts and Charting for Quality Improvement. |
| Jensen: Bayesian Networks and Decision Graphs. |
| Marchette: Computer Intrusion Detection and Network Monitoring:<br>A Statistical Viewpoint. |
| Rubinstein and Kroese: The Cross-Entropy Method: A Unified Approach to<br>Combinatorial Optimization, Monte Carlo Simulation, and Machine Learning. |
| Studený: Probabilistic Conditional Independence Structures. |
| Vapnik: The Nature of Statistical Learning Theory, Second Edition. |
| Wallace: Statistical and Inductive Inference by Minimum Massage Length. |
{3}------------------------------------------------
Christopher M. Bishop
Image /page/3/Picture/2 description: The image shows the Springer logo, which consists of a chess knight piece to the left of the word "Springer" in a serif font.
{4}------------------------------------------------
Christopher M. Bishop F.R.Eng. Assistant Director Microsoft Research Ltd Cambridge CB3 0FB, U.K. cmbishop@microsoft.com http://research.microsoft.com/~cmbishop
Series Editors Michael Jordan Department of Computer Science and Department of Statistics University of California, Berkeley Berkeley, CA 94720 USA
Professor Jon Kleinberg Department of Computer Science Cornell University Ithaca, NY 14853 USA
Bernhard Schölkopf Max Planck Institute for Biological Cybernetics Spemannstrasse 38 72076 Tübingen Germany
Library of Congress Control Number: 2006922522
ISBN-10: 0-387-31073-8 ISBN-13: 978-0387-31073-2
Printed on acid-free paper.
© 2006 Springer Science+Business Media, LLC
All rights reserved. This work may not be translated or copied in whole or in part without the written permission of the publisher (Springer Science+Business Media, LLC, 233 Spring Street, New York, NY 10013, USA), except for brief excerpts in connection with reviews or scholarly analysis. Use in connection with any form of information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed is forbidden.
The use in this publication of trade names, trademarks, service marks, and similar terms, even if they are not identified as such, is not to be taken as an expression of opinion as to whether or not they are subject to proprietary rights.
Printed in Singapore. (KYO)
987654321
springer.com
{5}------------------------------------------------
Jenna, Mark, and Hugh
Image /page/5/Picture/2 description: A family of four is kneeling on a beach, wearing eclipse glasses. The father is on the left, wearing a red shirt. Next to him is a boy wearing a green shirt with a mountain on it. Next to him is another boy wearing a gray shirt. The mother is on the right, wearing a green shirt. The beach is in the background, with the ocean visible in the distance.
Total eclipse of the sun, Antalya, Turkey, 29 March 2006.
{6}------------------------------------------------
Pattern recognition has its origins in engineering, whereas machine learning grew out of computer science. However, these activities can be viewed as two facets of the same field, and together they have undergone substantial development over the past ten years. In particular, Bayesian methods have grown from a specialist niche to become mainstream, while graphical models have emerged as a general framework for describing and applying probabilistic models. Also, the practical applicability of Bayesian methods has been greatly enhanced through the development of a range of approximate inference algorithms such as variational Bayes and expectation propagation. Similarly, new models based on kernels have had significant impact on both algorithms and applications.
This new textbook reflects these recent developments while providing a comprehensive introduction to the fields of pattern recognition and machine learning. It is aimed at advanced undergraduates or first year PhD students, as well as researchers and practitioners, and assumes no previous knowledge of pattern recognition or machine learning concepts. Knowledge of multivariate calculus and basic linear algebra is required, and some familiarity with probabilities would be helpful though not essential as the book includes a self-contained introduction to basic probability theory.
Because this book has broad scope, it is impossible to provide a complete list of references, and in particular no attempt has been made to provide accurate historical attribution of ideas. Instead, the aim has been to give references that offer greater detail than is possible here and that hopefully provide entry points into what, in some cases, is a very extensive literature. For this reason, the references are often to more recent textbooks and review articles rather than to original sources.
The book is supported by a great deal of additional material, including lecture slides as well as the complete set of figures used in the book, and the reader is encouraged to visit the book web site for the latest information:
http://research.microsoft.com/~cmbishop/PRML
{7}------------------------------------------------
The exercises that appear at the end of every chapter form an important component of the book. Each exercise has been carefully chosen to reinforce concepts explained in the text or to develop and generalize them in significant ways, and each is graded according to difficulty ranging from (⋆) , which denotes a simple exercise taking a few minutes to complete, through to (⋆⋆⋆) , which denotes a significantly more complex exercise.
It has been difficult to know to what extent these solutions should be made widely available. Those engaged in self study will find worked solutions very beneficial, whereas many course tutors request that solutions be available only via the publisher so that the exercises may be used in class. In order to try to meet these conflicting requirements, those exercises that help amplify key points in the text, or that fill in important details, have solutions that are available as a PDF file from the book web site. Such exercises are denoted by www. Solutions for the remaining exercises are available to course tutors by contacting the publisher (contact details are given on the book web site). Readers are strongly encouraged to work through the exercises unaided, and to turn to the solutions only as required.
Although this book focuses on concepts and principles, in a taught course the students should ideally have the opportunity to experiment with some of the key algorithms using appropriate data sets. A companion volume (Bishop and Nabney, 2008) will deal with practical aspects of pattern recognition and machine learning, and will be accompanied by Matlab software implementing most of the algorithms discussed in this book.
Acknowledgements
First of all I would like to express my sincere thanks to Markus Svensén who has provided immense help with preparation of figures and with the typesetting of the book in LATEX. His assistance has been invaluable.
I am very grateful to Microsoft Research for providing a highly stimulating research environment and for giving me the freedom to write this book (the views and opinions expressed in this book, however, are my own and are therefore not necessarily the same as those of Microsoft or its affiliates).
Springer has provided excellent support throughout the final stages of preparation of this book, and I would like to thank my commissioning editor John Kimmel for his support and professionalism, as well as Joseph Piliero for his help in designing the cover and the text format and MaryAnn Brickner for her numerous contributions during the production phase. The inspiration for the cover design came from a discussion with Antonio Criminisi.
I also wish to thank Oxford University Press for permission to reproduce excerpts from an earlier textbook, Neural Networks for Pattern Recognition (Bishop, 1995a). The images of the Mark 1 perceptron and of Frank Rosenblatt are reproduced with the permission of Arvin Calspan Advanced Technology Center. I would also like to thank Asela Gunawardana for plotting the spectrogram in Figure 13.1, and Bernhard Schölkopf for permission to use his kernel PCA code to plot Figure 12.17.
{8}------------------------------------------------
Many people have helped by proofreading draft material and providing comments and suggestions, including Shivani Agarwal, Cédric Archambeau, Arik Azran, Andrew Blake, Hakan Cevikalp, Michael Fourman, Brendan Frey, Zoubin Ghahramani, Thore Graepel, Katherine Heller, Ralf Herbrich, Geoffrey Hinton, Adam Johansen, Matthew Johnson, Michael Jordan, Eva Kalyvianaki, Anitha Kannan, Julia Lasserre, David Liu, Tom Minka, Ian Nabney, Tonatiuh Pena, Yuan Oi, Sam Roweis, Balaji Sanjiya, Toby Sharp, Ana Costa e Silva, David Spiegelhalter, Jay Stokes, Tara Symeonides, Martin Szummer, Marshall Tappen, Ilkay Ulusoy, Chris Williams, John Winn, and Andrew Zisserman.
Finally, I would like to thank my wife Jenna who has been hugely supportive throughout the several years it has taken to write this book.
Chris Bishop Cambridge February 2006
{9}------------------------------------------------
{10}------------------------------------------------
I have tried to keep the mathematical content of the book to the minimum necessary to achieve a proper understanding of the field. However, this minimum level is nonzero, and it should be emphasized that a good grasp of calculus, linear algebra, and probability theory is essential for a clear understanding of modern pattern recognition and machine learning techniques. Nevertheless, the emphasis in this book is on conveying the underlying concepts rather than on mathematical rigour.
I have tried to use a consistent notation throughout the book, although at times this means departing from some of the conventions used in the corresponding research literature. Vectors are denoted by lower case bold Roman letters such as x , and all vectors are assumed to be column vectors. A superscript T denotes the transpose of a matrix or vector, so that xT will be a row vector. Uppercase bold roman letters, such as M, denote matrices. The notation (w denotes a row vector with elements, while the corresponding column vector is written as
The notation [a,b] is used to denote the closed interval from a to b, that is the interval including the values a and b themselves, while (a,b) denotes the corresponding open interval, that is the interval excluding a and b. Similarly, [a,b) denotes an interval that includes but excludes . For the most part, however, there will be little need to dwell on such refinements as whether the end points of an interval are included or not.
The M×M identity matrix (also known as the unit matrix) is denoted IM , which will be abbreviated to I where there is no ambiguity about it dimensionality. It has elements that equal 1 if and 0 if .
A functional is denoted f[y] where y(x) is some function. The concept of a functional is discussed in Appendix D.
The notation g(x)=O(f(x)) denotes that ∣f(x)/g(x)∣ is bounded as . For instance if , then .
The expectation of a function f(x,y) with respect to a random variable x is denoted by Ex[f(x,y)] . In situations where there is no ambiguity as to which variable is being averaged over, this will be simplified by omitting the suffix, for instance
{11}------------------------------------------------
E[x] . If the distribution of x is conditioned on another variable z, then the corresponding conditional expectation will be written Ex[f(x)∣z] . Similarly, the variance is denoted var , and for vector variables the covariance is written cov . We shall also use as a shorthand notation for . The concepts of expectations and covariances are introduced in Section 1.2.2.
If we have N values x1,…,xN of a D-dimensional vector x , we can combine the observations into a data matrix in which the row of corresponds to the row vector . Thus the element of corresponds to the element of the observation . For the case of one-dimensional variables we shall denote such a matrix by , which is a column vector whose element is . Note that (which has dimensionality ) uses a different typeface to distinguish it from (which has dimensionality ).
{12}------------------------------------------------
| Preface | | | vi |
|---|
| Mathematical notation | | | x |
| Contents | | | xii |
| 1 | | Introduction | | 1 |
| 1.1 | | Example: Polynomial Curve Fitting | 4 |
| 1.2 | | Probability Theory | 12 |
| | 1.2.1 | Probability densities | 17 |
| |
{13}------------------------------------------------
{14}------------------------------------------------
{15}------------------------------------------------
{16}------------------------------------------------
{17}------------------------------------------------
| 10.2.1 | Variational distribution | 475 |
|---|
| 10.2.2 | Variational lower bound | 481 |
| 10.2.3 | Predictive density | 482 |
| 10.2.4 | Determining the number of components | 483 |
| 10.2.5 | Induced factorizations | 485 |
| 10.3 | Variational Linear Regression | 486 |
| 10.3.1 | Variational distribution | 486 |
| 10.3.2 | Predictive distribution | 488 |
| 10.3.3 | Lower bound | 489 |
| 10.4 | Exponential Family Distributions | 490 |
| 10.4.1 | Variational message passing |
{18}------------------------------------------------