Abstract:
Scientific communities have proven to be extremely successful at solving problems. They are inherently parallel systems and their macroscopic nature makes them amenable t...Show MoreMetadata
Abstract:
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 necessary to emulate some of the problem solving behavior of scientific communities. Capabilities of scientific communities are discussed in parallel with simplified models of these capabilities in this language.
Published in: IEEE Transactions on Systems, Man, and Cybernetics ( Volume: 11, Issue: 1, January 1981)
References is not available for this document.
Select All
1.
J. de Kleer, J. Doyle, C. Rich, G. Steele and G. Sussman, AMORD: A deductive procedure system, Jan 1978.
2.
S. Fahlman, A system for representing and using real-world knowledge, 1978.
3.
P. Feyerabend, "Against method", Minnesota Studies in Phil. of Sci., 1970.
4.
C. Hewitt, "PLANNER: A language for manipulating models and proving theorems in a robot", First Int. Joint Conf. on Artificial Intelligence, 1969-Aug.
5.
C. Hewitt, "How to use what you know", Fourth Int. Joint Conf. on Artificial Intelligence, 1975-Sept.
6.
C. Hewitt, "Viewing control structures as patterns of passing messages", Artificial Intelligence J., vol. 8, pp. 323-364, June 1977.
7.
C. Hewitt, G. Attardi and M. Simi, "Knowledge embedding in the description system OMEGA", Proc. AAAI, 1980-Aug.
8.
C. Hewitt, G. Attardi and H. Lieberman, "Specifying and proving properties of guardians for distributed systems" in Semantics of Concurrent Computations, Berlin:Springer, 1976.
9.
C. Hewitt, G. Attardi and H. Lieberman, "Security and modularity in message passing", First Int. Conf. on Distributed Computing Systems, 1979-Oct.
10.
C. Hewitt, "The Apiary network architecture for knowledgeable systems", Proc. Lisp Conf., 1980-Aug.
11.
W. Kornfeld, Using parallel processing for problem solving, 1979.
12.
T. S. Kuhn, The Structure of Scientific Revolutions, IL, Chicago:University of Chicago, 1970.
14.
I. Lakatos, "Falsification and the methodology of scientific research programmes" in Criticism and the Growth of Knowledge, New York:Cambridge University, 1970.
15.
V. R. Lesser and L. D. Erman, "A retrospective view of the Hearsay II architecture", Fifth Int. Joint Conf. on Artificial Intelligence, 1977.
16.
J. McCarthy, Situations actions and causal laws, 1963.
17.
J. McCarthy and P. Hays, Some philosophical problems from the standpoint of artificial intelligence, Nov. 1968.
18.
K. R. Popper, Conjectures and Refutations, New York:Basic Books, 1962.
19.
K. R. Popper, The Logic of Scientific Discovery, New York:Harper Row, 1968.
20.
J. F. Rulifson, J. A. Derksen and R. J. Waldinger, QA4: A procedural calculus for intuitive reasoning.
21.
J. Schiller, "The design and implementation of APIARY-0," 1979.
22.
R. G. Smith and R. Davis, "Distributed problem solving: The contract net approach", Proc. Second National Conf. of Canadian Soc. for Computational Studies of Intelligence, 1978-July.
23.
M. B. Wilber, A QLISP reference manual, 1975.
24.
D. Kalish and R. Montague, Logic: Techniques of Formal Reasoning, New York:Harcourt Brace Jovanovich, 1964.
