21 found
Order:
  1.  3
    Changing Legal Systems: Legal Abrogations and Annulments in Defeasible Logic.Guido Governatori & Antonino Rotolo - 2010 - Logic Journal of the IGPL 18 (1):157-194.
    In this paper we investigate how to represent and reason about legal abrogations and annulments in Defeasible Logic. We examine some options that embed in this setting, and in similar rule-based systems, ideas from belief and base revision. In both cases, our conclusion is negative, which suggests to adopt a different logical model. This model expresses temporal aspects of legal rules, and distinguishes between two main timelines, one internal to a given temporal version of the legal system, and another relative (...)
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  2.  41
    A History of AI and Law in 50 Papers: 25 Years of the International Conference on AI and Law. [REVIEW]Trevor Bench-Capon, Michał Araszkiewicz, Kevin Ashley, Katie Atkinson, Floris Bex, Filipe Borges, Daniele Bourcier, Paul Bourgine, Jack G. Conrad, Enrico Francesconi, Thomas F. Gordon, Guido Governatori, Jochen L. Leidner, David D. Lewis, Ronald P. Loui, L. Thorne McCarty, Henry Prakken, Frank Schilder, Erich Schweighofer, Paul Thompson, Alex Tyrrell, Bart Verheij, Douglas N. Walton & Adam Z. Wyner - 2012 - Artificial Intelligence and Law 20 (3):215-319.
    We provide a retrospective of 25 years of the International Conference on AI and Law, which was first held in 1987. Fifty papers have been selected from the thirteen conferences and each of them is described in a short subsection individually written by one of the 24 authors. These subsections attempt to place the paper discussed in the context of the development of AI and Law, while often offering some personal reactions and reflections. As a whole, the subsections build into (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  3.  33
    On the Axiomatisation of Elgesem's Logic of Agency and Ability.Guido Governatori & Antonino Rotolo - 2004 - Journal of Philosophical Logic 34 (4):403-431.
    In this paper we show that the Hilbert system of agency and ability presented by Dag Elgesem is incomplete with respect to the intended semantics. We argue that completeness result may be easily regained. Finally, we shortly discuss some issues related to the philosophical intuition behind his approach. This is done by examining Elgesem's modal logic of agency and ability using semantics with different flavours.
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  4.  4
    An Axiomatic Characterization of Temporalised Belief Revision in the Law.Luciano H. Tamargo, Diego C. Martinez, Antonino Rotolo & Guido Governatori - forthcoming - Artificial Intelligence and Law:1-21.
    This paper presents a belief revision operator that considers time intervals for modelling norm change in the law. This approach relates techniques from belief revision formalisms and time intervals with temporalised rules for legal systems. Our goal is to formalise a temporalised belief base and corresponding timed derivation, together with a proper revision operator. This operator may remove rules when needed or adapt intervals of time when contradictory norms are added in the system. For the operator, both constructive definition and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  7
    Logic of Violations: A Gentzen System for Reasoning with Contrary-To-Duty Obligations.Guido Governatori & Antonino Rotolo - 2006 - Australasian Journal of Logic 4:193-215.
    In this paper we present a Gentzen system for reasoning with contrary-to-duty obligations. The intuition behind the system is that a contrary-to-duty is a special kind of normative exception. The logical machinery to formalise this idea is taken from substructural logics and it is based on the definition of a new non-classical connective capturing the notion of reparational obligation. Then the system is tested against well-known contrary-to-duty paradoxes.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  6.  14
    Computing Strong and Weak Permissions in Defeasible Logic.Guido Governatori, Francesco Olivieri, Antonino Rotolo & Simone Scannapieco - 2013 - Journal of Philosophical Logic 42 (6):799-829.
    In this paper we propose an extension of Defeasible Logic to represent and compute different concepts of defeasible permission. In particular, we discuss some types of explicit permissive norms that work as exceptions to opposite obligations or encode permissive rights. Moreover, we show how strong permissions can be represented both with, and without introducing a new consequence relation for inferring conclusions from explicit permissive norms. Finally, we illustrate how a preference operator applicable to contrary-to-duty obligations can be combined with a (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  28
    Normative Autonomy and Normative Co-Ordination: Declarative Power, Representation, and Mandate. [REVIEW]Jonathan Gelati, Antonino Rotolo, Giovanni Sartor & Guido Governatori - 2004 - Artificial Intelligence and Law 12 (1-2):53-81.
    In this paper we provide a formal analysis of the idea of normative co-ordination. We argue that this idea is based on the assumption that agents can achieve flexible co-ordination by conferring normative positions to other agents. These positions include duties, permissions, and powers. In particular, we explain the idea of declarative power, which consists in the capacity of the power-holder of creating normative positions, involving other agents, simply by proclaiming such positions. In addition, we account also for the concepts (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  8.  18
    On Legal Contracts, Imperative and Declarative Smart Contracts, and Blockchain Systems.Guido Governatori, Florian Idelberger, Zoran Milosevic, Regis Riveret, Giovanni Sartor & Xiwei Xu - 2018 - Artificial Intelligence and Law 26 (4):377-409.
    This paper provides an analysis of how concepts pertinent to legal contracts can influence certain aspects of their digital implementation through smart contracts, as inspired by recent developments in distributed ledger technology. We discuss how properties of imperative and declarative languages including the underlying architectures to support contract management and lifecycle apply to various aspects of legal contracts. We then address these properties in the context of several blockchain architectures. While imperative languages are commonly used to implement smart contracts, we (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  43
    A Computational Framework for Institutional Agency.Guido Governatori & Antonino Rotolo - 2008 - Artificial Intelligence and Law 16 (1):25-52.
    This paper provides a computational framework, based on defeasible logic, to capture some aspects of institutional agency. Our background is Kanger-Lindahl-Pörn account of organised interaction, which describes this interaction within a multi-modal logical setting. This work focuses in particular on the notions of counts-as link and on those of attempt and of personal and direct action to realise states of affairs. We show how standard defeasible logic (DL) can be extended to represent these concepts: the resulting system preserves some basic (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  10.  4
    A Defeasible Logic For Modelling Policy-Based Intentions And Motivational Attitudes.Guido Governatori, Vineet Padmanabhan, Antonio Rotolo & Abdul Sattar - 2009 - Logic Journal of the IGPL 17 (3):227-265.
    In this paper we show how defeasible logic could formally account for the non-monotonic properties involved in motivational attitudes like intention and obligation. Usually, normal modal operators are used to represent such attitudes wherein classical logical consequence and the rule of necessitation comes into play, i.e., ⊢A/⊢ □A, that is from ⊢A derive ⊢ □A. This means that such formalisms are affected by the Logical Omniscience problem. We show that policy-based intentions exhibit non-monotonic behaviour which could be captured through a (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  11.  8
    RuleRS: A Rule-Based Architecture for Decision Support Systems.Mohammad Badiul Islam & Guido Governatori - 2018 - Artificial Intelligence and Law 26 (4):315-344.
    Decision-makers in governments, enterprises, businesses and agencies or individuals, typically, make decisions according to various regulations, guidelines and policies based on existing records stored in various databases, in particular, relational databases. To assist decision-makers, an expert system, encompasses interactive computer-based systems or subsystems to support the decision-making process. Typically, most expert systems are built on top of transaction systems, databases, and data models and restricted in decision-making to the analysis, processing and presenting data and information, and they do not provide (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  7
    Research in Progress: Report on the ICAIL 2017 Doctoral Consortium.Maria Dymitruk, Réka Markovich, Rūta Liepiņa, Mirna El Ghosh, Robert van Doesburg, Guido Governatori & Bart Verheij - 2018 - Artificial Intelligence and Law 26 (1):49-97.
    This paper arose out of the 2017 international conference on AI and law doctoral consortium. There were five students who presented their Ph.D. work, and each of them has contributed a section to this paper. The paper offers a view of what topics are currently engaging students, and shows the diversity of their interests and influences.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  5
    Norms Modeling Constructs of Business Process Compliance Management Frameworks: A Conceptual Evaluation.Mustafa Hashmi & Guido Governatori - 2018 - Artificial Intelligence and Law 26 (3):251-305.
    The effectiveness of a compliance management framework can be guaranteed only if the framework is based on sound conceptual and formal foundations. In particular, the formal language used in the CMF is able to expressively represent the specifications of normative requirements that impose constraints on various activities of a business process. However, if the language used lacks expressiveness and the modelling constructs proposed in the CMF are not able to properly represent different types of norms, it can significantly impede the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14. Shakespearian Modal Logic: A Labelled Treatment of Modal Identity.Ablerto Artosi, Paola Benassi, Guido Governatori & Antonino Rotolo - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 1-21.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  15.  2
    Labelled Modal Tableaux.Guido Governatori - 2008 - In Carlos Areces & Robert Goldblatt (eds.), Advances in Modal Logic, Volume 7. CSLI Publications. pp. 87-110.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  1
    Popper on Necessity and Natural Laws.Alberto Artosi & Guido Governatori - 2006 - In Mario Alai & Gino Tarozzi (eds.), Karl Popper philosopher of science : proceedings of the conference. Soveria Mannelli, Italy: Rubbettino. pp. 107-118.
    During his philosophical career Karl Popper sought to characterize natural laws alternately as strictly universal and as 'naturally' or 'physically' necessary statements. In this paper we argue that neither characterization does what Popper claimed and sketch a reconstruction of his views that avoids some of their major drawbacks.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  1
    A Defeasible Logic of Policy-Based Intention.Guido Governatori & Vineet Nair - unknown
    Most of the theories on formalising intention interpret it as a unary modal operator in Kripkean semantics, which gives it a monotonic look. We argue that policy-based intentions exhibit non-monotonic behaviour which could be captured through a non-monotonic system like defeasible logic. To this end we outline a defeasible logic of intention. The proposed technique alleviates most of the problems related to logical omniscience. The proof theory given shows how our approach helps in the maintenance of intention-consistency in agent systems (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  1
    Time and Defeasibility in Fipa Acl Semantics.Guido Boella, Guido Governatori, Joris Hulstijn, Régis Riveret, Antonino Rotolo & Leendert van der Torre - 2011 - Journal of Applied Logic 9 (4):274-288.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19.  1
    Special Issue on Logics for Intelligent Agents and Multi-Agent Systems.Mehmet A. Orgun, Guido Governatori, Chuchang Liu, Mark Reynolds & Abdul Sattar - 2011 - Journal of Applied Logic 9 (4):221-222.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  20. Levels of Modality for BDI Logic.Jeff Blee, David Billington, Guido Governatori & Abdul Sattar - 2011 - Journal of Applied Logic 9 (4):250-273.
  21. A Policy-Based B2C E-Contract Management Workflow Methodology Using Semantic Web Agents.Kalliopi Kravari, Nick Bassiliades & Guido Governatori - 2016 - Artificial Intelligence and Law 24 (2):93-131.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark