Logical and Theoretical Aspects of Intelligent Systems -- Automatic Generation of P2P