Research Note
Parallel Evolutionary Computing with the Random PROLOG Processor

https://doi.org/10.1006/jpdc.1997.1396Get rights and content

Abstract

The Random PROLOG Processor (RPP) is an abstract model for logical computations based on the concept ofinformation_moleculesquasi-randomly traveling and inferring in abstractcomputational_space. The simulated process or problem is defined in terms of PROLOG clauses (or sets of clauses encapsulated by membranes) seeded into the RPP by the programmer as a program. During the computational process,information_moleculesmove about, rendezvous, exchange internal information, modify themselves, assert otherinformation_molecules(or are retracted), disintegrate, or expire. Computations are unification-based logical inferences. In the RPP, the computations are parallel, randomly evolving processes. The RPP exhibits some properties of the DNA-computer, but can be considered for any computational environment. The RPP is proposed as a promising tool for parallel evolutionary computing, because PROLOG is a widely known, powerful language; because prices of multiprocessor architectures are falling sharply; and because parallel RPP implementation is easy. Since they are declarative and nondeterministic, RPP programs are extremely short. This paper presents the structure of the RPP application for parallel Evolutionary Computations with different types of problems.

References (15)

  • G. Berry et al.

    The chemical abstract machine

    Theoret. Comput. Sci.

    (1992)
  • W. Fontana et al.

    The arrival of the fittest—towards a theory of biological organization

    Bull. Math. Biol.

    (1994)
  • L.M. Adleman

    Molecular computations of solutions to combinatorial problems

    Science

    (1994)
  • R.A. Alberty

    Physical Chemistry

    (1987)
  • J.-P. Banatre et al.

    Programming by multiset transformations

    Comm. ACM

    (1993)
  • J. Blazewicz

    Computational complexity of combinatorial problems

    WNT

    (1988)
  • C. Miccio, E. Sanchez, Parallel genetic programming induction of binary decision...
There are more references available in the full text version of this article.

Cited by (7)

  • How to program artificial chemistries

    2003, Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)
  • Universal formal model of collective intelligence and its iq measure

    2002, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
View all citing articles on Scopus
1

E-mail: [email protected], [email protected]. This research was supported by Kuwait University under Grant SM140.

View full text