A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Filters
Timed Dyadic Deontic Logic
[chapter]
2021
Frontiers in Artificial Intelligence and Applications
Preserved Fulltext
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]
2016
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2017
International Conference on Legal Knowledge and Information Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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]
2014
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
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
2013
Theoria
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2013
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2014
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2011
Journal of Computers
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2001
Proceedings of the fifth international conference on Autonomous agents - AGENTS '01
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2010
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
2014
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2014
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2016
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2015
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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