The Scientific Community Metaphor

  title={The Scientific Community Metaphor},
  author={William A. Kornfeld and Carl E. Hewitt},
  journal={IEEE Transactions on Systems, Man, and Cybernetics},
Scientific communities have proven to be extremely successful at solving problems. They are inherently parallel systems and their macroscopic nature makes them amenable to careful study. In this paper the character of scientific research is examined drawing on sources in the philosophy and history of science. We maintain that the success of scientific research depends critically on its concurrency and pluralism. A variant of the language Ether is developed that embodies notions of concurrency… 

Figures from this paper

Machine Models for the Growth of Knowledge: Theory Nets in Prolog
In this paper I shall sketch one way that scientific knowledge or information might be stored in a digital computer and used to model the problem solving activity of empirical scientists. Among the
A Synthesis of Language Ideas for AI Control Structures
It is shown that pattern-directed invocation is a more general formalism, but entails a serious loss of efficiency, and it is demonstrated that a language for artificial intelligence research can be created that contains the best features of both approaches.
Systems That Know That They Don't Understand *
A new, computational Theory of Understandings is sketched that places AI research on reasoning within a larger framework of mental activity and facilitates the process of "coming to an understanding".
Parallel Computation and the Mind-Body Problem
  • P. Thagard
  • Computer Science, Psychology
    Cogn. Sci.
  • 1986
This paper uses recent work on parallel computation to argue that software and hardware are much more intertwined than the functionalists allow, leading to different styles of programming as well as increased speed.
DAI betwixt and between: from 'intelligent agents' to open systems science
The authors discuss the development of open systems science beginning with its roots in the fundamentals of concurrency, which presents some challenges and some fruitful new ideas for distributed artificial intelligence that are discussed.
Viewing the History of Science as Compiled Hindsight
This paper argues that the history of science can be used as a source for constructing abstract theory types to aid in solving recurring problem types. Two theory types are discussed, selection
Viewing the History of Science as Compiled Hindsight
hen I was invited to give a talk on AI and the history of science, I declined the suggestion that I discuss the place of AI in the history of science. The field is too new, developing too rapidly, to
Design as Scientific Problem-solving 2.1 Introduction 2.1.1 Motivation and Objectives
Following Proclus' aphorism that " it is necessary to know beforehand what is sought, " a ground rule of intellectual endeavor seems to be that any new field of study, to be recognized properly, must


Falsification and the Methodology of Scientific Research Programmes
For centuries knowledge meant proven knowledge — proven either by the power of the intellect or by the evidence of the senses. Wisdom and intellectual integrity demanded that one must desist from
Knowledge Embedding in the Description System Omega
The techniques in Omega represent an important advance in the creation of self-describing systems without engendering the problems discovered by Russell.
How To Use What You Know
This paper surveys the state of the art in the development of problem solving mechanisms for PLANNER-like formalisms and tries to delineate major unsolved problems and make suggestions for how some of them may be attacked.
Distributed Problem Solving: The Contract Net Approach
This paper proposes a model of a distributed problem solver which consists of a collection of processors connected with communications and control mechanisms that enable them to operate concurrently, and enabling them to cooperate in solving complex problems.
Specifying and Proving Properties of Guardians for Distributed Systems
A proof methodology for proving strong properties of network utilities e.g. the utility is guaranteed to respond to each request which it is sent is developed.
NETL: A System for Representing and Using Real-World Knowledge
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.
QA4: A Procedural Calculus for Intuitive Reasoning.
QA4 integrates an omega-order logic language with canonical composition, associative retrieval, and pattern matching of expressions; process structure programming; goal-directed searching; and demons, providing a semantic framework for common sense reasoning about these problem domains.
The Apiary network architecture for knowledgeable systems
  • C. Hewitt
  • Computer Science
    LISP Conference
  • 1980
A great deal of work remains to be done in order to make the Apiary into a practical usable system, introducing important concepts and techniques such as Interest groups.
AMORD: A Deductive Procedure System
This research was conducted at the Artificial Intelligence Laboratory of the Massachusetts Institute of Technology with support from the Advanced Research Projects Agency of the Department of Defense and Office of Naval Research.
A Retrospective View of the Hearsay-II Architecture
Experiences gained while successfully applying the Hearsay-II architecture to the problem of speech understanding are described, and the paradigm of viewing problem solving in terms of hypothesize-and-test actions distributed among distinct representations of the problem has been shown to be computationally feasible.