Forward and Backward Chaining with P Systems
Închide
Articolul precedent
Articolul urmator
339 1
Ultima descărcare din IBN:
2023-06-04 20:09
SM ISO690:2012
IVANOV, Sergiu, ALHAZOV, Artiom, ROGOJIN, Vladimir, GUTIERREZ-NARANJO, Miguel A.. Forward and Backward Chaining with P Systems. In: Brainstorming Week on Membrane Computing, 31 ianuarie - 4 februarie 2011, Sevilla. Sevilla, Spania: Fénix Editora, 2011, Ediția a 9-a, pp. 221-236. ISBN 978-84-615-1837-1.
EXPORT metadate:
Google Scholar
Crossref
CERIF

DataCite
Dublin Core
Brainstorming Week on Membrane Computing
Ediția a 9-a, 2011
Masa rotundă "Ninth Brainstorming Week on Membrane Computing"
Sevilla, Spania, 31 ianuarie - 4 februarie 2011

Forward and Backward Chaining with P Systems


Pag. 221-236

Ivanov Sergiu12, Alhazov Artiom13, Rogojin Vladimir14, Gutierrez-Naranjo Miguel A.5
 
1 Institute of Mathematics and Computer Science ASM,
2 Technical University of Moldova,
3 University of Milano-Bicocca,
4 University of Helsinki,
5 University of Sevilla
 
 
Disponibil în IBN: 16 mai 2021


Rezumat

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.