Filters








16,068 Hits in 2.7 sec

Timed Dyadic Deontic Logic [chapter]

Karam Younes Kharraz, Martin Leucker, Gerardo Schneider
2021 Frontiers in Artificial Intelligence and Applications  
Our starting point is a version of a dyadic deontic logic with conditional obligations, permissions, and obligations, and with a "reparation" operator for representing contrary-to-duties and contrary-to-prohibitions  ...  We provide a trace semantics capturing both satisfaction and violation of norms and discuss fulfillment of TDDL specifications.  ...  It is very easy to define norms that have inherent conflicts or are even contradicting, for example by specifying overlapping intervals in which certain actions are both forbidden and obligated.  ... 
doi:10.3233/faia210336 fatcat:bmfubanvqvhpvao2iergog277e

Sequence Semantics for Normative Agents [chapter]

Guido Governatori, Francesco Olivieri, Erica Calardo, Antonino Rotolo, Matteo Cristani
2016 Lecture Notes in Computer Science  
with norms).  ...  Given that the outcome operator is substructural, we first propose a novel sequence semantics (a generalisation of possible world semantics) to model the outcome operator, and we prove that the axiomatisation  ...  The sequence semantics addresses the problem identified in [7] for possible world semantics for deontic logic for compensatory obligations.  ... 
doi:10.1007/978-3-319-44832-9_14 fatcat:ldb4k4nnuzfe7pc3rdygc4zdki

A Short Introduction to the Regorous Compliance by Design Methodology

Guido Governatori
2017 International Conference on Legal Knowledge and Information Systems  
We provide a short outline of the compliance by design methodology proposed by Sadiq and Governatori to ensure compliance of business processes and its implementation in Regorous.  ...  non preemptive and non-perdurant obligation for p.  ...  Thus, the idea presented in this section and used in Section 4 can be adopted for a large variety systems (all we need is a sequence of events, each with a set of semantic annotations attached to each  ... 
dblp:conf/jurix/Governatori17 fatcat:vacb2ctkizhwrf3fgirigwvjwm

A Preference-Based Semantics for CTD Reasoning [chapter]

Erica Calardo, Guido Governatori, Antonino Rotolo
2014 Lecture Notes in Computer Science  
In this paper we fill the gap and define a suitable possible-world semantics for the system for which we can prove soundness and completeness.  ...  The semantics is a preference-based non-normal one extending and generalizing semantics for classical modal logics.  ...  Antonino Rotolo was supported by the Unibo FARB 2012 project Mortality Salience, Legal and Social Compliance, and Economic Behaviour: Theoretical Models and Experimental Methods.  ... 
doi:10.1007/978-3-319-08615-6_5 fatcat:phg545tdaffnzcaiqc25k2z5km

Priority Structures in Deontic Logic

Johan van Benthem, Davide Grossi, Fenrong Liu
2013 Theoria  
Finally, the priority framework is shown to provide a unifying setting for the study of operations on norms as such, in particular, adding or deleting individual norms, and even merging whole norm systems  ...  Next, the priority framework is applied to model two intuitively different sorts of deontic dynamics of obligations, based on information changes and on genuine normative events.  ...  of DEON'10 and DEON'12.  ... 
doi:10.1111/theo.12028 fatcat:xzzggofia5ebvoynp73fvd74ty

Time Is Up! – Norms with Deadlines in Action Languages [chapter]

Matthias Knorr, Alfredo Gabaldon, Ricardo Gonçalves, João Leite, Martin Slota
2013 Lecture Notes in Computer Science  
time, as well as norm violations and even simple contrary-to-duty obligations resulting from the satisfaction or violation of an agent's obligations.  ...  Unlike previous extensions of Action Languages with norms, our resulting language is expressive enough to represent and reason with different kinds of obligations with deadlines that explicitly refer to  ...  Matthias Knorr, João Leite and Martin Slota were partially supported by FCT under project "ERRO -Efficient Reasoning with Rules and Ontologies" (PTDC/EIA-CCO/121823/2010).  ... 
doi:10.1007/978-3-642-40624-9_14 fatcat:ef6v337xjrhknixvv2a452hcea

Argument Schemes for Normative Practical Reasoning [chapter]

Nir Oren
2014 Lecture Notes in Computer Science  
Inspired by Atkinson's scheme for practical reasoning, we utilise argument schemes and critical questions to both show, and reason about how goals and obligations lead to preferences over the possible  ...  This paper describes a framework for practical reasoning in the presence of norms. We describe a formal normative model constructed using Action-based Alternating Transition Systems.  ...  In this paper we propose a semantics for norms and goals that can be used to describe the possible executions of a system.  ... 
doi:10.1007/978-3-642-54373-9_5 fatcat:rlsaqtimzjhuvntp5mcevsuchm

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.  ...  We show how the model can be used to formalize obligations and prohibitions and for inhibiting them by introducing permissions and exemptions.  ...  What is innovative with respect to other approaches is that instead of explicitly labelling a norm as an obligation or a prohibition, we let the norm designer explicitly express what sequence of events  ... 
arXiv:2105.00200v1 fatcat:7wbm6yz3xzbrbkepdpjwpekpte

A MEASUR and RUP Combined Business Modeling Method

Hui Du, Weiting Yu
2011 Journal of Computers  
The method proposed consists of three activities in sequence.  ...  Although both MEASUR (Methods for Eliciting, Analyzing and Specifying User's Requirement) and RUP (Rational Unified Process) provide their own Business Modeling Method (BMM), each has obvious merits and  ...  These norms prescribe what people must, may and must not do, which are equivalent to three deontic operators 'permitted', 'prohibited' and 'obliged'.  ... 
doi:10.4304/jcp.6.6.1086-1093 fatcat:3iuybqdnefb35o6djntdp7ff4e

Interaction patterns and observable commitments in a multi-agent trading scenario

Jeremy Pitt, Lloyd Kamara, Alexander Artikis
2001 Proceedings of the fifth international conference on Autonomous agents - AGENTS '01  
We propose a formal semantics for the protocol diagrams (interaction patterns) of AUML (Agent Unified Modelling Language).  ...  We connect this proposal with a general framework for defining the semantics of ACLs (Agent Communication Languages).  ...  We are also grateful to the anonymous reviewers for their many useful comments.  ... 
doi:10.1145/375735.376422 dblp:conf/agents/PittKA01 fatcat:q6rk5ammfvghdiiffs3gbmu66y

Deontics = Betterness + Priority [chapter]

Johan van Benthem, Davide Grossi, Fenrong Liu
2010 Lecture Notes in Computer Science  
The framework naturally lends itself to describing dynamics involving both orderings, thereby providing a new analysis of norm change as 'betterness change'.  ...  The correspondence between these two orderings offers a rich perspective from which to look at deontic scenarios and puzzles, and in particular at contrary-to-duties.  ...  Acknowledgments The authors would like to thank the anonymous reviewers of DEON'10 for their comments, which considerably helped us in improving the paper, as well as Jörg Hansen and Leon van der Torre  ... 
doi:10.1007/978-3-642-14183-6_6 fatcat:b26kjh7qrnhxderv72ccxzbshy

Re-checking Normative System Coherence [chapter]

Thomas Christopher King, Virginia Dignum, M. Birna van Riemsdijk
2014 Lecture Notes in Computer Science  
and obligation of an action or a set of deadlocked duties.  ...  This paper presents a compositional framework that may be used for detecting whether normative systems are coherent by analysing traces of actions and their legality.  ...  That is, we first define the semantics for obligations and prohibitions as a set of normative traces, which form the leaves of the tree (Section 3.1).  ... 
doi:10.1007/978-3-319-07314-9_15 fatcat:ynddtlllszaafbhl4abv4zfnyy

Re-checking Normative System Coherence [chapter]

Thomas Christopher King, Virginia Dignum, M. Birna van Riemsdijk
2014 Lecture Notes in Computer Science  
and obligation of an action or a set of deadlocked duties.  ...  This paper presents a compositional framework that may be used for detecting whether normative systems are coherent by analysing traces of actions and their legality.  ...  That is, we first define the semantics for obligations and prohibitions as a set of normative traces, which form the leaves of the tree (Section 3.1).  ... 
doi:10.1007/978-3-319-14220-3_15 fatcat:aglnuk2az5cptj67r2c5bwsm4e

Semantic Business Process Regulatory Compliance Checking Using LegalRuleML [chapter]

Guido Governatori, Mustafa Hashmi, Ho-Pun Lam, Serena Villata, Monica Palmirani
2016 Lecture Notes in Computer Science  
of norms can be modeled and reasoned with.  ...  Legal documents are the source of norms, guidelines, and rules that often feed into different applications.  ...  ., sequence, AND-Join, AND-Split, XOR-Join, XOR-Split).  ... 
doi:10.1007/978-3-319-49004-5_48 fatcat:ldaymd6z3nd7vcfva3lygctcsy

Supporting Request Acceptance with Use Policies [chapter]

Thomas C. King, M. Birna van Riemsdijk, Virginia Dignum, Catholijn M. Jonker
2015 Lecture Notes in Computer Science  
We give representations of requests for resource usage as a set of conditional norms and a use policy as specifying what norms should and should not be imposed on a resource (i.e. a set of meta-norms).  ...  This is by providing a means for owners of resources to maintain autonomy over how, when and to whom their resources are used with the specification of use policies governing resources.  ...  Authors would like to thank anonymous reviewers of COIN-14 for their helpful comments.  ... 
doi:10.1007/978-3-319-25420-3_8 fatcat:mkmxgtz4b5bidpyu26r7bwfpsy
« Previous Showing results 1 — 15 out of 16,068 results