Deductive databases and P systems

Abstract

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.

Keywords

• Artificial intelligence
• Deductive databases
• P systems
• membrane systems
• backwards chaining
• inferential deductive process