Attributes | Values |
---|
rdf:type
| |
Description
| - This contribution argues for the proposition that formal models based on the theory of formal grammars and languages are adequate for the study of some computationally relevant properties of agents and multi-agent systems. Some questions are formulated concerning the possibilities to enlarge the universality and realism of such models by considering the possibilities to go with their computing abilities beyond the traditional Turing-computability, and by considering very natural properties of any real (multi-)agent system such as the partially predictable functioning (behavior) of agents, their unreliability, dysfunctions, etc.
- This contribution argues for the proposition that formal models based on the theory of formal grammars and languages are adequate for the study of some computationally relevant properties of agents and multi-agent systems. Some questions are formulated concerning the possibilities to enlarge the universality and realism of such models by considering the possibilities to go with their computing abilities beyond the traditional Turing-computability, and by considering very natural properties of any real (multi-)agent system such as the partially predictable functioning (behavior) of agents, their unreliability, dysfunctions, etc. (en)
- Příspěvek podporuje tvrzení, že formální modely založené na teorii formálních gramatik a jazyků jsou adekvátní studiu některých výpočtově relevantních vlastností agentů a multiagentových systémů. Jsou zformulovány některé otázky týkající se možnosti rozšíření univerzality a realizmu těchto modelů za hranice turingovské vyčíslitelnosti a uvažování o některých velice přirozených vlastnostech multiagentových systémů jako jsou parciálně predikovatelná funkčnost, (ne)spolehlivost, (ne)funkčnost atd. (cs)
|
Title
| - SOME QUESTIONS INSPIRED BY (MEMBRANE COMPUTING MOTIVATED) LANGUAGE-THEORETIC MODELS
- SOME QUESTIONS INSPIRED BY (MEMBRANE COMPUTING MOTIVATED) LANGUAGE-THEORETIC MODELS (en)
- Některé otázky inspirované teoretickými modely jazyků motivované membránovými výpočty (cs)
|
skos:prefLabel
| - SOME QUESTIONS INSPIRED BY (MEMBRANE COMPUTING MOTIVATED) LANGUAGE-THEORETIC MODELS
- SOME QUESTIONS INSPIRED BY (MEMBRANE COMPUTING MOTIVATED) LANGUAGE-THEORETIC MODELS (en)
- Některé otázky inspirované teoretickými modely jazyků motivované membránovými výpočty (cs)
|
skos:notation
| - RIV/47813059:19240/07:#0001885!RIV09-MSM-19240___
|
http://linked.open...avai/riv/aktivita
| |
http://linked.open...avai/riv/aktivity
| |
http://linked.open...vai/riv/dodaniDat
| |
http://linked.open...aciTvurceVysledku
| |
http://linked.open.../riv/druhVysledku
| |
http://linked.open...iv/duvernostUdaju
| |
http://linked.open...titaPredkladatele
| |
http://linked.open...dnocenehoVysledku
| |
http://linked.open...ai/riv/idVysledku
| - RIV/47813059:19240/07:#0001885
|
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - agent; multi-agent system; formal language; membrane system (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...v/mistoKonaniAkce
| |
http://linked.open...i/riv/mistoVydani
| |
http://linked.open...i/riv/nazevZdroje
| - COMPUTING AND INFORMATICS
|
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...iv/tvurceVysledku
| |
http://linked.open...vavai/riv/typAkce
| |
http://linked.open.../riv/zahajeniAkce
| |
issn
| |
number of pages
| |
http://purl.org/ne...btex#hasPublisher
| - SLOVAK ACAD SCIENCES INST INFORMATICS
|
http://localhost/t...ganizacniJednotka
| |
is http://linked.open...avai/riv/vysledek
of | |