Advertisement

Direct interaction among active data structures: A tool for building AI systems

  • F. Abbruzzese
  • E. Minicozzi
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 549)

Abstract

A model of computation and a specific language embodying it are presented. Both are called ALM and are inspired by a physical metaphor. In ALM computation is carried on by independent interacting active data structures called active entities. Active entities, like physical particles, interact with “fields” created by other active entities and eventually “collide”. Field interactions and collisions are achieved by means of both an Influence and a Filter; the former is the external display of an active entity internal structure, and the later represents the influences an active entity is sensitive to. These interactions strongly affect the active entities structure. Due to them, an active entity “feels” the world in which it is, and of which it has no knowledge. Active entities evolve following their own prescriptions and then die leaving their sons in their place. Aim entities and their features are proposed as building blocks for constructing reliable artificial intelligence systems whose main characteristics are parallelism, massive distribution of control, maximum availability of distributed knowledge, robustness with respect to changes in their environment, and capability to accommodate unscheduled events. Maximum knowledge availability is achieved by “fields”, while “collisions”, being a powerful synchronization mechanism, allow entities to reach any kind of agreement. Examples are given to show how ALM works with AI problems. Finally, ALM is compared with message-passing and shared memory systems.

Keywords

Parallel languages Distribution of control Architectures Changing environment Artificial Intelligence Spontaneous Cooperation Communication primitives Scientific Area Architectures Languages Environments 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    F. Abbruzzese and E. Minicozzi, “ALM: A parallel language aimed at massive distribution of control”, submitted for publication.Google Scholar
  2. [2]
    G. A. Agha, Actors: a model of concurrent computation in distributed systems, The MIT press, Cambridge, 1981.Google Scholar
  3. [3]
    N. Carriero and D. Gelernter, “Linda in context”, Communication ACM, vol.32, pp. 444–458, April 1989.Google Scholar
  4. [4]
    N. Carriero and D. Gelernter, “How to write parallel programs: a guide to perplexed”, ACM Computing Surveys, vol. 21, pp. 323–357, Sept. 1989.Google Scholar
  5. [5]
    R. Davis and R. G. Smith, “Negotiation as a metaphor for distributed problem solving”, Artificial Intelligence, vol. 20, pp. 63–109, 1983.Google Scholar
  6. [6]
    J. De Kleer, “An assumption-based TMS”, Artificial Intelligence, vol. 28, pp. 127–162, 1986.Google Scholar
  7. [7]
    J. De Kleer, “Extending the ATMS”, Artificial Intelligence, vol. 28, pp. 163–1196, 1986.Google Scholar
  8. [8]
    E.W. Dijkstra, “Hierarchical ordering of sequential processes”, Acta Inf., vol.1, pp. 115–138, 1971.Google Scholar
  9. [9]
    C. Hewitt, “Viewing control structures as patterns of passing messages”, Artificial Intelligence, vol. 8, pp. 323–364, 1977.Google Scholar
  10. [10]
    C. Hewitt, “The challenge of Open Systems”, Byte, vol. 10, pp. 223–242, April, 1985.Google Scholar
  11. [11]
    B. Hayes-Roth, “A blackboard architecture for control”, Artificial Intelligence, vol. 26, pp. 251–321, 1985.Google Scholar
  12. [12]
    V. R. Lesser, R. D. Fennel, L. D. Erman, and D. R. Reddy, “Organization of the HERSAY II speech understanding system”, IEEE Trans. Acoust., speech, Signal Processing, vol. ASSP-23, pp. 11–24, Feb. 1975.Google Scholar
  13. [13]
    H. P. Nee and E. A. Feigenbaum, “Rule-based understanding of signals”, in Pattern-Directed Inference Systems, D. A. Waterman and F. Hayes-Roth, Eds. Academic, New York, 1978, pp. 483–501.Google Scholar
  14. [14]
    A. Newell, “Physical symbol systems”, Cognitive Science, vol.4, pp. 135–183, 1980.Google Scholar
  15. [15]
    G. A. Ringwood, “Parlog86 and the dining logicians”, Communication ACM, vol.31, pp. 10–25, Jan. 1988.Google Scholar
  16. [16]
    R. G. Smith and R. Davis, “Frameworks for cooperation in distributed problem solving”, IEEE Trans. System, Man, and Cybernetics, vol. SMC-11, pp. 61–70, Jan. 1981.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • F. Abbruzzese
    • 1
  • E. Minicozzi
    • 1
  1. 1.Dipartimento di Scienze FisicheUniversità di Napoli “Federico II”Napoli

Personalised recommendations