This paper describes KRL, a Knowledge Representation Language designed for use in understander systems. It outlines both the general concepts which underlie our research and the details of KRL‐0, an experimental implementation of some of these concepts. KRL is an attempt to integrate procedural knowledge with a broad base of declarative forms. These forms provide a variety of ways to express the logical structure of the knowledge, in order to give flexibility in associating procedures (for memory and reasoning) with specific (...) pieces of knowledge, and to control the relative accessibility of different facts and descriptions. The formalism for declarative knowledge is based on structured conceptual objects with associated descriptions. These objects form a network of memory units with several different sorts of linkages, each having well‐specified implications for the retrieval process. Procedures can be associated directly with the internal structure of a conceptual object. This procedurul attachment allows the steps for a particular operation to be determined by characteristics of the specific entities involved.The control structure of KRL is based on the belief that the next generation of intelligent programs will integrate data‐directed and goal‐directed processing by using multiprocessing. It provides for a priority‐ordered multiprocess agenda with explicit (user‐provided) strategies for scheduling and resource allocation. It provides procedure directories which operate along with process frameworks to allow procedural parameterization of the fundamental system processes for building, comparing, and retrieving memory structures. Future development of KRL will include integrating procedure definition with the descriptive formalism. (shrink)

It seems to me that the ingredients of most theories both in Artificial Intelligence and in Psychology have been on the whole too minute, local, and unstructured to account–either practically or phenomenologically–for the effectiveness of common-sense thought. The "chunks" of reasoning, language, memory, and "perception" ought to be larger and more structured; their factual and procedural contents must be more intimately connected in order to explain the apparent power and speed of mental activities.

... as 'logicism') that the content expressed by true propositions of arithmetic and analysis is not something of an irreducibly mathematical character, ...

In the course of the discussion, Professor Quine pinpoints the difficulties involved in translation, brings to light the anomalies and conflicts implicit in our ...

A compact, coherent introduction to the study of rational belief, this text provides points of entry to such areas of philosophy as theory of knowledge, methodology of science, and philosophy of language. The book is accessible to all undergraduates and presupposes no philosophical training.

The essays in this volume represent an approach to human knowledge that has had a profound influence on many recent thinkers. Popper breaks with a traditional commonsense theory of knowledge that can be traced back to Aristotle. A realist and fallibilist, he argues closely and in simple language that scientific knowledge, once stated in human language, is no longer part of ourselves but a separate entity that grows through critical selection.

In his new foreword to this edition, Hilary Putnam forcefully rejects these nativist claims.

This volume consists of the first of the John Dewey Lectures delivered under the auspices of Columbia University's Philosophy Department as well as other essays by the author. Intended to clarify the meaning of the philosophical doctrines propounded by Professor Quine in 'Word and Objects', the essays included herein both support and expand those doctrines.

I assess Churchland's views on folk psychology and conceptual thinking, with particular emphasis on the connection between these topics.

The first systematic exposition of all the central topics in the philosophy of logic, Susan Haack's book has established an international reputation for its accessibility, clarity, conciseness, orderliness, and range as well as for its thorough scholarship and careful analyses. Haack discusses the scope and purpose of logic, validity, truth-functions, quantification and ontology, names, descriptions, truth, truth-bearers, the set-theoretical and semantic paradoxes, and modality. She also explores the motivations for a whole range of non-classical systems of logic, including many-valued logics, (...) fuzzy logic, moddal and tense logics, and relevance logics. Persupposing only an elementary knowledge of formal logic, this book includes many useful summary tables and diagrams, as well as a helpful glossary of technical terms. Wide-ranging, informative, and eminently readable, this book has proven a valuable resource for generations of students and scholars in a variety of disciplines outside philosophy needing guidance on the philosophy of logic. (shrink)

Buchanan and Darden have provided compelling reasons why philosophers of science concerned with the nature of scientific discovery should be aware of current work in artificial intelligence. This paper contends that artificial intelligence is even more than a source of useful analogies for the philosophy of discovery: the two fields are linked by interfield connections between philosophy of science and cognitive psychology and between cognitive psychology and artificial intelligence. Because the philosophy of discovery must pay attention to the psychology of (...) practicing scientists, and because current cognitive psychology adopts a computational view of mind with AI providing the richest models of how the mind works, the philosophy of discovery must also concern itself with AI models of mental operations. The relevance of the artificial intelligence notion of a frame to the philosophy of discovery is briefly discussed. (shrink)

One of the cornerstone books of Western philosophy, Critique of Pure Reason is Kant's seminal treatise, where he seeks to define the nature of reason itself and builds his own unique system of philosophical thought with an approach known as transcendental idealism. He argues that human knowledge is limited by the capacity for perception and attempts a logical designation of two varieties of knowledge: a posteriori, the knowledge acquired through experience; and a priori, knowledge not derived through experience. This accurate (...) translation by J. M. D. Meiklejohn offers a simple and direct rendering of Kant's work that is suitable for readers at all levels. (shrink)

I wish to advocate a reorientation of epistemology. Lest anyone maintain that the enterprise I urge is not epistemology at all (even part of epistemology), I call this enterprise by a slightly different name: epistemics. Despite this terminological concession, I believe that the inquiry I advocate is significantly continuous with traditional epistemology. Like much of past epistemology, it would seek to regulate or guide our intellectual activities. It would try to lay down principles or suggestions for how to conduct our (...) cognitive affairs. The contrast with traditional epistemology – at least "analytic" epistemology of the twentieth century – would be its close alliance with the psychology of cognition. The basic premise of epistemics is that one cannot give the best advice about intellectual operations without detailed information about mental processes. Since these processes are most illuminatingly studied by cognitive psychology, epistemics would go hand in hand with empirical investigation of our "information-processing" mechanisms. (shrink)

The present essay is addressed simultaneously to two distinct audiences.

The representation of physics problems in relation to the organization of physics knowledge is investigated in experts and novices. Four experiments examine the existence of problem categories as a basis for representation; differences in the categories used by experts and novices; differences in the knowledge associated with the categories; and features in the problems that contribute to problem categorization and representation. Results from sorting tasks and protocols reveal that experts and novices begin their problem representations with specifiably different problem categories, (...) and completion of the representations depends on the knowledge associated with the categories. For, the experts initially abstract physics principles to approach and solve a problem representation, whereas novices base their representation and approaches on the problem's literal features. (shrink)

Quine and others have recommended principles of charity which discourage judgments of irrationality. Such principles have been proposed to govern translation, psychology, and economics. After comparing principles of charity of different degrees of severity, we argue that the stronger principles are likely to block understanding of human behavior and impede progress toward improving it. We support a moderate principle of charity which leaves room for empirically justified judgments of irrationality.

The aim of this paper is to describe a methodology for revising logical principles in the light of empirical psychological findings. Historical philosophy of science and wide reflective equilibrium in ethics are considered as providing possible models for arguing from the descriptive to the normative. Neither is adequate for the psychology/logic case, and a new model is constructed, employing criteria for evaluating inferential systems. Once we have such criteria, the notion of reflective equilibrium becomes redundant.

This essay grows out of the conviction that recent work by psychologists studying human reasoning has important implications for a broad range of philosophical issues. To illustrate our thesis we focus on Nelson Goodman's elegant and influential attempt to "dissolve" the problem of induction. In the first section of the paper we sketch Goodman's account of what it is for a rule of inference to be justified. We then marshal empirical evidence indicating that, on Goodman's account of justification, patently invalid (...) inferential rules turn out to be "justified." We conclude that something is seriously wrong with Goodman's story about justification. In the second section we attempt to patch Goodman's account. The notion of epistemic authority and the social aspect of justification play central roles in the alternative account of justification that we propose. (shrink)

We cannot know something unless it is true. The things that we know, therefore, must be logically consistent. Moreover, we cannot know something unless we are justified in believing it. But it does not obviously follow that the things that we are justified in believing must be consistent with each other. For we can be justified in believing something that turns out to be false. Knowledge entails truth and hence consistency. Rationally justified belief does not entail truth and it may (...) not entail consistency.Knowledge, however, requires especially good justification. We can have reason to believe something that happens to be true, even good reason, without our belief being so well-grounded that we know it to be true. (shrink)

This paper presents a “frame” representation for common sense knowledge and uses it to formalize our knowledge of “mundane” painting (walls; not portraits). These frames. while designed to aid a computer program to understand stories about the painting process, should be of use to programs which attempt to actually carry out the activity. The paper stresses a “deep” understanding of the activity so that the representation indicates not only what steps to carry out, but also how to do them, and (...) why they should be done. To accomplish this, while at the same time preserving modularity and nonredundancy, a system of interframe pointers is introduced (the COMES‐FROM and LEADS‐TO pointers) which explain how or why something is done in tens of knowledge given in other frames. The paper proceeds by steadily deepening an initial English‐like description of the activity, and a context free grammar for the representation is included. (shrink)

The question of how concepts are formed was central for positivist and operationalist philosophers concerned to root scientific thought directly in experience. Although the positivist program has been abandoned, the current interest in the philosophy of scientific discovery shows the need for a theory of conceptual development. This paper offers a theory of how new concepts can arise, not by abstraction from experience or by definition, but by conceptual combination. Such combination produces a new concept as a non-linear, non-definitional amalgam (...) of existing concepts. After proposing rules intended to account for a variety of mundane cases of conceptual combination, the paper presents several illustrations of how scientific concepts have arisen through combination. (shrink)