Filters








38,821 Hits in 4.0 sec

Normative Monitoring: Semantics and Implementation [chapter]

Sergio Alvarez-Napagao, Huib Aldewereld, Javier Vázquez-Salceda, Frank Dignum
2011 Lecture Notes in Computer Science  
semantics and our current implementation compliant to these semantics.  ...  In this paper we present a formalism for the monitoring of both regulative (deontic) and substantive (constitutive) norms based on Structural Operational Semantics, its reduction to Production Systems  ...  Vázquez-Salceda's work has been also partially funded by the Ramón y Cajal program of the Spanish Ministry of Education and Science.  ... 
doi:10.1007/978-3-642-21268-0_18 fatcat:22ohv2icdfa3hjvy4qdc7vy7jq

Monitoring norms: a multi-disciplinary perspective

Mehdi Dastani, Paolo Torroni, Neil Yorke-Smith
2018 Knowledge engineering review (Print)  
Monitoring of norms is foundational for processes of accountability, enforcement, regulation and sanctioning.  ...  Starting with a broad focus and narrowing to the multi-agent systems literature, this survey addresses four key questions: what is monitoring, what is monitored, who does the monitoring and how the monitoring  ...  2013) often lack a concrete monitor implementation and often even a well-defined monitoring logic.  ... 
doi:10.1017/s0269888918000267 fatcat:yquw5xwfv5hexkeyljdo6lyhai

Towards the Norm-Aware Agent: Bridging the Gap Between Deontic Specifications and Practical Mechanisms for Norm Monitoring and Norm-Aware Planning [chapter]

Sofia Panagiotidi, Sergio Alvarez-Napagao, Javier Vázquez-Salceda
2014 Lecture Notes in Computer Science  
We hint at the feasibility of the translation of these semantics to actual implementation languages (Clojure and Drools for norm monitoring and TLPlan for norm-aware planning).  ...  In this paper we report on our attempt to bridge this gap by reducing from deontic statements to structural operational semantics (for norm monitoring) and to planning control rules (for practical normative  ...  In Section 4 we focus on the semantics of norms and norm instances from the deontic statement level, while in Section 5 we focus on the operational semantics and how it can be used in practical implementations  ... 
doi:10.1007/978-3-319-14220-3_19 fatcat:irj3zfakhzhjvjrlo5pn2lhyxi

Towards the Norm-Aware Agent: Bridging the Gap Between Deontic Specifications and Practical Mechanisms for Norm Monitoring and Norm-Aware Planning [chapter]

Sofia Panagiotidi, Sergio Alvarez-Napagao, Javier Vázquez-Salceda
2014 Lecture Notes in Computer Science  
We hint at the feasibility of the translation of these semantics to actual implementation languages (Clojure and Drools for norm monitoring and TLPlan for norm-aware planning).  ...  In this paper we report on our attempt to bridge this gap by reducing from deontic statements to structural operational semantics (for norm monitoring) and to planning control rules (for practical normative  ...  In Section 4 we focus on the semantics of norms and norm instances from the deontic statement level, while in Section 5 we focus on the operational semantics and how it can be used in practical implementations  ... 
doi:10.1007/978-3-319-07314-9_19 fatcat:byzdfnakbnbkhexns2oc5njnni

Bounded-Monitor Placement in Normative Environments

Guilherme Krzisch, Nir Oren, Felipe Meneguzzi
2017 International Joint Conference on Artificial Intelligence  
norms for which compliance must be monitored, and which, if violated, result in a penalty.  ...  In order to sanction non-compliant agents, norm violations must be detected, which in turn requires norm monitoring.  ...  Acknowledgments This work is partially supported by grants from CNPq/Brazil numbers 132339/2016-1 and 305969/2016-1.  ... 
dblp:conf/ijcai/KrzischeOM17 fatcat:cjicqthfv5brvjduauuakeh7wq

Monitoring compliance with E-contracts and norms

Sanjay Modgil, Nir Oren, Noura Faci, Felipe Meneguzzi, Simon Miles, Michael Luck
2015 Artificial Intelligence and Law  
In this way, monitors determine the fulfillment or violation status of norms.  ...  The framework deploys monitors that receive inputs from trusted observers, and processes these inputs together with transition network representations of individual norms.  ...  to groups of agents) in the normative system being monitored, where such representations assume only that the system's norms conform to a general and widely applicable semantic model of norms.  ... 
doi:10.1007/s10506-015-9167-9 fatcat:ypkycfrcgbhnhfulyphqoviusi

Norm Monitoring Under Partial Action Observability

Natalia Criado, Jose M. Such
2017 IEEE Transactions on Cybernetics  
In particular, we formalise the problem of reconstructing unobserved actions, and propose an information model and algorithms for monitoring norms under partial action observability using two different  ...  In the context of using norms for controlling multi-agent systems, a vitally important question that has not yet been addressed in the literature is the development of mechanisms for monitoring norm compliance  ...  The main drawback of proposals based on agent monitoring is the fact that norm monitoring and enforcement must be implemented by agent programmers.  ... 
doi:10.1109/tcyb.2015.2513430 pmid:26800560 fatcat:slspagiaizdcvk3wzof7qqjibu

A Framework for Automatic Monitoring of Norms that regulate Time Constrained Actions [article]

Nicoletta Fornara, Soheil Roshankish, Marco Colombetti
2021 arXiv   pre-print
The operational semantics of the T-NORM model is specified by providing an unambiguous procedure for translating every norm and every exception into production rules.  ...  This paper addresses the problem of proposing a model of norms and a framework for automatically computing their violation or fulfilment.  ...  Our proposal is strictly related to the specification of the operational semantics of such a model, this to make it possible to provide monitoring and simulation services on norms specifications.  ... 
arXiv:2105.00200v1 fatcat:7wbm6yz3xzbrbkepdpjwpekpte

An Architecture for Monitoring Norms that Combines OWL Reasoning and Forward Chaining over Rules

Nicoletta Fornara, Marco Sterpetti
2021 Joint Ontology Workshops  
In this paper we presents the architecture of a system able to monitor the fulfillment or violation of a set of norms (formalized with the T-NORM model) that regulates the performance of a class of actions  ...  The proposed architecture is innovative because it combines an OWL reasoner with a forward chaining interpreter and its implementation requires to solve various problems of interoperability among them.  ...  Architecture for Norms Monitoring and its Implementation The architecture of the system designed to monitor norms formalized with the T-NORM model is depicted in Figure 2 .  ... 
dblp:conf/jowo/FornaraS21 fatcat:lqfobpvadfg7hdedmicqq3k2p4

INSTITUTIONAL REALITY AND NORMS: SPECIFYING AND MONITORING AGENT ORGANIZATIONS

HENRIQUE LOPES CARDOSO, EUGÉNIO OLIVEIRA
2007 International Journal of Cooperative Information Systems  
Implementing a Normative Environment Most work on normative systems relies on deontic formalizations, and focuses on defining formal semantics.  ...  , the specification of contracts and the implementation of monitoring and enforcement mechanisms.  ...  Applying norms A rule for managing the application of norms will handle the execution focus for rules defined in different modules.  ... 
doi:10.1142/s0218843007001573 fatcat:u6uu7zgoanflfcnlm62iszbgsm

Towards Runtime Support for Norm Change from a Monitoring Perspective

Ignasi Gómez-Sebastià, Sergio Álvarez-Napagao, Javier Vázquez-Salceda, Luis Oliva Felipe
2012 International Conference on Agreement Technologies  
In this paper we present an extension of a formal normative monitoring framework capable of updating normative contexts at runtime without stopping the monitoring process.  ...  Nowadays electronic specifications of norms are one of the mechanisms that can be applied to define and enforce acceptable behaviour within distributed electronic systems which should comply with some  ...  . -£ is a transition relation such that £ ⊆ Γ M N × L × Γ M N This formalism has been reduced to the semantics of general production systems and an implementation in DROOLS is already available.  ... 
dblp:conf/at/Gomez-SebastiaAVF12 fatcat:64yzknrvt5fbto2xtxnmmiyd5y

Resource-bounded Norm Monitoring In Multi-agent Systems

Natalia Criado
2018 The Journal of Artificial Intelligence Research  
We formally demonstrate the correctness and soundness of our norm monitor and study its complexity.  ...  Proposals on norm monitoring often assume that monitoring has no costs and/or that monitors have unlimited resources to observe the environment and the actions performed by agents.  ...  In such complex systems, it is more desirable to allow norm violations to happen and to implement norm enforcement mechanisms.  ... 
doi:10.1613/jair.1.11206 fatcat:aw6s7jcqcbe2pdetippdsbfbme

Design and Implementation for Trucks Tracking System Using GPS Based on Semantic Web

Yasser Ahmed Nada
2017 International Journal of Trend in Scientific Research and Development  
This paper proposed design and implementation of trucks tracking system using GPS based on semantic web for vehicle tracking in real time. In-vehicle unit and a tracking server is used.  ...  It has been explored that most of the GPS based tracking systems are user friendly, cost effective, reliable and can be easily validated through different experiments and simulations which means that tracking  ...  All data in the semantic web use RDF as the primary representation language. The normative syntax for serializing RDF is XML in the RDF/XML form [9] .  ... 
doi:10.31142/ijtsrd169 fatcat:uyavxln6tzabte2sgif6pismlm

Using quantile regression to create baseline norms for neuropsychological tests

Ben Sherwood, Andrew Xiao-Hua Zhou, Sandra Weintraub, Lan Wang
2016 Alzheimer's and Dementia: Diagnosis, Assessment and Disease Monitoring  
An online application allows users to easily implement the proposed method.  ...  Quantile and mean regression models were fit using age, gender, and years of education. Differences between the mean and quantile regression estimates were found on the individual measures.  ...  S.W. provided revisions and advice about how to interpret the results. L.W. provided advice on the statistical analysis and provided revisions.  ... 
doi:10.1016/j.dadm.2015.11.005 pmid:27239531 pmcid:PMC4879644 fatcat:ia63q2oebff55dhwhh73vowyrq

Towards a Semantic Interoperable Flemish Research Information Space: Development and Implementation of a Flemish Application Profile for Research Datasets

Evy Neyens, Sadia Vancauwenbergh
2021 International Journal of Digital Curation  
Flemish decrees on Special and Industrial research funding, and the Flemish Open Science policy require RPOs to also provide metadata on research datasets to FRIS.  ...  research discovery platform hosted by the Flemish Department of Economics, Science and Innovation.  ...  Acknowledgements This work is carried out for the Expertise Centre for Research and Development Monitoring (ECOOM) in Flanders, which is supported by the Department of Economy, Science and Innovation,  ... 
doi:10.2218/ijdc.v16i1.762 fatcat:odurivzxubcltlqn7xe254drju
« Previous Showing results 1 — 15 out of 38,821 results