1,241 Hits in 5.0 sec

Detecting Deontic Conflicts in Dynamic Settings [chapter]

Silvano Colombo Tosatto, Guido Governatori, Pierre Kelsen
2014 Lecture Notes in Computer Science  
In the present paper we focus on identifying conflicts between obligations in dynamic settings.  ...  Second we introduce a new semantics for the obligations capable of representing and reasoning about them in these dynamic settings, and lastly we use it to identify the necessary and sufficient conditions  ...  We show that standard deontic logic appears to be too restrictive while reasoning about normative conflicts in dynamic settings.  ... 
doi:10.1007/978-3-319-08615-6_6 fatcat:qt5k2jdejrd33dfwvukkfvfq5u

An automatic tool for checking multi-party contracts [article]

Adilson Luiz Bonifacio, Wellington Aparecido Della Mura
2018 arXiv   pre-print
An important task on verifying contracts is concerned of detecting conflicts in multi-party contracts.  ...  The problem of checking contracts has been largely addressed in the literature, but we are not aware about any method and tool that deals with multi-party contracts and conflict detection using a contract  ...  Deontic Logic CL Dynamic Logic CL conflict detection Relativized Deontic Logic RCL Multi-party conflict detection using using Figure 1 : Scheme of our contribution.  ... 
arXiv:1809.01103v1 fatcat:7nsum6f23be6vgs5g6sypwl6om

CLAN: A Tool for Contract Analysis and Conflict Discovery [chapter]

Stephen Fenech, Gordon J. Pace, Gerardo Schneider
2009 Lecture Notes in Computer Science  
In this paper, we present CLAN, a tool for automatic analysis of conflicting clauses of contracts written in the contract language CL.  ...  A challenging aspect is that of service composition, in which the contracts composed together may result in conflicting situations, so there is a need to analyse contracts and ensure their soundness.  ...  This is even more challenging in a dynamic setting, in which contracts may only be acquired at runtime.  ... 
doi:10.1007/978-3-642-04761-9_8 fatcat:ql6at3cdizdxtb2ci6obdu7vgm

Automatic Conflict Detection on Contracts [chapter]

Stephen Fenech, Gordon J. Pace, Gerardo Schneider
2009 Lecture Notes in Computer Science  
We present a trace semantics of CL suitable for conflict analysis, and a decision procedure for detecting conflicts (together with its proof of soundness, completeness and termination).  ...  However, the potentially dynamic composition of services with different contracts, and the combination of service contracts with local contracts can give rise to unexpected conflicts, exposing the need  ...  sets of sets 4 of deontic information in Σ d .  ... 
doi:10.1007/978-3-642-03466-4_13 fatcat:mxntp7nzwrf6bglaf2vu3igmea

ContractLog: An Approach to Rule Based Monitoring and Execution of Service Level Agreements [chapter]

Adrian Paschke, Martin Bichler, Jens Dietrich
2005 Lecture Notes in Computer Science  
We make use of a set of knowledge representation (KR) concepts and combine adequate logical formalisms in one expressive formal framework called ContractLog.  ...  In this paper we evolve a rule based approach to SLA representation and management which allows separating the contractual business logic from the application logic and enables automated execution and  ...  Facilitates conflict detection and resolution as well as revision/ updating and modularity of rules.  ... 
doi:10.1007/11580072_19 fatcat:crdbgzxrkbegzhqcjnkwjizc4q

Detection and resolution of normative conflicts in multi-agent systems: a literature survey

Jéssica S. Santos, Jean O. Zahn, Eduardo A. Silvestre, Viviane T. Silva, Wamberto W. Vasconcelos
2017 Autonomous Agents and Multi-Agent Systems  
In this paper, we present several techniques that have been proposed to detect and resolve normative conflicts in multi-agent systems.  ...  A conflict between norms is a situation in which the fulfilment of a norm causes a violation of another one.  ...  Due to the dynamic nature of coalitions, normative conflicts may arise in these systems and agents must have mechanisms to detect them.  ... 
doi:10.1007/s10458-017-9362-z fatcat:qift6v2hk5gxtesdi37xzzpoye

A General Theory of Contract Conflicts with Environmental Constraints [chapter]

Gordon J. Pace
2020 Frontiers in Artificial Intelligence and Applications  
One advantage of using formal deontic logic to represent and reason about normative texts is that one can analyse such texts in a precise and incontrovertible manner.  ...  Conflict analysis is one such analysis technique — assessing whether a number of contracts, or more generally normative texts, are internally consistent, in that they may not lead to a situation in which  ...  conflicts in dynamic settings, [22] which addresses conflict by taking by devising preferential rules, and [12] which defines a notion of coherence.  ... 
doi:10.3233/faia200852 fatcat:gxw4d5wenfaavlbdukcbtan4fm

Abstract specification of legal contracts

Cristian Prisacariu, Gerardo Schneider
2009 Proceedings of the 12th International Conference on Artificial Intelligence and Law - ICAIL '09  
CL combines the legal notions obligation, permission, and prohibition from deontic logic with the action modality of propositional dynamic logic (PDL).  ...  The language has a formal semantics in terms of normative structures, specially defined to capture several natural properties of legal contracts.  ...  This is necessary for detecting (and for ruling out) a first kind of conflicts in contracts: "Obligatory to go west and obligatory to go east".  ... 
doi:10.1145/1568234.1568262 dblp:conf/icail/PrisacariuS09 fatcat:i37ws3vsxrbjtbp5xr6v7no7ju

Contextualized Institutions in Virtual Organizations [chapter]

Tingting Li, Jie Jiang, Huib Aldewereld, Marina De Vos, Virginia Dignum, Julian Padget
2014 Lecture Notes in Computer Science  
In this paper, we formalize the notion of governance scope and propose a computational approach to identify weak and strong norm conflicts in virtual organizations.  ...  Each institution specifies a set of norms covering a specific aspect of the problem domain with a governance scope defining its remit.  ...  Identification of Collective Institution Sets As defined in section 4.3, conflicts are detected between institutions in a collective institution set.  ... 
doi:10.1007/978-3-319-07314-9_8 fatcat:tlok2gwcfzhmpn5a7crtnmw2ya

Avoiding Deontic Explosion by Contextually Restricting Aggregation [chapter]

Joke Meheus, Mathieu Beirlaen, Frederik Van De Putte
2010 Lecture Notes in Computer Science  
In this paper, we present an adaptive logic for deontic conflicts, called P2.1 r , that is based on Goble's logic SDLaPe-a bimodal extension of Goble's logic P that invalidates aggregation for all prima  ...  Key words: conflict-tolerant deontic logic, non-adjunctive deontic logic, deontic explosion, defeasible deontic reasoning, adaptive logic Research for this paper was supported by subventions from Ghent  ...  Moreover, formalizing the premises in the wrong way (because some conflicts were not detected), may still lead to explosion.  ... 
doi:10.1007/978-3-642-14183-6_12 fatcat:sxos7chypfgftdfmgsgwyxxoly

Normative Reasoning and Consequence

Jan Broersen, Stephen Cranefield, Yehia Elrakaiby, Dov Gabbay, Davide Grossi, Emiliano Lorini, Xavier Parent, Leendert W. N. Van Der Torre, Luca Tummolini, Paolo Turrini, François Schwarzentruber, Marc Herbstritt
2013 Dagstuhl Publications  
We cover the main issues in modern deontic logic, which is much broader than the traditional modal logic framework of deontic logic, with an emphasis to our intended audience.  ...  To emphasize this broadness, we typically refer to "deontic logic and normative systems" rather than deontic logic only.  ...  In dynamic deontic logic normative modalities are reduced to dynamic logic action modalities by using violation constants.  ... 
doi:10.4230/dfu.vol4.12111.33 dblp:conf/dagstuhl/BroersenCEGGLPTTTS13 fatcat:nnmadfn5f5fizgskvjwly3cnce

Temporal deontic action logic for the verification of compliance to norms in ASP

Laura Giordano, Alberto Martelli, Daniele Theseider Dupré
2013 Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law - ICAIL '13  
To this end, we extend Dynamic Linear Time Temporal Logic (DLTL) with deontic modalities to define a Deontic DLTL.  ...  In this paper we develop a deontic temporal extension of Answer Set Programming (ASP) suitable for verifying compliance of a business process to norms involving such different types of obligations.  ...  as in dynamic logic, with a deontic logic to define a Deontic Dynamic Linear Time Temporal Logic (DDLTL).  ... 
doi:10.1145/2514601.2514608 dblp:conf/icail/GiordanoMD13 fatcat:3oxhvpxrb5adtelec5bsnb7pqe

Computational Models for Normative Multi-Agent Systems

Natasha Alechina, Nick Bassiliades, Mehdi Dastani, Marina De Vos, Brian Logan, Sergio Mera, Andreasa Morris-Martin, Fernando Schapachnik, Marc Herbstritt
2013 Dagstuhl Publications  
Much work has been done in exploring deontic-type logics and trying to cope with conflict detection. Many different languages have been proposed with motley theoretical and computational properties.  ...  The authors in [51] propose a language that deals with automated conflict detection in norms by using a tool that supports ontologies and translates normative propositions into a Prolog program.  ...  Normative Conflict Detection and Resolution We addressed conflict detection at Section 3.1.  ... 
doi:10.4230/dfu.vol4.12111.71 dblp:conf/dagstuhl/AlechinaBDVLMMS13 fatcat:qa3nxxu6hjhurbhi5lz3uowzvu

Ten Problems of Deontic Logic and Normative Reasoning in Computer Science [chapter]

Jan Broersen, Leendert van der Torre
2012 Lecture Notes in Computer Science  
Five of these problems have been taken from a list of ten philosophical problems in deontic logic discussed by Hansen, Pigozzi & van der Torre [39]: how to formally represent norms, how sets of norms may  ...  The five new problems of deontic logic especially relevant for computer science discussed in this course are: What is the role of time in deontic reasoning?  ...  This is basically the setting of dynamic logic [41] . And the logic of deontic modalities over this action language is called dynamic deontic logic [64] .  ... 
doi:10.1007/978-3-642-31485-8_2 fatcat:j45bnwmlp5bwnahvcfgk2wianm

Is deontic reasoning special?

Amit Almor, Steven A. Sloman
1996 Psychological review  
They propose that a utility model of card selection governs performance in deontic contexts.  ...  We show that such "logical" performance can be obtained in non-deontic contexts as well, contexts in which utility cannot explain differential card selections.  ...  In the abstract force dynamics condition, they were told that two conflicting forces operate on an object; one force is weak and the other is strong.  ... 
doi:10.1037//0033-295x.103.2.374 fatcat:4quukv6vnndy7nswvdpdnr6cp4
« Previous Showing results 1 — 15 out of 1,241 results