Article

Free access

Towards a logical formalization of responsibility

Authors:

Laurence Cholvy,

Frédéric Cuppens,

Claire SaurelAuthors Info & Claims

ICAIL '97: Proceedings of the 6th international conference on Artificial intelligence and law

Pages 233 - 242

https://doi.org/10.1145/261618.261658

Published: 30 June 1997 Publication History

PDF eReader

References

[1]

L. Allen. From the Fundamental Legal Conceptions of Hohfeld to Legal Relations: Refining the Enrichment of Solely Deontic Legal Relations. In M. Brown and J. Carmo, editors, Deontic Logic, Agency and Normative Systems, Workshops in Computing. Springer, 1996.

Google Scholar

[2]

A. Anderson. The formal analysis of normative systems. In N. Rescher, editor, The Logic of Decision and Actions, Pittsburgh, 1966.

Google Scholar

[3]

F. Cuppens and C. Saurel. Specifying a Security Policy: A Case Study. In Proc. of the computer security foundations workshop, Kenmare, Co. Kerry, Ireland, 1996.

Digital Library

Google Scholar

[4]

J. Dobson and R. Strens. Organisational Requirements Definition for Information Technology Systems. In iCRE, 1994.

Google Scholar

[5]

D. Elgesem. Action Theory and Modal Logic. PhD thesis, University of Oslo, Norway, 1992.

Google Scholar

[6]

A.J.I. Jones and M. Sergot. Institutionalized power: a formal characterisation. To be published in MEDLAR H special issue of Journal of IGPL, 1995.

Google Scholar

[7]

S. Kanger. Law and Logic. Theoria, 38, 1972.

Google Scholar

[8]

L. Lindahl. Position and Change - A Study in Law and Logic, volume 112 of Synthese Library. D. Reidel, Dordrecht, 1977.

Google Scholar

[9]

I. PSrn. Action Theory and Social Science; Some Formal Models, volume 120 of $ynthese ~~Library. D. Reidel, Dordrecht, 1977.

Google Scholar

[10]

F. Santos and J. Carmo. Indirect Action, Influence and Responsability. In M. Brown and J. Carmo, editors, Deontic Logic, Agency and Normative Systems, Workshops in Computing. Springer, 1996.

Google Scholar

[11]

R. Strens and J. Dobson. How Responsibility Modelling Leads to Security Requirements. In New Security Paradigms Workshop, Little Compton, R/, 1993.

Digital Library

Google Scholar

Cited By

View all

Dernaika FCuppens-Boulahia NCuppens FRaynaud O(2020)Accountability in the A Posteriori Access Control: A Requirement and a MechanismQuality of Information and Communications Technology10.1007/978-3-030-58793-2_27(332-342)Online publication date: 31-Aug-2020
https://doi.org/10.1007/978-3-030-58793-2_27
Farkas CBrodsky AJajodia S(2019)Unauthorized inferences in semistructured databasesInformation Sciences: an International Journal10.1016/j.ins.2006.01.004176:22(3269-3299)Online publication date: 6-Jan-2019
https://dl.acm.org/doi/10.1016/j.ins.2006.01.004
Simpson RStorer T(2015)Formalising Responsibility Modelling for Automatic AnalysisEnterprise and Organizational Modeling and Simulation10.1007/978-3-319-24626-0_10(125-140)Online publication date: 25-Nov-2015
https://doi.org/10.1007/978-3-319-24626-0_10
Show More Cited By

Index Terms

Towards a logical formalization of responsibility
1. Applied computing
  1. Enterprise computing
  2. Law, social and behavioral sciences
    1. Law

Recommendations

Towards an Intuitionistic Deontic Logic Tolerating Conflicting Obligations
Logic, Language, Information, and Computation
Abstract
We propose a minimal deontic logic, called MIND, based on intuitionistic logic. This logic gives a very simple solution to handling conflicting obligations: the presence of two conflicting obligations does not entail the triviality of the set of ...
On Blass Translation for Leśniewski’s Propositional Ontology and Modal Logics
Abstract
In this paper, we shall give another proof of the faithfulness of Blass translation (for short, B-translation) of the propositional fragment $L_{1}$ of Leśniewski’s ontology in the modal logic $K$ by means of Hintikka formula. And we extend the result to ...
A formalization of the Protagoras court paradox in a temporal logic of epistemic and normative reasons
Abstract
We combine linear temporal logic (with both past and future modalities) with a deontic version of justification logic to provide a framework for reasoning about time and epistemic and normative reasons. In addition to temporal modalities, the ...

Comments

Information & Contributors

Information

Published In

ICAIL '97: Proceedings of the 6th international conference on Artificial intelligence and law

June 1997

260 pages

ISBN:0897919246

DOI:10.1145/261618

Chairmen:
John Zeleznikow
La Trobe Univ., Australia
,
Dan Hunter
Univ. of Melbourne, Australia
,
L. Karl Branting
Univ. of Wyoming, Laramie

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 30 June 1997

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

ICAIL97

Sponsor:

SIGAI
University of Melbourne
UMIACS
IAAIL

ICAIL97: International Conference on Artificial Intelligence and Law

June 30 - July 3, 1997

Melbourne, Australia

Acceptance Rates

Overall Acceptance Rate 69 of 169 submissions, 41%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

15
Total Citations
View Citations
443
Total Downloads

Downloads (Last 12 months)56
Downloads (Last 6 weeks)21

Reflects downloads up to 21 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Dernaika FCuppens-Boulahia NCuppens FRaynaud O(2020)Accountability in the A Posteriori Access Control: A Requirement and a MechanismQuality of Information and Communications Technology10.1007/978-3-030-58793-2_27(332-342)Online publication date: 31-Aug-2020
https://doi.org/10.1007/978-3-030-58793-2_27
Farkas CBrodsky AJajodia S(2019)Unauthorized inferences in semistructured databasesInformation Sciences: an International Journal10.1016/j.ins.2006.01.004176:22(3269-3299)Online publication date: 6-Jan-2019
https://dl.acm.org/doi/10.1016/j.ins.2006.01.004
Simpson RStorer T(2015)Formalising Responsibility Modelling for Automatic AnalysisEnterprise and Organizational Modeling and Simulation10.1007/978-3-319-24626-0_10(125-140)Online publication date: 25-Nov-2015
https://doi.org/10.1007/978-3-319-24626-0_10
Feltus CNicolas DPoupart CPoet RMuttukrishnan R(2014)Towards a HL7 based Metamodeling Integration Approach for Embracing the Privacy of Healthcare Patient Records AdministrationProceedings of the 7th International Conference on Security of Information and Networks10.1145/2659651.2659674(109-116)Online publication date: 9-Sep-2014
https://dl.acm.org/doi/10.1145/2659651.2659674
Pieters WPadget JDechesne FDignum VAldewereld HElçi AGaur MOrgun MMakarevich O(2013)Obligations to enforce prohibitionsProceedings of the 6th International Conference on Security of Information and Networks10.1145/2523514.2523526(54-61)Online publication date: 26-Nov-2013
https://dl.acm.org/doi/10.1145/2523514.2523526
Feltus CKhadraoui AYurchyshyna ALéonard MDubois E(2013)Responsibility Aspects in Service Engineering for e‐GovernmentEnterprise Interoperability10.1002/9781118561942.ch3(11-17)Online publication date: 21-Jan-2013
https://doi.org/10.1002/9781118561942.ch3
Gössler GLe Métayer DRaclet J(2010)Causality analysis in contract violationProceedings of the First international conference on Runtime verification10.5555/1939399.1939423(270-284)Online publication date: 1-Nov-2010
https://dl.acm.org/doi/10.5555/1939399.1939423
de Lima TRoyakkers LDignum F(2010)Modeling the problem of many hands in organisationsProceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence10.5555/1860967.1860984(79-84)Online publication date: 4-Aug-2010
https://dl.acm.org/doi/10.5555/1860967.1860984
Ben-Ghorbel-Talbi MCuppens FCuppens-Boulahia NChbeir R(2010)Negotiating and delegating obligationsProceedings of the International Conference on Management of Emergent Digital EcoSystems10.1145/1936254.1936310(281-288)Online publication date: 26-Oct-2010
https://dl.acm.org/doi/10.1145/1936254.1936310
Feltus CDubois EPetit M(2010)Conceptualizing a responsibility based approach for elaborating and verifying RBAC policies conforming with CobiT framework requirements2010 Third International Workshop on Requirements Engineering and Law10.1109/RELAW.2010.5625355(34-43)Online publication date: Sep-2010
https://doi.org/10.1109/RELAW.2010.5625355
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Towards an Intuitionistic Deontic Logic Tolerating Conflicting Obligations

On Blass Translation for Leśniewski’s Propositional Ontology and Modal Logics

A formalization of the Protagoras court paradox in a temporal logic of epistemic and normative reasons

Comments

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Other Metrics

Article Metrics

Other Metrics

Cited By

PDF

eReader

Login options

Full Access

References

Cited By

Index Terms

Recommendations

Towards an Intuitionistic Deontic Logic Tolerating Conflicting Obligations

On Blass Translation for Leśniewski’s Propositional Ontology and Modal Logics

A formalization of the Protagoras court paradox in a temporal logic of epistemic and normative reasons

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations