16 found
Order:
  1.  16
    On the graded acceptability of arguments in abstract and instantiated argumentation.Davide Grossi & Sanjay Modgil - 2019 - Artificial Intelligence 275 (C):138-173.
  2.  35
    Priority Structures in Deontic Logic.Johan van Benthem, Davide Grossi & Fenrong Liu - 2014 - 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 (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  3.  37
    Reasoning about general preference relations.Davide Grossi, Wiebe van der Hoek & Louwe B. Kuijer - 2022 - Artificial Intelligence 313 (C):103793.
  4. How Knowledge Triggers Obligation.Davide Grossi, Barteld Kooi, Xingchi Su & Rineke Verbrugge - 2021 - In Sujata Ghosh & Thomas Icard (eds.), Logic, Rationality, and Interaction: 8th International Workshop, Lori 2021, Xi’an, China, October 16–18, 2021, Proceedings. Springer Verlag. pp. 201-215.
    Obligations can be affected by knowledge. Several approaches exist to formalize knowledge-based obligations, but no formalism has been developed yet to capture the dynamic interaction between knowledge and obligations. We introduce the dynamic extension of an existing logic for knowledge-based obligations here. We motivate the logic by analyzing several scenarios and by showing how it can capture in an original manner several fundamental deontic notions such as absolute, prima facie and all-things-considered obligations. Finally, in the dynamic epistemic logic tradition, we (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5. Priority Structures in Deontic Logic.Johan Benthem, Davide Grossi & Fenrong Liu - 2013 - 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 (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  6.  56
    Organizational structure and responsibility: An analysis in a dynamic logic of organized collective agency.Davide Grossi, Lambèr Royakkers & Frank Dignum - 2007 - 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 (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  7.  32
    The many faces of counts-as: A formal analysis of constitutive rules.Davide Grossi, John-Jules Ch Meyer & Frank Dignum - 2008 - Journal of Applied Logic 6 (2):192-217.
  8.  44
    Abstract argument games via modal logic.Davide Grossi - 2013 - Synthese 190 (S1).
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  9.  58
    Syntactic awareness in logical dynamics.Davide Grossi & Fernando R. Velázquez-Quesada - 2015 - Synthese 192 (12):4071-4105.
    The paper develops an interface between syntax-based logical models of awareness and dynamic epistemic logic. The framework is shown to be able to accommodate a variety of notions of awareness and knowledge, as well as their dynamics. This, it is argued, offers a natural formal environment for the analysis of epistemic phenomena typical of multi-agent information exchange, such as how agents become aware of relevant details, how they perform inferences and how they share their information within a group. Technically, the (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  10.  22
    Norms as ascriptions of violations: An analysis in modal logic.Davide Grossi - 2011 - Journal of Applied Logic 9 (2):95-112.
  11.  4
    Measuring the Impact of Arguments on Admissibility in Abstract Argumentation.Michael A. Müller & Davide Grossi - 2024 - In Chris Reed, Matthias Thimm & Tjitze Rienstra (eds.), Proceedings of COMMA 2024. pp. 145-156.
    This paper develops a measure of the influence of individual arguments in abstract argumentation frameworks. By applying ideas from power indices in coalitional game theory, the proposed measure—called admissibility impact value—quantifies the impact that individual arguments have on the set of admissible extensions of a given argumentation framework. It improves on existing impact measures in that it is more fine-grained and sensitive to small differences in the attack relations of argumentation frameworks. Special consideration is given to well-founded frameworks, where the (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  12. Deontic Logic and Normative Systems.Fabrizio Cariani, Davide Grossi, Joke Meheus & Xavier Parent (eds.) - 2014 - Springer.
  13. Deontische logica en kunstmatige normatieve systemen.Davide Grossi - 2007 - Algemeen Nederlands Tijdschrift voor Wijsbegeerte 3.
    No categories
     
    Export citation  
     
    Bookmark  
  14.  15
    Foreword.Davide Grossi - 2012 - Journal of Applied Non-Classical Logics 22 (1-2):149-149.
  15.  60
    From human regulations to regulated software agents’ behavior: Connecting the abstract declarative norms with the concrete operational implementation. A position paper.Javier Vázquez-Salceda, Huib Aldewereld, Davide Grossi & Frank Dignum - 2008 - 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 (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16. Facing the Future: Agents and Choices in Our Indeterminist World - Nuel D. Belnap, Michael Perloff, Ming Xu. [REVIEW]Davide Grossi - 2009 - Humana Mente 3 (8).
    No categories
     
    Export citation  
     
    Bookmark