Inferring the structure and operation of a computing model, given some observations of its behavior, is in general a desirable but daunting task. In this paper we try to solve a constrained version of this problem. We consider a P system Pi with active membranes and using cooperative rewriting, communication, and division rules and a collection of pairs of its consecutive configurations. Then, we feed this collection of configurations as input to a (mu+lambda) evolutionary algorithm that evolves a population of (initially random) P systems, each with its own rules, with the aim of obtaining an individual that approximates as well as possible. We discuss the results obtained on different benchmark problems, designed to test the ability to infer cooperative rewriting, communication, and membrane division rules. We will also provide a description of how fitness results are influenced by different setting of the hyperparameters of the evolutionary algorithm. The results show that the proposed approach is able to find correct solutions for small problems, and it is a promising research direction for the automatic synthesis of P systems.

Inferring P systems from their computing steps: An evolutionary approach

Manzoni, Luca;Pietropolli, Gloria;
2023-01-01

Abstract

Inferring the structure and operation of a computing model, given some observations of its behavior, is in general a desirable but daunting task. In this paper we try to solve a constrained version of this problem. We consider a P system Pi with active membranes and using cooperative rewriting, communication, and division rules and a collection of pairs of its consecutive configurations. Then, we feed this collection of configurations as input to a (mu+lambda) evolutionary algorithm that evolves a population of (initially random) P systems, each with its own rules, with the aim of obtaining an individual that approximates as well as possible. We discuss the results obtained on different benchmark problems, designed to test the ability to infer cooperative rewriting, communication, and membrane division rules. We will also provide a description of how fitness results are influenced by different setting of the hyperparameters of the evolutionary algorithm. The results show that the proposed approach is able to find correct solutions for small problems, and it is a promising research direction for the automatic synthesis of P systems.
File in questo prodotto:
File Dimensione Formato  
1-s2.0-S2210650222001894-main.pdf

Accesso chiuso

Tipologia: Documento in Versione Editoriale
Licenza: Copyright Editore
Dimensione 1.36 MB
Formato Adobe PDF
1.36 MB Adobe PDF   Visualizza/Apri   Richiedi una copia
1-s2.0-S2210650222001894-main-Post_print.pdf

embargo fino al 07/12/2024

Tipologia: Bozza finale post-referaggio (post-print)
Licenza: Creative commons
Dimensione 1.69 MB
Formato Adobe PDF
1.69 MB Adobe PDF   Visualizza/Apri   Richiedi una copia
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11368/3037664
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 4
  • ???jsp.display-item.citation.isi??? 3
social impact