Author: John McCarthy
Publisher: Intellect Books
ISBN:
Category : Computers
Languages : en
Pages : 272
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.
Formalizing Common Sense
Author: John McCarthy
Publisher: Intellect Books
ISBN:
Category : Computers
Languages : en
Pages : 272
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.
Publisher: Intellect Books
ISBN:
Category : Computers
Languages : en
Pages : 272
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.
Applications of Circumscription to Formalizing Common Sense Knowledge
Author: John McCarthy
Publisher:
ISBN:
Category : Artificial intelligence
Languages : en
Pages : 29
Book Description
Publisher:
ISBN:
Category : Artificial intelligence
Languages : en
Pages : 29
Book Description
Philosophical Logic and Artificial Intelligence
Author: Richmond H. Thomason
Publisher: Springer Science & Business Media
ISBN: 9400924488
Category : Philosophy
Languages : en
Pages : 230
Book Description
cians concerned with using logical tools in philosophy have been keenly aware of the limitations that arise from the original con centration of symbolic logic on the idiom of mathematics, and many of them have worked to create extensions of the received logical theories that would make them more generally applicable in philosophy. Carnap's Testability and Meaning, published in 1936 and 1937, was a good early example of this sort of research, motivated by the inadequacy of first-order formalizations of dis 'This sugar cube is soluble in water'. positional sentences like And in fact there is a continuous history of work on this topic, extending from Carnap's paper to Shoham's contribution to the present volume . . Much of the work in philosophical logic, and much of what has appeared in The Journal of Philosophical Logic, was mo tivated by similar considerations: work in modal logic (includ ing tense, deontic, and epistemic logic), intensional logics, non declaratives, presuppositions, and many other topics. In this sort of research, sin.ce the main point is to devise new formalisms, the technical development tends to be rather shallow in comparison with mathematical logic, though it is sel dom absent: theorems need to be proved in order to justify the formalisms, and sometimes these are nontrivial. On the other hand, much effort has to go into motivating a logical innovation.
Publisher: Springer Science & Business Media
ISBN: 9400924488
Category : Philosophy
Languages : en
Pages : 230
Book Description
cians concerned with using logical tools in philosophy have been keenly aware of the limitations that arise from the original con centration of symbolic logic on the idiom of mathematics, and many of them have worked to create extensions of the received logical theories that would make them more generally applicable in philosophy. Carnap's Testability and Meaning, published in 1936 and 1937, was a good early example of this sort of research, motivated by the inadequacy of first-order formalizations of dis 'This sugar cube is soluble in water'. positional sentences like And in fact there is a continuous history of work on this topic, extending from Carnap's paper to Shoham's contribution to the present volume . . Much of the work in philosophical logic, and much of what has appeared in The Journal of Philosophical Logic, was mo tivated by similar considerations: work in modal logic (includ ing tense, deontic, and epistemic logic), intensional logics, non declaratives, presuppositions, and many other topics. In this sort of research, sin.ce the main point is to devise new formalisms, the technical development tends to be rather shallow in comparison with mathematical logic, though it is sel dom absent: theorems need to be proved in order to justify the formalisms, and sometimes these are nontrivial. On the other hand, much effort has to go into motivating a logical innovation.
A Formal Theory of Commonsense Psychology
Author: Andrew S. Gordon
Publisher: Cambridge University Press
ISBN: 1107151007
Category : Computers
Languages : en
Pages : 585
Book Description
This book formalizes commonsense knowledge to enable artificial intelligence to understand and engage with the mental lives of people.
Publisher: Cambridge University Press
ISBN: 1107151007
Category : Computers
Languages : en
Pages : 585
Book Description
This book formalizes commonsense knowledge to enable artificial intelligence to understand and engage with the mental lives of people.
Common Sense, Reasoning, & Rationality
Author: Renée Elio
Publisher: Oxford University Press, USA
ISBN: 0195147677
Category : Common sense
Languages : en
Pages : 294
Book Description
While common sense and rationality often have been viewed as two distinct features in a unitifed cognitive map, this this volume offers novel, even paradoxical views of the relationship. Touching on various disciplines, it considers what constitutes human rationality, behavior, and intelligence.
Publisher: Oxford University Press, USA
ISBN: 0195147677
Category : Common sense
Languages : en
Pages : 294
Book Description
While common sense and rationality often have been viewed as two distinct features in a unitifed cognitive map, this this volume offers novel, even paradoxical views of the relationship. Touching on various disciplines, it considers what constitutes human rationality, behavior, and intelligence.
Common Sense, Reasoning, and Rationality
Author: Renee Elio
Publisher: Oxford University Press
ISBN: 0198033680
Category : Philosophy
Languages : en
Pages : 294
Book Description
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.
Publisher: Oxford University Press
ISBN: 0198033680
Category : Philosophy
Languages : en
Pages : 294
Book Description
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.
"Structured Common Sense"
Introduction and Reason in common sense
Author: George Santayana
Publisher:
ISBN:
Category : Philosophy
Languages : en
Pages : 312
Book Description
Publisher:
ISBN:
Category : Philosophy
Languages : en
Pages : 312
Book Description
Commonsense Reasoning
Author: Erik T. Mueller
Publisher: Morgan Kaufmann
ISBN: 0128016477
Category : Computers
Languages : en
Pages : 517
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: An Event Calculus Based Approach 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 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 that span many areas of the commonsense world. The Second Edition features new chapters on commonsense reasoning using unstructured information including the Watson system, commonsense reasoning using answer set programming, and techniques for acquisition of commonsense knowledge including crowdsourcing. Understand techniques for automated commonsense reasoning Incorporate commonsense reasoning into software solutions Acquire a broad understanding of the field of commonsense reasoning Gain comprehensive knowledge of the human capacity for commonsense reasoning
Publisher: Morgan Kaufmann
ISBN: 0128016477
Category : Computers
Languages : en
Pages : 517
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: An Event Calculus Based Approach 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 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 that span many areas of the commonsense world. The Second Edition features new chapters on commonsense reasoning using unstructured information including the Watson system, commonsense reasoning using answer set programming, and techniques for acquisition of commonsense knowledge including crowdsourcing. Understand techniques for automated commonsense reasoning Incorporate commonsense reasoning into software solutions Acquire a broad understanding of the field of commonsense reasoning Gain comprehensive knowledge of the human capacity for commonsense reasoning
The Emperor's New Mind
Author: Roger Penrose
Publisher: Oxford Paperbacks
ISBN: 0192861980
Category : Computers
Languages : en
Pages : 634
Book Description
Winner of the Wolf Prize for his contribution to our understanding of the universe, Penrose takes on the question of whether artificial intelligence will ever approach the intricacy of the human mind. 144 illustrations.
Publisher: Oxford Paperbacks
ISBN: 0192861980
Category : Computers
Languages : en
Pages : 634
Book Description
Winner of the Wolf Prize for his contribution to our understanding of the universe, Penrose takes on the question of whether artificial intelligence will ever approach the intricacy of the human mind. 144 illustrations.