No abstract

No abstract

Summary. On the one hand, one of the concepts which lies at the basis of membrane computing is the multiset rewriting rule. On the other hand, the paradigm of rules is profusely used in computer science for representing and dealing with knowledge. Therefore, it makes much scene to establish a "bridge" between these domains, for instance, by designing P systems reproducing forward and backward chaining which can be used as tools for reasoning in propositional logic. Our work shows again, how powerful and intuitive the formalism of membrane computing is and how it can be used to represent concepts and notions from totally unrelated areas.

Abstract. Ambient calculus is a theory which deals with mobile computing and computation and encompasses such notions as mobile agents, the ambients where the agents interact and the mobility of the ambients themselves. P systems is a formalism which abstracts from the structure and functioning of living cells and describes distributed parallel computing devices with multiset of objects processing. Ambient calculus and membrane computing are based on the same concepts and structures though they are developed in different areas of computer science. The purpose of our work now is to express ambient calculus by means of P systems, namely by tissue P systems with dynamic network of membranes.