Norm approximation for imperfect monitors

QR Code

Norm approximation for imperfect monitors

In this paper, we consider the runtime monitoring of norms with imperfect monitors. A monitor is imperfect for a norm if it has insufficient observational capabilities to determine if a given execution trace of a multi-agent system complies with or violates the norm. One approach to the problem of i...

Full description

Bibliographic Details
Main Authors:	Alechina, Natasha, Dastani, Mehdi, Logan, Brian
Format:	Conference or Workshop Item
Published:	2014
Online Access:	https://eprints.nottingham.ac.uk/30181/

Similar Items

Practical run-time norm enforcement with bounded lookahead
by: Alechina, Natasha, et al.
Published: (2015)

Verifying existence of resource-bounded coalition uniform strategies
by: Alechina, Natasha, et al.
Published: (2016)

Incentive-compatible mechanisms for norm monitoring in open multi-agent systems
by: Alechina, Natasha, et al.
Published: (2018)

Incentive-compatible mechanisms for norm monitoring in open multi-agent systems (Extended abstract)
by: Alechina, Natasha, et al.
Published: (2018)

Verifying systems of resource-bounded agents
by: Alechina, Natasha, et al.
Published: (2016)

Resource logics with a diminishing resource: extended abstract
by: Alechina, Natasha, et al.
Published: (2018)

Incentivising monitoring in open normative systems
by: Alechina, Natasha, et al.
Published: (2017)

Efficient minimal preference change
by: Alechina, Natasha, et al.
Published: (2015)

Causality, responsibility and blame in team plans
by: Alechina, Natasha, et al.
Published: (2017)

Fair decomposition of group obligations
by: Alechina, Natasha, et al.
Published: (2017)

On the complexity of resource-bounded logics
by: Alechina, Natasha, et al.
Published: (2016)

The evolution of imperfect mimicry in hoverflies
by: Gilbert, Francis
Published: (2004)

Why are there imperfect Batesian mimics?
by: Warrin, Jonathan
Published: (2016)

Manufacture of cylinders with axial imperfections
by: Khirotdin, Khairilhijra
Published: (2004)

Manufacture of cylinders with axial imperfections
by: Khirotdin, Rd. Khairilhijra
Published: (2004)

Decidable model-checking for a resource logic with production of resources
by: Alechina, Natasha, et al.
Published: (2014)

Verifying heterogeneous multi-agent programs
by: Doan, Thu Trang, et al.
Published: (2014)

Symbolic model checking for one-resource RB+-ATL
by: Alechina, Natasha, et al.
Published: (2015)

On the boundary of (un)decidability: decidable model-checking for a fragment of resource agent logic
by: Alechina, Natasha, et al.
Published: (2015)

Alternating-time temporal logic with resource bounds
by: Nguyen, Hoang Nga, et al.
Published: (2015)

The virtues of idleness: a decidable fragment of resource agent logic
by: Alechina, Natasha, et al.
Published: (2017)

Model-checking for resource-bounded ATL with production and consumption of resources
by: Alechina, Natasha, et al.
Published: (2017)

Hoverflies are imperfect mimics of wasp colouration
by: Reader, Tom
Published: (2016)

Hoverflies are imperfect mimics of wasp colouration
by: Taylor, Christopher H., et al.
Published: (2016)

Efficient Environmental Standards with Imperfect Competition
by: Petchey, Jeffrey
Published: (2013)

Differentiation and imperfectionality in John Updike’s Terrorist
by: M Ikbal M Alosman,, et al.
Published: (2018)

Imperfections in a two-dimensional hierarchical structure
by: Rayneau-Kirkhope, Daniel, et al.
Published: (2014)

Steindl on imperfect competition: The role of technical change
by: Bloch, Harry
Published: (2006)

Generating theorems for s-norms and t-norms
by: Shawkat Mahmoud Rasheed Alkhazaleh,, et al.
Published: (2008)

What is normal anyway? Exploring the Effect of Social Norms on Grief Expectations, Expressions, and Social Support
by: Logan, Enna Louise
Published: (2018)

Detecting change and dealing with uncertainty in imperfect evolutionary environments
by: Mujtaba, Hasan, et al.
Published: (2015)

Stability and imperfection sensitivity of spherical-tip conical shells
by: Khan, Md. Raisuddin, et al.
Published: (1996)

Synthesis of orchestrations of transducers for manufacturing
by: De Giacomo, Giuseppe, et al.
Published: (2018)

Improvement of cylinder buckling knockdown factor through imperfection sensitivity
by: Ismail, Mohd Shahrom, et al.
Published: (2014)

Strain behaviour in composite plate girders with imperfect shear connection
by: Mohd Yazmil Md Yatim,, et al.
Published: (2016)

A model of employment and real wages under imperfect competition
by: Bloch, Harry
Published: (2001)

Using qualitative spatial logic for validating crowd-sourced geospatial data
by: Du, Heshan, et al.
Published: (2015)

Reinforcement learning of normative monitoring intensities
by: Li, Jiaqi, et al.
Published: (2016)

Compensation of frequency independent I/Q imperfections using LMS algorithm
by: Talebpour, Faraz, et al.
Published: (2014)

Experimental investigation on frequency shifting of imperfect adhesively bonded pipe joints
by: Haiyam, F. N., et al.
Published: (2018)