Switch to: References

Add citations

You must login to add citations.
  1. NO Revision and NO Contraction.Gregory Wheeler & Marco Alberti - 2011 - Minds and Machines 21 (3):411-430.
    One goal of normative multi-agent system theory is to formulate principles for normative system change that maintain the rule-like structure of norms and preserve links between norms and individual agent obligations. A central question raised by this problem is whether there is a framework for norm change that is at once specific enough to capture this rule-like behavior of norms, yet general enough to support a full battery of norm and obligation change operators. In this paper we propose an answer (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • Norm-System Revision: Theory and Application. [REVIEW]Audun Stolpe - 2010 - Artificial Intelligence and Law 18 (3):247-283.
    This paper generalises classical revision theory of the AGM brand to sets of norms. This is achieved substituting input/output logic for classical logic and tracking the changes. Operations of derogation and amendment—analogues of contraction and revision—are defined and characterised, and the precise relationship between contraction and derogation, on the one hand, and derogation and amendment on the other, is established. It is argued that the notion of derogation, in particular, is a very important analytical tool, and that even core deontic (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Dynamic Epistemic Logic of Belief Change in Legal Judgments.Pimolluck Jirakunkanok, Katsuhiko Sano & Satoshi Tojo - 2018 - Artificial Intelligence and Law 26 (3):201-249.
    This study realizes belief/reliability change of a judge in a legal judgment by dynamic epistemic logic. A key feature of DEL is that possibilities in an agent’s belief can be represented by a Kripke model. This study addresses two difficulties in applying DEL to a legal case. First, since there are several methods for constructing a Kripke model, our question is how we can construct the model from a legal case. Second, since this study employs several dynamic operators, our question (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Arguing About Constitutive and Regulative Norms.Gabriella Pigozzi & Leendert van der Torre - 2018 - Journal of Applied Non-Classical Logics 28 (2-3):189-217.
    Formal arguments are often represented by pairs, but in this paper we consider normative arguments represented by sequences of triples, where constitutive norms derive institutional facts from brute facts, and regulative norms derive deontic facts like obligations and permissions from institutional facts. The institutional facts may be seen as the reasons explaining or warranting the deontic obligations and permissions, and therefore they can be attacked by other normative arguments too. We represent different aspects of normative reasoning by different kinds of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • Future Determination of Entities in Talmudic Public Announcement Logic.M. Abraham, I. Belfer, D. M. Gabbay & U. Schild - 2013 - Journal of Applied Logic 11 (1):63-90.
  • Contrary to Time Conditionals in Talmudic Logic.M. Abraham, D. M. Gabbay & U. Schild - 2012 - Artificial Intelligence and Law 20 (2):145-179.
    We consider conditionals of the form A ⇒ B where A depends on the future and B on the present and past. We examine models for such conditional arising in Talmudic legal cases. We call such conditionals contrary to time conditionals.Three main aspects will be investigated: Inverse causality from future to past, where a future condition can influence a legal event in the past (this is a man made causality).Comparison with similar features in modern law.New types of temporal logics arising (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Situated Legal Systems and Their Operational Semantics.Antônio Carlos da Rocha Costa - 2015 - Artificial Intelligence and Law 23 (1):43-102.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • AGM 25 Years.Eduardo Fermé & Sven Ove Hansson - 2011 - Journal of Philosophical Logic 40 (2):295-331.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  • 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  
  • 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  
  • AGM 25 Years: Twenty-Five Years of Research in Belief Change.Eduardo Fermé & Sven Ove Hansson - 2011 - Journal of Philosophical Logic 40 (2):295 - 331.
    The 1985 paper by Carlos Alchourrón (1931–1996), Peter Gärdenfors, and David Makinson (AGM), "On the Logic of Theory Change: Partial Meet Contraction and Revision Functions" was the starting-point of a large and rapidly growing literature that employs formal models in the investigation of changes in belief states and databases. In this review, the first twentyfive years of this development are summarized. The topics covered include equivalent characterizations of AGM operations, extended representations of the belief states, change operators not included in (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations