You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Chapter one presents the Cyc "philosophy" or paradigm. Chapter 2 presents a global overview of Cyc, including its representation language, the ontology f its knowledge base, and teh environment which it functions. Chapter 3 goes into much more detail on the representation language, including the structure and function of Cyc's metalevel agenda mechanism. Chapter 4 presents heuristics for ontological engineering, the pricnples upon whcihc Cyc's ontology is based. Chapter 5 the provides a glimpse into the global ontology of knowledge. Chapter 6 explains how we "solve" (i.e., adequately handle) the various tough representation thorns (substances, time, space, structures, composite mental/physical objects, beliefs, uncertainty, etc. ). Chapter 7 surveys the mistakes that new knowledge tnereres most often commit. Chapter 8, the concluding chapter, includes a brief status report on the project, and a statement of goals and a timetable for the coming five years.
AM: discovery in mathematics as heuristic search. Example: discovering prime numbers. Agenda. Heuristics. Concepts. Results. Evaluating AM. Appendixes. Concepts. Heuristics. Trace. Bibliography. Teiresias: applications of meta-level knowledge. Explanation. Knowledge acquisition. Strategies. Conclusions. References.
The ability to learn is one of the most fundamental attributes of intelligent behavior. Consequently, progress in the theory and computer modeling of learn ing processes is of great significance to fields concerned with understanding in telligence. Such fields include cognitive science, artificial intelligence, infor mation science, pattern recognition, psychology, education, epistemology, philosophy, and related disciplines. The recent observance of the silver anniversary of artificial intelligence has been heralded by a surge of interest in machine learning-both in building models of human learning and in understanding how machines might be endowed with the ability to learn. This renewed i...
An exhaustive work that represents a landmark exploration of both the philosophical and methodological issues surrounding the search for true artificial intelligence. Distinguished psychologists, computer scientists, philosophers, and programmers from around the world debate weighty issues such as whether a self-conscious computer would create an internet ‘world mind’. This hugely important volume explores nothing less than the future of the human race itself.
In this mind-expanding book, scientific pioneer Marvin Minsky continues his groundbreaking research, offering a fascinating new model for how our minds work. He argues persuasively that emotions, intuitions, and feelings are not distinct things, but different ways of thinking. By examining these different forms of mind activity, Minsky says, we can explain why our thought sometimes takes the form of carefully reasoned analysis and at other times turns to emotion. He shows how our minds progress from simple, instinctive kinds of thought to more complex forms, such as consciousness or self-awareness. And he argues that because we tend to see our thinking as fragmented, we fail to appreciate what powerful thinkers we really are. Indeed, says Minsky, if thinking can be understood as the step-by-step process that it is, then we can build machines -- artificial intelligences -- that not only can assist with our thinking by thinking as we do but have the potential to be as conscious as we are. Eloquently written, The Emotion Machine is an intriguing look into a future where more powerful artificial intelligences await.
This best-selling book is now available in an inexpensive softcover format. Imagine living during the Renaissance and being able to interview that eras greatest scientists about their inspirations, discoveries, and personal interests. The latter half of our century has seen its own Renaissance - informations technology has changed irrevocable the way we live, work, and think about the world. We are fortunate, therefore, that the authors of Out of Their Minds have been able to talk so candidly with the founders of computer science.
Most aspects of our private and social lives—our safety, the integrity of the financial system, the functioning of utilities and other services, and national security—now depend on computing. But how can we know that this computing is trustworthy? In Mechanizing Proof, Donald MacKenzie addresses this key issue by investigating the interrelations of computing, risk, and mathematical proof over the last half century from the perspectives of history and sociology. His discussion draws on the technical literature of computer science and artificial intelligence and on extensive interviews with participants. MacKenzie argues that our culture now contains two ideals of proof: proof as tradition...
A fascinating portrait of the people, programs, and ideas that have driven the search to create thinking machines. Rich with anecdotes about the founders and leaders and their celebrated feuds and intellectual gamesmanship, AI chronicles their dramatic successes and failures and discusses the next nece ssary breakthrough: teaching computers "common sense".
In the early days of artificial intelligence it was widely believed that powerful computers would, in the future, enable mankind to solve many real-world problems through the use of very general inference procedures and very little domain-specific knowledge. With the benefit of hindsight, this view can now be called quite naive. The field of expert systems, which developed during the early 1970s, embraced the paradigm that Knowledge is Power - even very fast computers require very large amounts of very specific knowledge to solve non-trivial problems. Thus, the field of large knowledge bases has emerged.