A Logical Representation of P Colonies: An Introduction

We introduce a new way of representation of computation in P colonies. It is based on logical values, propositional logic and rule-based systems. A configuration of a P colony is transformed into a data structure based on a system of stacks. We present a conversion of conditions of applicability of...

Full description

Saved in:
Bibliographic Details
Published inEnjoying Natural Computing Vol. 11270; pp. 66 - 76
Main Authors Cienciala, Luděk, Ciencialová, Lucie, Csuhaj-Varjú, Erzsébet, Sosík, Petr
Format Book Chapter
LanguageEnglish
Published Switzerland Springer International Publishing AG 2018
Springer International Publishing
SeriesLecture Notes in Computer Science
Online AccessGet full text

Cover

Abstract We introduce a new way of representation of computation in P colonies. It is based on logical values, propositional logic and rule-based systems. A configuration of a P colony is transformed into a data structure based on a system of stacks. We present a conversion of conditions of applicability of rules, programs, multisets of programs and complete computational steps as propositional formulas in the disjunctive normal form. This representation allows, among others, to derive new results concerning the complexity of execution of computational steps of a P colony.
AbstractList We introduce a new way of representation of computation in P colonies. It is based on logical values, propositional logic and rule-based systems. A configuration of a P colony is transformed into a data structure based on a system of stacks. We present a conversion of conditions of applicability of rules, programs, multisets of programs and complete computational steps as propositional formulas in the disjunctive normal form. This representation allows, among others, to derive new results concerning the complexity of execution of computational steps of a P colony.
Author Ciencialová, Lucie
Cienciala, Luděk
Csuhaj-Varjú, Erzsébet
Sosík, Petr
Author_xml – sequence: 1
  givenname: Luděk
  surname: Cienciala
  fullname: Cienciala, Luděk
  email: ludek.cienciala@fpf.slu.cz
  organization: Institute of Computer Science and Research Institute of the IT4Innovations Centre of Excellence, Silesian University in Opava, Opava, Czech Republic
– sequence: 2
  givenname: Lucie
  surname: Ciencialová
  fullname: Ciencialová, Lucie
  email: lucie.ciencialova@fpf.slu.cz
  organization: Institute of Computer Science and Research Institute of the IT4Innovations Centre of Excellence, Silesian University in Opava, Opava, Czech Republic
– sequence: 3
  givenname: Erzsébet
  surname: Csuhaj-Varjú
  fullname: Csuhaj-Varjú, Erzsébet
  email: csuhaj@inf.elte.hu
  organization: Faculty of Informatics, ELTE Eötvös Loránd University, Budapest, Hungary
– sequence: 4
  givenname: Petr
  surname: Sosík
  fullname: Sosík, Petr
  email: petr.sosik@fpf.slu.cz
  organization: Institute of Computer Science and Research Institute of the IT4Innovations Centre of Excellence, Silesian University in Opava, Opava, Czech Republic
BookMark eNpVkM1OwzAQhA0URFv6BFzyAgb_Ze1wqyp-KlUCIThbjmOXQGSHOH1_nMKF067m21lpZoFmIQaH0DUlN5QQeVtJhTkmnGBCGJRYajhBq6zyrB0leYrmFCjFnIvq7B8TZIbmeWe4koJfoAUlEkrBAKpLtErpc7rKRCk1R3Jd7OK-taYrXl0_uOTCaMY2hiL64qXYxC6G1qW7Yh2KbRiH2BzshK_QuTddcqu_uUTvD_dvmye8e37cbtY73DNCANcWKiJFaR33IB2YitYVpU4IUoL3ypbAGKdALGWs4Z4KxY0zzJeNMqJu-BLR37-pH9qwd4OuY_xKmhI9NaVzbs11TquPtejcVPawX08_xO-DS6N2k8nmaIPp7IfpRzckDUwJBVwLpSXwH_COZd8
ContentType Book Chapter
Copyright Springer Nature Switzerland AG 2018
Copyright_xml – notice: Springer Nature Switzerland AG 2018
DBID FFUUA
DOI 10.1007/978-3-030-00265-7_6
DatabaseName ProQuest Ebook Central - Book Chapters - Demo use only
DatabaseTitleList
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISBN 9783030002657
3030002659
EISSN 1611-3349
Editor Graciani, Carmen
Rozenberg, Grzegorz
Păun, Gheorghe
Salomaa, Arto
Riscos-Núñez, Agustín
Editor_xml – sequence: 1
  fullname: Rozenberg, Grzegorz
– sequence: 1
  givenname: Carmen
  surname: Graciani
  fullname: Graciani, Carmen
  email: egdiaz@us.es
– sequence: 2
  fullname: Graciani, Carmen
– sequence: 2
  givenname: Agustín
  surname: Riscos-Núñez
  fullname: Riscos-Núñez, Agustín
  email: ariscosn@us.es
– sequence: 3
  fullname: Păun, Gheorghe
– sequence: 3
  givenname: Gheorghe
  surname: Păun
  fullname: Păun, Gheorghe
  email: gpaun@us.es
– sequence: 4
  fullname: Salomaa, Arto
– sequence: 4
  givenname: Grzegorz
  surname: Rozenberg
  fullname: Rozenberg, Grzegorz
  email: grozenberg@liacs.nl
– sequence: 5
  fullname: Riscos-Núñez, Agustín
– sequence: 5
  givenname: Arto
  surname: Salomaa
  fullname: Salomaa, Arto
  email: asalomaa@cs.utu.fi
EndPage 76
ExternalDocumentID EBC6284863_48_76
GroupedDBID 0D6
0DA
38.
AABBV
AEDXK
AEJLV
AEKFX
AEZAY
ALMA_UNASSIGNED_HOLDINGS
ANXHU
BBABE
BICGV
BJAWL
BUBNW
CVGDX
CZZ
EDOXC
FFUUA
FOYMO
I4C
IEZ
LDH
NQNQZ
OEBZI
SBO
TPJZQ
TSXQS
Z5O
Z7R
Z7W
Z7X
Z7Y
Z7Z
Z81
Z83
Z84
Z87
Z88
-DT
-~X
29L
2HA
2HV
ACGFS
ADCXD
EJD
F5P
LAS
P2P
RSU
~02
ID FETCH-LOGICAL-p2006-bc690745ce3f67e6a91b911e44056ff8c56223160c122d3f1483aea2f5d8a4bd3
ISBN 9783030002640
3030002640
ISSN 0302-9743
IngestDate Tue Oct 01 19:58:06 EDT 2024
Fri Jul 26 00:17:48 EDT 2024
IsDoiOpenAccess false
IsOpenAccess true
IsPeerReviewed true
IsScholarly true
LCCallNum QA75.5-76.95
Language English
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-p2006-bc690745ce3f67e6a91b911e44056ff8c56223160c122d3f1483aea2f5d8a4bd3
OCLC 1076542669
OpenAccessLink https://edit.elte.hu/xmlui/bitstream/10831/43719/1/Cienciala2018_Chapter_ALogicalRepresentationOfPColon.pdf
PQID EBC6284863_48_76
PageCount 11
ParticipantIDs springer_books_10_1007_978_3_030_00265_7_6
proquest_ebookcentralchapters_6284863_48_76
PublicationCentury 2000
PublicationDate 2018-00-00
PublicationDateYYYYMMDD 2018-01-01
PublicationDate_xml – year: 2018
  text: 2018-00-00
PublicationDecade 2010
PublicationPlace Switzerland
PublicationPlace_xml – name: Switzerland
– name: Cham
PublicationSeriesSubtitle Theoretical Computer Science and General Issues
PublicationSeriesTitle Lecture Notes in Computer Science
PublicationSeriesTitleAlternate Lect.Notes Computer
PublicationSubtitle Essays Dedicated to Mario de Jesús Pérez-Jiménez on the Occasion of His 70th Birthday
PublicationTitle Enjoying Natural Computing
PublicationYear 2018
Publisher Springer International Publishing AG
Springer International Publishing
Publisher_xml – name: Springer International Publishing AG
– name: Springer International Publishing
RelatedPersons Kleinberg, Jon M.
Mattern, Friedemann
Naor, Moni
Mitchell, John C.
Terzopoulos, Demetri
Steffen, Bernhard
Pandu Rangan, C.
Kanade, Takeo
Kittler, Josef
Weikum, Gerhard
Hutchison, David
Tygar, Doug
RelatedPersons_xml – sequence: 1
  givenname: David
  surname: Hutchison
  fullname: Hutchison, David
  organization: Lancaster University, Lancaster, United Kingdom
– sequence: 2
  givenname: Takeo
  surname: Kanade
  fullname: Kanade, Takeo
  organization: Carnegie Mellon University, Pittsburgh, USA
– sequence: 3
  givenname: Josef
  surname: Kittler
  fullname: Kittler, Josef
  organization: University of Surrey, Guildford, United Kingdom
– sequence: 4
  givenname: Jon M.
  surname: Kleinberg
  fullname: Kleinberg, Jon M.
  organization: Cornell University, Ithaca, USA
– sequence: 5
  givenname: Friedemann
  surname: Mattern
  fullname: Mattern, Friedemann
  organization: ETH Zurich, Zurich, Switzerland
– sequence: 6
  givenname: John C.
  surname: Mitchell
  fullname: Mitchell, John C.
  organization: Stanford University, Stanford, USA
– sequence: 7
  givenname: Moni
  surname: Naor
  fullname: Naor, Moni
  organization: Dept Applied Math & Computer Science, Weizmann Institute of Science, Rehovot, Israel
– sequence: 8
  givenname: C.
  surname: Pandu Rangan
  fullname: Pandu Rangan, C.
  organization: Indian Institute of Technology Madras, Chennai, India
– sequence: 9
  givenname: Bernhard
  surname: Steffen
  fullname: Steffen, Bernhard
  organization: TU Dortmund University, Dortmund, Germany
– sequence: 10
  givenname: Demetri
  surname: Terzopoulos
  fullname: Terzopoulos, Demetri
  organization: University of California, Los Angeles, USA
– sequence: 11
  givenname: Doug
  surname: Tygar
  fullname: Tygar, Doug
  organization: University of California, Berkeley, USA
– sequence: 12
  givenname: Gerhard
  surname: Weikum
  fullname: Weikum, Gerhard
  organization: Max Planck Institute for Informatics, Saarbrücken, Germany
SSID ssj0002743888
ssj0002792
Score 2.1556625
Snippet We introduce a new way of representation of computation in P colonies. It is based on logical values, propositional logic and rule-based systems....
SourceID springer
proquest
SourceType Publisher
StartPage 66
Title A Logical Representation of P Colonies: An Introduction
URI http://ebookcentral.proquest.com/lib/SITE_ID/reader.action?docID=6284863&ppg=76
http://link.springer.com/10.1007/978-3-030-00265-7_6
Volume 11270
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1Lb9QwELa25YI48BalgHzgRBWUxInjIHFIS1FVLasK2qo3y0kcla20Qfvoob-Gn8rYYyfZwKVcol2vlXhnnPHMNy9C3nMRR6ZNUZCHTRYkLK4CVcbwXlW5iMsmTlKbxf9txk8uktOr9Goy-T2IWtqsy4_V3T_zSv6HqzAGfDVZsvfgbHdTGIDPwF-4AofhOlJ-t2FW586ftzZHaaawdgY2aPBHkfErmNcWVmH1w-mmNopjfngz_rm9td7yCGdVPztWH60212oeXKrl3Mw4LFBw3q3Qu172udM_Whz7cuNifpfDrViYxsB2M3y3cbcu3ckqqmcGugC5gqF5CFFiEVq_YQwl9erz1Dk7Zu3axpAd-H4UXjwN8YtIjPALj1-OENAehNsyeOHANTKcY4knn_gFQh3MIpSTGuU4N9UZGVZDdbKZ88Epj01n_jo_hiEjcN_APCsNMsl3yE6WgwR9UByfTi87FA9seiZEX5_elGNEvxUuyWQTdUvGek_9964IFtY5Hj1xy-QZeemt8nP-hDwyCTHUZKoA7Z6SiV48I489-akj_3OSFdTxmW7zmbYNPaOez59osaBDLr8gF1-Pz49OAteXI_hlAaiyspBKWmnW8ExzlUclnJk6AeWfN42oQKcGs4GHVRTHNWvA4mZKq7hJa6GSsmYvye6iXehXhOqQqbwUStciNkiDCrkSqjE1gkLFmd4jB54I0kYPuJDlCv_ySnJQrwRnMhEy43vkg6eTNJNX0hflBvpKJoG-0tJXAn1f32fyPnnY7903ZHe93Oi3oI2uy3duS_wBFIl7_w
link.rule.ids 782,783,787,796,27937
linkProvider Library Specific Holdings
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=bookitem&rft.title=Enjoying+Natural+Computing&rft.au=Cienciala%2C+Lud%C4%9Bk&rft.au=Ciencialov%C3%A1%2C+Lucie&rft.au=Csuhaj-Varj%C3%BA%2C+Erzs%C3%A9bet&rft.au=Sos%C3%ADk%2C+Petr&rft.atitle=A+Logical+Representation+of+P+Colonies%3A+An+Introduction&rft.series=Lecture+Notes+in+Computer+Science&rft.date=2018-01-01&rft.pub=Springer+International+Publishing&rft.isbn=9783030002640&rft.issn=0302-9743&rft.eissn=1611-3349&rft.spage=66&rft.epage=76&rft_id=info:doi/10.1007%2F978-3-030-00265-7_6
thumbnail_s http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=https%3A%2F%2Febookcentral.proquest.com%2Fcovers%2F6284863-l.jpg