Research Group on Natural Computing

In computational processes based on backwards chaining, a rule of the type is seen as a procedure which points that the problem can be split into the problems . In classical devices, the subproblems are solved sequentially. In this paper we present some questions that circulated during the Second Brainstorming Week related to the application of the parallelism of P systems to computation based on backwards chaining on the example of inferential deductive process.