Rules for Reasoning

Rules for Reasoning
Author: Richard E. Nisbett
Publisher: Psychology Press
Total Pages: 431
Release: 2013-02-01
Genre: Psychology
ISBN: 1134775466

This book examines two questions: Do people make use of abstract rules such as logical and statistical rules when making inferences in everyday life? Can such abstract rules be changed by training? Contrary to the spirit of reductionist theories from behaviorism to connectionism, there is ample evidence that people do make use of abstract rules of inference -- including rules of logic, statistics, causal deduction, and cost-benefit analysis. Such rules, moreover, are easily alterable by instruction as it occurs in classrooms and in brief laboratory training sessions. The fact that purely formal training can alter them and that those taught in one content domain can "escape" to a quite different domain for which they are also highly applicable shows that the rules are highly abstract. The major implication for cognitive science is that people are capable of operating with abstract rules even for concrete, mundane tasks; therefore, any realistic model of human inferential capacity must reflect this fact. The major implication for education is that people can be far more broadly influenced by training than is generally supposed. At high levels of formality and abstraction, relatively brief training can alter the nature of problem-solving for an infinite number of content domains.

Principles of Knowledge Representation and Reasoning

Principles of Knowledge Representation and Reasoning
Author: Bernhard Nebel
Publisher: Morgan Kaufmann Publishers
Total Pages: 834
Release: 1992
Genre: Computers
ISBN:

Stringently reviewed papers presented at the October 1992 meeting held in Cambridge, Mass., address such topics as nonmonotonic logic; taxonomic logic; specialized algorithms for temporal, spatial, and numerical reasoning; and knowledge representation issues in planning, diagnosis, and natural langu

Reasoning, Necessity, and Logic

Reasoning, Necessity, and Logic
Author: Willis F. Overton
Publisher: Psychology Press
Total Pages: 340
Release: 2013-05-13
Genre: Psychology
ISBN: 1134735146

A presentation of current work that systematically explores and articulates the nature, origin and development of reasoning, this volume's primary aim is to describe and examine contemporary theory and research findings on the topic of deductive reasoning. Many contributors believe concepts such as "structure," "competence," and "mental logic" are necessary features for a complete understanding of reasoning. As the book emanates from a Jean Piaget Symposium, his theory of intellectual development as the standard contemporary treatment of deductive reasoning is used as the context in which the contributors elaborate on their own perceptions.

Logic Programming and Nonmonotonic Reasoning

Logic Programming and Nonmonotonic Reasoning
Author: Vladimir Lifschitz
Publisher: Springer Science & Business Media
Total Pages: 375
Release: 2004-02-12
Genre: Computers
ISBN: 354020721X

This book constitutes the refereed proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2004, held in Fort Lauderdale, Florida, USA in January 2004. The 24 revised full papers presented together with 8 system descriptions were carefully reviewed and selected for presentation. Among the topics addressed are declarative logic programming, nonmonotonic reasoning, knowledge representation, combinatorial search, answer set programming, constraint programming, deduction in ontologies, and planning.

Automated Reasoning

Automated Reasoning
Author: Jasmin Blanchette
Publisher: Springer Nature
Total Pages: 756
Release: 2022
Genre: Automatic theorem proving
ISBN: 3031107691

This is an open access book. It is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Reasoning in Quantum Theory

Reasoning in Quantum Theory
Author: Maria Luisa Dalla Chiara
Publisher: Springer Science & Business Media
Total Pages: 301
Release: 2013-03-09
Genre: Mathematics
ISBN: 9401705267

"Is quantum logic really logic?" This book argues for a positive answer to this question once and for all. There are many quantum logics and their structures are delightfully varied. The most radical aspect of quantum reasoning is reflected in unsharp quantum logics, a special heterodox branch of fuzzy thinking. For the first time, the whole story of Quantum Logic is told; from its beginnings to the most recent logical investigations of various types of quantum phenomena, including quantum computation. Reasoning in Quantum Theory is designed for logicians, yet amenable to advanced graduate students and researchers of other disciplines.

Principles of Knowledge Representation and Reasoning

Principles of Knowledge Representation and Reasoning
Author: Jon Doyle
Publisher: Morgan Kaufmann
Total Pages: 680
Release: 1994
Genre: Computers
ISBN:

The proceedings of KR '94 comprise 55 papers on topics including deduction an search, description logics, theories of knowledge and belief, nonmonotonic reasoning and belief revision, action and time, planning and decision-making and reasoning about the physical world, and the relations between KR

Logic Programming and Nonmonotonic Reasoning

Logic Programming and Nonmonotonic Reasoning
Author: Thomas Eiter
Publisher: Springer
Total Pages: 460
Release: 2003-08-06
Genre: Computers
ISBN: 3540454020

This book constitutes the refereed proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2001, held in Vienna, Austria in September 2001. The 22 revised full papers and eleven system descriptions presented with five invited papers were carefully reviewed and rigorously selected. Among the topics addressed are computational logic, declarative information extraction, model checking, inductive logic programming, default theories, stable logic programming, program semantics, incomplete information processing, concept learning, declarative specification, Prolog programming, many-valued logics, etc.

Logic Programming and Nonmonotonic Reasoning

Logic Programming and Nonmonotonic Reasoning
Author: Chitta Baral
Publisher: Springer
Total Pages: 465
Release: 2005-09-21
Genre: Computers
ISBN: 3540318275

These are the proceedings of the 8th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2005) ... the eighth conference was held in Diamante, Italy, from 5th to 8th of September 2005.

Principles of Knowledge Representation and Reasoning

Principles of Knowledge Representation and Reasoning
Author: James Allen
Publisher: Morgan Kaufmann
Total Pages: 628
Release: 1991
Genre: Computers
ISBN:

The proceedings of the Second International Conference on [title] held in Cambridge, Massachusetts, April 1991, comprise 55 papers on topics including the logical specifications of reasoning behaviors and representation formalisms, comparative analysis of competing algorithms and formalisms, and ana