dc.contributor.author | Kakas, Antonis C. | en |
dc.contributor.author | Mancarella, P. | en |
dc.contributor.author | Sadri, F. | en |
dc.contributor.author | Stathis, Kostas | en |
dc.contributor.author | Toni, F. | en |
dc.creator | Kakas, Antonis C. | en |
dc.creator | Mancarella, P. | en |
dc.creator | Sadri, F. | en |
dc.creator | Stathis, Kostas | en |
dc.creator | Toni, F. | en |
dc.date.accessioned | 2019-11-13T10:40:27Z | |
dc.date.available | 2019-11-13T10:40:27Z | |
dc.date.issued | 2005 | |
dc.identifier.issn | 0302-9743 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/54131 | |
dc.description.abstract | In this work, we extend the architecture of agents (and robots) based upon fixed, one-size-fits-all cycles of operation, by providing a framework of declarative specification of agent control. Control is given in terms of cycle theories, which define in a declarative way the possible alternative behaviours of agents, depending on the particular circumstances of the (perceived) external environment in which they are situated, on the internal state of the agents at the time of operation, and on the agents' behavioural profile. This form of control is adopted by the KGP model of agency and has been successfully implemented in the PROSOCS platform. We also show how, via cycle theories, we can formally verify properties of agents' behaviour, focusing on the concrete property of agents' interruptibiliiy. Finally, we give some examples to show how different cycle theories give rise to different, heterogeneous agents' behaviours. © Springer-Verlag Berlin Heidelberg 2005. | en |
dc.source | 5th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA V | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-26844576429&partnerID=40&md5=64ba6a5b05c06bb7b36d30da0f2f25cd | |
dc.subject | Multi agent systems | en |
dc.subject | Artificial intelligence | en |
dc.subject | Control system analysis | en |
dc.subject | Heterogeneous agents | en |
dc.subject | Declarative agent control | en |
dc.subject | Knowledge engineering | en |
dc.title | Declarative agent control | en |
dc.type | info:eu-repo/semantics/article | |
dc.description.volume | 3487 LNAI | en |
dc.description.startingpage | 96 | |
dc.description.endingpage | 110 | |
dc.author.faculty | 002 Σχολή Θετικών και Εφαρμοσμένων Επιστημών / Faculty of Pure and Applied Sciences | |
dc.author.department | Τμήμα Πληροφορικής / Department of Computer Science | |
dc.type.uhtype | Article | en |
dc.description.notes | <p>Sponsors: Universidade Nova de Lisboa, Portugal | en |
dc.description.notes | Fundacao para a Ciencia e Tecnologia | en |
dc.description.notes | FBA | en |
dc.description.notes | AgentLink III | en |
dc.description.notes | Conference code: 67056 | en |
dc.description.notes | Cited By :12</p> | en |
dc.source.abbreviation | Lect. Notes Comput. Sci. | en |
dc.contributor.orcid | Kakas, Antonis C. [0000-0001-6773-3944] | |
dc.gnosis.orcid | 0000-0001-6773-3944 | |