Artificial intelligence meets natural stupidity
ACM SIGART BulletinPublished 1 April 1976
Drew McDermott
Citations320
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
As a field, artificial intelligence has always been on theborder of respectability, and therefore on the border of crackpottery, and is justifiably proud of its willingness to explore weird ideas, because pursuing them is the only way to make progress.
Abstract
As a field, artificial intelligence has always been on the border of respectability, and therefore on the border of crackpottery. Many critics <Dreyfus, 1972>, <Lighthill, 1973> have urged that we are over the border. We have been very defensive toward this charge, drawing ourselves up with dignity when it is made and folding the cloak of Science about us. On the other hand, in private, we have been justifiably proud of our willingness to explore weird ideas, because pursuing them is the only way to make progress.
Keywords
Medicine
Journal of the ACMA Machine-Oriented Logic Based on the Resolution Principle
3,885 Citations1965John A. Robinson
The paper concludes with a discussion of several principles which are applicable to the design of efficient proof-procedures employing resolution as the basle logical process.
Semantic Information Processing
2,175 Citations1968Marvin Minsky
This book solves different problems like resolving ambiguities in word meanings, finding analogies between things, making logical and nonlogical inference, resolving inconsistency in information engaging in coherent discourse with a person and more.
LeonardoWhat Computers Still Can't Do: A Critique of Artificial Reason
1,644 Citations1994Simon Penny, H. L. Dreyfus
For this edition of What Computers Can't Do, Hubert Dreyfus has added a lengthy new introduction outlining changes and assessing the paradigms of connectionism and neural networks that have transformed the field.
ACM SIGART BulletinComputer power and human reason
1,057 Citations1976Benjamin Kuipers, John McCarthy +1 more
The book mentions some important concerns which are obscured by harsh and sometimes shrill accusations against the Artificial Intelligence research community, but it seems to me that the personal attacks distract and mislead the reader from more valuable abstract points.
Elsevier eBooksWHAT'S IN A LINK
790 Citations1975William A. Woods
The chapter presents the logical inadequacies of almost all current network notations for representing quantified information and also discusses some of the disadvantages of a few logically adequate techniques.
NETL: A System for Representing and Using Real-World Knowledge
528 Citations1979Scott E. Fahlman
A simulator for the parallel network system has been implemented in MACLISP, and an experimental version of NETL, a language for storing real-world information in such a network, is running on this simulator.
DSpace@MIT (Massachusetts Institute of Technology)Procedures as a representation for data in a computer program for understanding natural language
520 Citations1971Terry Winograd
A system for the computer understanding of English that combines a complete syntactic analysis of each sentence with a 'heuristic understander' which uses different kinds of information about a sentence, other parts of the discourse, and general information about the world in deciding what the sentence means.
Communications of the ACMThe teachable language comprehender
487 Citations1969M. Ross Quillian
The memory structure and comprehension process of TLC allow new factual assertions and capabilities for relating text to such stored assertions to generalize automatically and provide a large increment in TLC's effective knowledge of the world and in its overall ability to comprehend text.
Elsevier eBooksFRAME REPRESENTATIONS AND THE DECLARATIVE/PROCEDURAL CONTROVERSY
477 Citations1975Terry Winograd
This chapter presents some criteria for evaluating ideas for representation and presents a rough sketch of a particular version of a frame representation, and discusses the ways in which it can deal with the issues raised.
Munich Personal RePEc Archive (Ludwig Maximilian University of Munich)Description and Theoretical Analysis (Using Schemata) of Planner: A Language for Proving Theorems and Manipulating Models in a Robot
318 Citations1972Carl Hewitt
PANNER is a formalism for proving theorems and manipulating models in a robot built out of a number of problem-solving primitives together with a hierarchical multiprocess backtrack control structure.
DSpace@MIT (Massachusetts Institute of Technology)Toward A Model Of Children''s Story Comprehension
215 Citations1972Eugene Charniak
This paper presents a probabilistic procedure that can be used to estimate the intensity of the response of the immune system to certain types of radiation, and shows clear patterns in response to these conditions.
From PLANNER to CONNIVER
120 Citations1972Gerald Jay Sussman, Drew McDermott
To be good, a higher level language must not only simplify the job of programming, by providing features which package programming structures commonly found in the domain for which the language was designed, it must also do its best to discourage the use of structures which lead to bad algorithms.
Munich Personal RePEc Archive (Ludwig Maximilian University of Munich)Some problems of basic organization in problem-solving programs
73 Citations1962Allen Newell
Examples of organizational problems dealing with the construction and application of problem-solving programs are examined to develop the appropriate ways to organize complex programs that require flexibility in many applied areas as well.
DSpace@MIT (Massachusetts Institute of Technology)Understanding simple picture programs
47 Citations1974Ira Goldstein
A collection of powerful ideas—description, plans, linearity, insertions, global knowledge and imperative semantics--are explored which are fundamental to debugging skill.
DSpace@MIT (Massachusetts Institute of Technology)Assimilation of New Information by a Natural Language Understanding System
41 Citations1974Drew McDermott
International Joint Conference on Artificial IntelligenceThe representation of concepts in OWL
22 Citations1975Lowell Hawkinson
The theoretical basis of the formalist used as a foundation for OWL, a system for representing and processing conceptual knowledge, attempts to capture the expressive power of natural language by adopting the underlying representational conventions and "conceptual models" of English.
Elsevier eBooksSYSTEMATIC UNDERSTANDING
17 Citations1975Robert Bobrow, John Seely Brown
The SCA model provides a framework for studying the structural similarities of a variety of superficially dissimilar high-performance understanding systems including perceptual understanding systems, natural language data base management systems, and question-answering systems.
Artificial IntelligenceA relaxation approach to splitting in an automatic theorem prover
13 Citations1975Arthur J. Nevins
A two stage method of splitting is described which first obtains solutions by relaxing the dependency requirement and then attempts to reconcile solutions to different subproblems.
DSpace@MIT (Massachusetts Institute of Technology)Thesis progress report : a system for representing and using real-world knowledge
5 Citations1975Scott E. Fahlman
DSpace@MIT (Massachusetts Institute of Technology)Advice on the Fast-paced World of Electronics
3 Citations1974Drew McDermott
The essence of the proposal is to approach the electronics domain indirectly, by writing an "advice-taking" programi (in McCarthy's sense) which can be told about electronics, including heuristic knowledge about the use of-specific electronics expertise.