17 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.  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  
  3.  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  
  4.  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  
  5.  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  
  6.  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  
  7.  17
    Probabilistic Rule-Based Argumentation for Norm-Governed Learning Agents.Régis Riveret, Antonino Rotolo & Giovanni Sartor - 2012 - Artificial Intelligence and Law 20 (4):383-420.
    This paper proposes an approach to investigate norm-governed learning agents which combines a logic-based formalism with an equation-based counterpart. This dual formalism enables us to describe the reasoning of such agents and their interactions using argumentation, and, at the same time, to capture systemic features using equations. The approach is applied to norm emergence and internalisation in systems of learning agents. The logical formalism is rooted into a probabilistic defeasible logic instantiating Dung’s argumentation framework. Rules of this logic are attached (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8.  15
    Variants of Multi-Relational Semantics for Propositional Non-Normal Modal Logics.Erica Calardo & Antonino Rotolo - 2014 - Journal of Applied Non-Classical Logics 24 (4):293-320.
    A number of significant contributions in the last four decades show that non-normal modal logics can be fruitfully employed in several applied fields. Well-known domains are epistemic logic, deontic logic, and systems capturing different aspects of action and agency such as the modal logic of agency, concurrent propositional dynamic logic, game logic, and coalition logic. Semantics for such logics are traditionally based on neighbourhood models. However, other model-theoretic semantics can be used for this purpose. Here, we systematically study multi-relational structures, (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  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.  7
    A Theory or a Dogmatics of Legal Sources? Reply to Riccardo Guastini.Antonino Rotolo - 2007 - Ratio Juris 20 (2):325-334.
  11.  12
    Quantification in Some Non-Normal Modal Logics.Erica Calardo & Antonino Rotolo - 2017 - Journal of Philosophical Logic 46 (5):541-576.
    This paper offers a semantic study in multi-relational semantics of quantified N-Monotonic modal logics with varying domains with and without the identity symbol. We identify conditions on frames to characterise Barcan and Ghilardi schemata and present some related completeness results. The characterisation of Barcan schemata in multi-relational frames with varying domains shows the independence of BF and CBF from well-known propositional modal schemata, an independence that does not hold with constant domains. This fact was firstly suggested for classical modal systems (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12. 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  
  13.  44
    The Structure of Social Practices and the Connection Between Law and Morality.Giorgio Bongiovanni, Antonino Rotolo, Corrado Roversi & Chiara Valentini - 2009 - Ratio Juris 22 (1):1-23.
    In his work, Jules Coleman has held that the rule of recognition, if conceived of as a shared cooperative activity, should be the gateway through which to incorporate moral constraints on the content of law. This analysis, however, leaves unanswered two important questions. For one thing, we do not know when or even why morality becomes a criterion of legality. And, for another thing, we still do not know what conception of morality it is that we are dealing with. In (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  14.  30
    Norm Enactment and Performative Contradictions.Antonino Rotolo & Corrado Roversi - 2009 - Ratio Juris 22 (4):455-482.
    In this paper we investigate the role of performative contradictions in legal discourse. First of all we identify the argumentative roles of performative contradictions and two possible interpretations of them. With this done, we show that one use of performative contradictions can be fruitfully applied in analysing normative speech acts implementing norm enactment, namely, those speech acts that are designed to produce new legal norms. We conclude the paper by showing that our analysis provides strong support for Robert Alexy's claim-to-correctness (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  15.  3
    Collective Trust and Normative Agents.Clara Smith & Antonino Rotolo - 2010 - Logic Journal of the IGPL 18 (1):195-213.
    In this paper we analyze the notion of collective trust within a multi-modal setting. We argue that collective trust is a scalable concept and therefore definable in qualitatively distinct levels or strengths. We show possible connections between different forms of group trust and the emergence of obligations within groups of agents. In particular, the notion of collective trust appears to be strong enough to entail forms of delegation that may have a deontic connotation: the trust a group puts in an (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  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  
  17. Supervenience and Normativity.B. Brozek, Antonino Rotolo & J. Stelmach (eds.) - 2017 - Springer.
    No categories
     
    Export citation  
     
    Bookmark