5 found
Sort by:
  1. Johan Benthem, Davide Grossi & Fenrong Liu (2014). Priority Structures in Deontic Logic. Theoria 80 (2):116-152.
    This article proposes a systematic application of recent developments in the logic of preference to a number of topics in deontic logic. The key junction is the well-known Hansson conditional for dyadic obligations. These conditionals are generalized by pairing them with reasoning about syntactic priority structures. The resulting two-level approach to obligations is tested first against standard scenarios of contrary-to-duty obligations, leading also to a generalization for the Kanger-Anderson reduction of deontic logic. Next, the priority framework is applied to model (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  2. Davide Grossi (2013). Abstract Argument Games Via Modal Logic. Synthese (S1):1-25.
    Inspired by some logical considerations, the paper proposes a novel perspective on the use of two-players zero-sum games in abstract argumentation. The paper first introduces a second-order modal logic, within which all main Dung-style semantics are shown to be formalizable, and then studies the model checking game of this logic. The model checking game is then used to provide a systematic game theoretic proof procedure to test membership with respect to all those semantics formalizable in the logic. The paper discusses (...)
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. Davide Grossi (2012). Foreword. Journal of Applied Non-Classical Logics 22 (1-2):149-149.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  4. Javier Vázquez-Salceda, Huib Aldewereld, Davide Grossi & Frank Dignum (2008). From Human Regulations to Regulated Software Agents' Behavior. Artificial Intelligence and Law 16 (1):73-87.
    In order to design and implement electronic institutions that incorporate norms governing the behavior of the participants of those institutions, some crucial steps should be taken. The first problem is that human norms are (on purpose) specified on an abstract level. This ensures applicability of the norms over long periods of time in many different circumstances. However, for an electronic institution to function according to those norms, they should be concrete enough to be able to check them run time. A (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  5. Davide Grossi, Lambèr Royakkers & Frank Dignum (2007). Organizational Structure and Responsibility. Artificial Intelligence and Law 15 (3):223-249.
    Aim of the present paper is to provide a formal characterization of various different notions of responsibility within groups of agents (Who did that? Who gets the blame? Who is accountable for that? etc.). To pursue this aim, the papers proposes an organic analysis of organized collective agency by tackling the issues of organizational structure, role enactment, organizational activities, task-division and task-allocation. The result consists in a semantic framework based on dynamic logic in which all these concepts can be represented (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation