Goto

Collaborating Authors

 taxnodes:Technology: Overviews




Verification and Validation of Knowledge-Based Systems: Report on Two 1997 Events

AI Magazine

This article gives an overview of two recent events on the validation and verification of knowledge-based systems: (1) the 1997 European Symposium on the Verification and Validation of Knowledge-Based Systems (EUROVAV-97) and (2) the Four-teenth National Conference on Artificial Intelligence Workshop on the Verification and Validation of Knowledge- Based Systems. To give an integrated view of current research issues in this field, we organized this article along thematic lines, unifying the reports of the two separate meetings. Our report focuses on the trends that we think will be important in the near future in this field.


A Review of How the Mind Works

AI Magazine

Book review of "How the Mind Works, Steven Pinker, W. W. Norton & Co., New York, 1997, 660 pp., $29.90, ISBN 0-393- 04535-8. Book review of "How the Mind Works, Steven Pinker, W. W. Norton & Co., New York, 1997, 660 pp., $29.90, ISBN 0-393- 04535-8.


Empirical Methods in AI

AI Magazine

In the last few years, we have witnessed a major growth in the use of empirical methods in AI. In part, this growth has arisen from the availability of fast networked computers that allow certain problems of a practical size to be tackled for the first time. There is also a growing realization that results obtained empirically are no less valuable than theoretical results. I identify some of the emerging trends in this area by describing a recent workshop that brought together researchers using empirical methods as far apart as robotics and knowledge-based systems.


Computer Bridge: A Big Win for AI Planning

AI Magazine

A computer program that uses AI planning techniques is now the world champion computer program in the game of Contract Bridge. As reported in The New York Times and The Washington Post, this program -- a new version of Great Game Products' BRIDGE BARON program -- won the Baron Barclay World Bridge Computer Challenge, an international competition hosted in July 1997 by the American Contract Bridge League. It is well known that the game tree search techniques used in computer programs for games such as Chess and Checkers work differently from how humans think about such games. This article gives an overview of the planning techniques that we have incorporated into the BRIDGE BARON and discusses what the program's victory signifies for research on AI planning and game playing.


Empirical Methods in AI

AI Magazine

In the last few years, we have witnessed a major growth in the use of empirical methods in AI. In part, this growth has arisen from the availability of fast networked computers that allow certain problems of a practical size to be tackled for the first time. There is also a growing realization that results obtained empirically are no less valuable than theoretical results. Experiments can, for example, offer solutions to problems that have defeated a theoretical attack and provide insights that are not possible from a purely theoretical analysis. I identify some of the emerging trends in this area by describing a recent workshop that brought together researchers using empirical methods as far apart as robotics and knowledge-based systems.



Mind: Introduction to Cognitive Science -- A Review

AI Magazine

Understanding the mind is one of the great "holy grails" of twentieth-century research. Regardless of training, most people who come in contact with the field of AI are at least partially motivated by the glimmer of hope that they will get a better understanding of the mind. This quest, of course, is a rich and complex one. It is easy to get mired in minutiae along the way, be they the optimization of an algorithm, the details of a mental model, or the intricacies of a logical argument.


A Review of Machine Learning

AI Magazine

Tom Mitchell states that the goal of his text Machine Learning is to present the key algorithms and theory that form the core of machine learning. Not only has Mitchell suc-ceeded in his primary goal, but he has accomplished a number of other important goals.