Institutul de Matematică şi Informatică "Vladimir Andrunachievici"
Universitatea de Stat din MoldovaRO EN
Deductive databases and P systems
Authors: Miguel A. Gutierrez-Naranjo, Rogojin Vladimir
Keywords: Artificial intelligence, Deductive databases, P systems, membrane systems, backwards chaining, inferential deductive process.
– 0.20 Mb
Keywords: Artificial intelligence, Deductive databases, P systems, membrane systems, backwards chaining, inferential deductive process.
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.Miguel A. Gutierrez-Naranjo, Vladimir Rogozhin
Miguel A. Gutierrez-Naranjo
Dpto. de Ciencias de la Computacion e Inteligencia Artificial
E.T.S. Ingenieria Informatica. Universidad de Sevilla
Avda. Reina Mercedes s/n, 41012, Sevilla, Espana
E-mail :
Vladimir Rogozhin
The State University of Moldova
60 Mateevich str., MD-2009
Chisinau, Moldova
E-mail :
Miguel A. Gutierrez-Naranjo
Dpto. de Ciencias de la Computacion e Inteligencia Artificial
E.T.S. Ingenieria Informatica. Universidad de Sevilla
Avda. Reina Mercedes s/n, 41012, Sevilla, Espana
E-mail :
Vladimir Rogozhin
The State University of Moldova
60 Mateevich str., MD-2009
Chisinau, Moldova
E-mail :
Fulltext
– 0.20 Mb
Contents
- On quasistability of a vector combinatorial problem with Σ-MINMAX and Σ-MINMIN partial criteria
- Real Time Embedded Moving Objects Detector - Study and Implementation Within Virtex FPGA Technology
- Contrastive Meanings of the Terms "Predicative" and "Predicational" in Various Linguistic Theories (II)
- Deductive databases and P systems
- Software Development Processes
- NeoSite: A simple Content Management System
- Symbolic Deductive Reasoning using Connectionist Models
- Information about the Second Conference of the Mathematical Society of the Republic of Moldova
