Normative multi-agent programs and their logics

Authors
  • M. Dastani
  • D. Grossi ORCID logo
  • J.-J.C. Meyer
  • N. Tinnemeier
Publication date 2009
Host editors
  • J.-J.C. Meyer
  • J. Broersen
Book title Knowledge Representation for Agents and Multi-Agent Systems
Book subtitle First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008 : revised selected papers
ISBN
  • 9783642053009
ISBN (electronic)
  • 9783642053016
Series Lecture Notes in Computer Science
Event First International Workshop on Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS 2008), Sydney, Australia
Pages (from-to) 16-31
Publisher Berlin: Springer
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Abstract Multi-agent systems are viewed as consisting of individual agents whose behaviors are regulated by an organization artefact. This paper presents a simplified version of a programming language that is designed to implement norm-based artefacts. Such artefacts are specified in terms of norms being enforced by monitoring, regimenting and sanctioning mechanisms. The syntax and operational semantics of the programming language are introduced and discussed. A logic is presented that can be used to specify and verify properties of programs developed in this language.
Document type Conference contribution
Language English
Published at https://doi.org/10.1007/978-3-642-05301-6_2
Permalink to this page
Back