Formalizing Common Sense
Download Formalizing Common Sense PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Formalizing Common Sense book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
Formalizing Common Sense
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.
Common Sense, Reasoning, and Rationality
Author: Renee Elio
language: en
Publisher: Oxford University Press
Release Date: 2002-02-07
As the eleventh volume in the New Directions in Cognitive Science series (formerly the Vancouver Studies in Cognitive Science series), this work promises superb scholarship and interdisciplinary appeal. It addresses three areas of current and varied interest: common sense, reasoning, and rationality. While common sense and rationality often have been viewed as two distinct features in a unified cognitive map, this volume offers novel, even paradoxical, views of the relationship. Comprised of outstanding essays from distinguished philosophers, it considers what constitutes human rationality, behavior, and intelligence covering diverse areas of philosophy, psychology, cognitive science, and computer science. Indeed, it is at the forefront of cognitive research and promises to be of unprecedented influence across numerous disciplines.
Commonsense Reasoning
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.