Formalizing Common Sense


Book Description

This is a collection of papers written by John McCarthy on artificial intelligence. The papers range from informal surveys written for a general audience to technical discussions of research problems that should be of interest to specialists.




Commonsense Reasoning


Book Description

To endow computers with common sense is one of the major long-term goals of Artificial Intelligence research. One approach to this problem is to formalize commonsense reasoning using mathematical logic. Commonsense Reasoning is a detailed, high-level reference on logic-based commonsense reasoning. It uses the event calculus, a highly powerful and usable tool for commonsense reasoning, which Erik T. Mueller demonstrates as the most effective tool for the broadest range of applications. He provides an up-to-date work promoting the use of the event calculus for commonsense reasoning, and bringing into one place information scattered across many books and papers. Mueller shares the knowledge gained in using the event calculus and extends the literature with detailed event calculus solutions to problems that span many areas of the commonsense world. - Covers key areas of commonsense reasoning including action, change, defaults, space, and mental states. - The first full book on commonsense reasoning to use the event calculus. - Contextualizes the event calculus within the framework of commonsense reasoning, introducing the event calculus as the best method overall. - Focuses on how to use the event calculus formalism to perform commonsense reasoning, while existing papers and books examine the formalisms themselves. - Includes fully worked out proofs and circumscriptions for every example.










Handbook of Knowledge Representation


Book Description

Handbook of Knowledge Representation describes the essential foundations of Knowledge Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up-to-date review of twenty-five key topics in knowledge representation, written by the leaders of each field. It includes a tutorial background and cutting-edge developments, as well as applications of Knowledge Representation in a variety of AI systems. This handbook is organized into three parts. Part I deals with general methods in Knowledge Representation and reasoning and covers such topics as classical logic in Knowledge Representation; satisfiability solvers; description logics; constraint programming; conceptual graphs; nonmonotonic reasoning; model-based problem solving; and Bayesian networks. Part II focuses on classes of knowledge and specialized representations, with chapters on temporal representation and reasoning; spatial and physical reasoning; reasoning about knowledge and belief; temporal action logics; and nonmonotonic causal logic. Part III discusses Knowledge Representation in applications such as question answering; the semantic web; automated planning; cognitive robotics; multi-agent systems; and knowledge engineering. This book is an essential resource for graduate students, researchers, and practitioners in knowledge representation and AI. * Make your computer smarter* Handle qualitative and uncertain information* Improve computational tractability to solve your problems easily




Representations of Commonsense Knowledge


Book Description

Representations of Commonsense Knowledge provides a rich language for expressing commonsense knowledge and inference techniques for carrying out commonsense knowledge. This book provides a survey of the research on commonsense knowledge. Organized into 10 chapters, this book begins with an overview of the basic ideas on artificial intelligence commonsense reasoning. This text then examines the structure of logic, which is roughly analogous to that of a programming language. Other chapters describe how rules of universal validity can be applied to facts known with absolute certainty to deduce other facts known with absolute certainty. This book discusses as well some prominent issues in plausible inference. The final chapter deals with commonsense knowledge about the interrelations and interactions among agents and discusses some issues in human and social interactions that have been studied in the artificial intelligence literature. This book is a valuable resource for students on a graduate course on knowledge representation.




Knowledge Representation and Reasoning


Book Description

Knowledge representation is at the very core of a radical idea for understanding intelligence. Instead of trying to understand or build brains from the bottom up, its goal is to understand and build intelligent behavior from the top down, putting the focus on what an agent needs to know in order to behave intelligently, how this knowledge can be represented symbolically, and how automated reasoning procedures can make this knowledge available as needed. This landmark text takes the central concepts of knowledge representation developed over the last 50 years and illustrates them in a lucid and compelling way. Each of the various styles of representation is presented in a simple and intuitive form, and the basics of reasoning with that representation are explained in detail. This approach gives readers a solid foundation for understanding the more advanced work found in the research literature. The presentation is clear enough to be accessible to a broad audience, including researchers and practitioners in database management, information retrieval, and object-oriented systems as well as artificial intelligence. This book provides the foundation in knowledge representation and reasoning that every AI practitioner needs. - Authors are well-recognized experts in the field who have applied the techniques to real-world problems - Presents the core ideas of KR&R in a simple straight forward approach, independent of the quirks of research systems - Offers the first true synthesis of the field in over a decade




Cognitive Patterns in Science and Common Sense


Book Description

This collection of 17 articles offers an overview of the philosophical activities of a group of philosophers (who have been) working at the Groningen University. The meta-methodological assumption which unifies the research of this group, holds that there is a way to do philosophy which is a middle course between abstract normative philosophy of science and descriptive social studies of science. On the one hand it is argued with social studies of science that philosophy should take notice of what scientists actually do. On the other hand, however, it is claimed that philosophy can and should aim to reveal cognitive patterns in the processes and products of scientific and common sense knowledge. Since it is thought that those patterns can function as guidelines in new research and/or in research in other disciplines, philosophy can nevertheless hold on to the normative aim which is characteristic of 'classical' philosophy of science. Compared to this common assumption, there is a diversity of subjects. Some papers deal with general problems of science, knowledge, cognition and argumentation, others with topics relating to foundational problems of particular sciences. Therefore this volume is of interest to philosophers of science, to philosophers of knowledge and argumentation in general, to philosophers of mind, as well as for scientists working in the physical and applied sciences, biology, psychology and economy who are interested in the foundations of their disciplines. After a foreword by Leszek Nowak and a general introduction by the editors, the book is divided into four parts, with special introductions. - I: Conceptual Analysis in Service of Various Research Programmes (Henk Zandvoort, Rein Vos, Rick Looijen, Gerben Stavenga, Renée Dalitz); - II: The Logic of the Evaluation of Arguments, Hypotheses, Default Rules, and Interesting Theorems (Erik Krabbe, Theo Kuipers, Alfons Keupink, Maarten Janssen/Yao-Hua Tan, Bert Hamminga); - III: Three Challenges to the Truth Approximation Programme (Sjoerd Zwart, Hinne Hettema/Theo Kuipers, Roberto Festa); - IV: Explicating Psychological Intuitions (Anne-Ruth Mackor, Jeanne Peijnenburg, Lex Guichard, Michel ter Hark). The Groningen research group was recently qualified, by an official international assessment committee, as one of the best philosophy research groups in the Netherlands.




Artificial Intelligence and Computer Vision


Book Description

Current research in artificial intelligence and computer vision presented at the Israeli Symposium are combined in this volume to present an invaluable resource for students, industry and research organizations. Papers have been contributed from researchers worldwide, showing the growing interest of the international community in the work done in Israel. The papers selected are varied, reflecting the most contemporary research trends.