Còir: Verifying normative specifications of complex systems

Autor: Gasparini, L., Norman, T. J., Kollingbaum, M.J., Chen, L., Meyer, J.J.C., Dignum, V., Noriega, P., Sensoy, M., Sichman, J.S., Sub Intelligent Systems, Intelligent Systems

Publikováno v: Coordination, Organizations, Institutions, and Normes in Agent Systems XI, LNAI, 9628, 134. Springer International Publishing
Lecture Notes in Computer Science ISBN: 9783319426907
COIN@AAMAS/IJCAI

Existing approaches for the verification of normative systems consider limited representations of norms, often neglecting collective imperatives, deadlines and contrary-to-duty obligations. In order to capture the requirements of real-world scenarios

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3b375d0c271ec0a5da3d6c23f91983fe
https://dspace.library.uu.nl/handle/1874/343757

Verifying Normative System Specification containing Collective Imperatives and Deadlines

Autor: Gasparini, Luca, Norman, Timothy J., Kollingbaum, Martin J., Chen, Liang, Meyer, John-Jules Ch., Bordini, R., Elkind, E., Weiss, G., Yolum, P., Sub Intelligent Systems, Intelligent Systems

Publikováno v: Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, Istanbul, Turkey, May 4-8, 2015, 1821. International Foundation for Autonomous Agents and Multiagent Systems
STARTPAGE=1821;TITLE=Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, Istanbul, Turkey, May 4-8, 2015

Our focus is on the specification and verification of normative systems that include contrary-to-duty, collective and event-driven imperatives with deadlines. We propose an operational syntax and semantics for the specification of such systems. Using

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::addace8a9f07fabcc433d5fed1822257
https://dspace.library.uu.nl/handle/1874/315704