Mostrar el registro sencillo del ítem
Ponencia
Forward and Backward Chaining with P Systems
dc.creator | Ivanov, Sergiu | es |
dc.creator | Alhazov, Artiom | es |
dc.creator | Rogozhin, Vladimir | es |
dc.creator | Gutiérrez Naranjo, Miguel Ángel | es |
dc.date.accessioned | 2016-04-05T10:14:04Z | |
dc.date.available | 2016-04-05T10:14:04Z | |
dc.date.issued | 2011 | |
dc.identifier.isbn | 9788461518371 | es |
dc.identifier.uri | http://hdl.handle.net/11441/39503 | |
dc.description.abstract | 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. | es |
dc.description.sponsorship | Ministerio de Ciencia e Innovación TIN-2009-13192 | |
dc.description.sponsorship | Junta de Andalucía P08-TIC-04200 | |
dc.format | application/pdf | es |
dc.language.iso | eng | es |
dc.publisher | Fénix Editora | es |
dc.relation.ispartof | Proceedings of the Ninth Brainstorming Week on Membrane Computing, 221-236. Sevilla, E.T.S. de Ingeniería Informática, 31 de enero-4 de febrero, 2011 | es |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.title | Forward and Backward Chaining with P Systems | es |
dc.type | info:eu-repo/semantics/conferenceObject | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.type.version | info:eu-repo/semantics/publishedVersion | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | es |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial | es |
dc.relation.projectID | TIN-2009-13192 | |
dc.relation.projectID | P08-TIC-04200 | |
dc.contributor.group | Universidad de Sevilla. TIC193: Computación Natural | |
dc.identifier.idus | https://idus.us.es/xmlui/handle/11441/39503 | |
dc.contributor.funder | Ministerio de Ciencia e Innovación (MICIN). España | |
dc.contributor.funder | Junta de Andalucía |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
15fbcpIvanov.pdf | 195.2Kb | [PDF] | Ver/ | |