Sökning: id:"swepub:oai:gup.ub.gu.se/330910" >
Synchronous Agents,...
-
Kharraz, Karam
(författare)
Synchronous Agents, Verification, and Blame - A Deontic View
- Artikel/kapitelEngelska2023
Förlag, utgivningsår, omfång ...
Nummerbeteckningar
-
LIBRIS-ID:oai:gup.ub.gu.se/330910
-
https://gup.ub.gu.se/publication/330910URI
-
https://doi.org/10.1007/978-3-031-47963-2_20DOI
Kompletterande språkuppgifter
Ingår i deldatabas
Klassifikation
-
Ämneskategori:ref swepub-contenttype
-
Ämneskategori:kon swepub-publicationtype
Anmärkningar
-
A question we can ask of multi-agent systems is whether the agents’ collective interaction satisfies particular goals or specifications, which can be either individual or collective. When a collaborative goal is not reached, or a specification is violated, a pertinent question is whether any agent is to blame. This paper considers a two-agent synchronous setting and a formal language to specify when agents’ collaboration is required. We take a deontic approach and use obligations, permissions, and prohibitions to capture notions of non-interference between agents. We also handle reparations, allowing violations to be corrected or compensated. We give trace semantics to our logic, and use it to define blame assignment for violations. We give an automaton construction for the logic, which we use as the base for model checking and blame analysis. We also further provide quantitative semantics that is able to compare different interactions in terms of the required reparations.
Ämnesord och genrebeteckningar
Biuppslag (personer, institutioner, konferenser, titlar ...)
-
Azzopardi, Shaun,1992Gothenburg University,Göteborgs universitet,Institutionen för data- och informationsteknik, datavetenskap (GU),Department of Computer Science and Engineering, Computing Science (GU)(Swepub:gu)xazzsh
(författare)
-
Schneider, Gerardo,1967Gothenburg University,Göteborgs universitet,Institutionen för data- och informationsteknik (GU),Department of Computer Science and Engineering (GU)(Swepub:gu)xschge
(författare)
-
Leucker, Martin
(författare)
-
Göteborgs universitetInstitutionen för data- och informationsteknik, datavetenskap (GU)
(creator_code:org_t)
Sammanhörande titlar
-
Ingår i:Theoretical Aspects of Computing (ICTAC): Springer9783031479625
Internetlänk
Hitta via bibliotek
Till lärosätets databas