Order:
Disambiguations
Frank Dignum [9]F. Dignum [3]
  1.  1
    The Construction of Impossibility: A Logic-Based Analysis of Conjuring Tricks.Wally Smith, Frank Dignum & Liz Sonenberg - 2016 - Frontiers in Psychology 7.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  2.  17
    Autonomous Agents with Norms.Frank Dignum - 1999 - Artificial Intelligence and Law 7 (1):69-79.
    In this paper we present some concepts and their relations that are necessary for modeling autonomous agents in an environment that is governed by some (social) norms. We divide the norms over three levels: the private level the contract level and the convention level. We show how deontic logic can be used to model the concepts and how the theory of speech acts can be used to model the generation of (some of) the norms. Finally we give some idea about (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   9 citations  
  3.  19
    Organizational Structure and Responsibility.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 (6 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  4.  27
    Free Choice and Contextually Permitted Actions.F. Dignum, J. -J. Ch Meyer & R. J. Wieringa - 1996 - Studia Logica 57 (1):193 - 220.
    We present a solution to the paradox of free choice permission by introducing strong and weak permission in a deontic logic of action. It is shown how counterintuitive consequences of strong permission can be avoided by limiting the contexts in which an action can be performed. This is done by introducing the only operator, which allows us to say that only is performed (and nothing else), and by introducing contextual interpretation of action terms.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  5.  1
    A Logic For Reasoning About Responsibility.Tiago de Lima, Lambér Royakkers & Frank Dignum - 2010 - Logic Journal of the IGPL 18 (1):99-117.
    One way to allocate tasks to agents is by ascribing them obligations. From obligations to be, agents are able to infer what are the forbidden, permitted and obligatory actions they may perform, by using the well-known Meyer’s reduction from obligations to be to obligations to do. However, we show through an example that this method is not completely adequate to guide agents’ decisions. We then propose a solution using, instead of obligations, the concept of ‘responsibility’. To formalise responsibility we use (...)
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  6.  3
    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.
  7.  18
    From Human Regulations to Regulated Software Agents' Behavior.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 (6 more)  
     
    Export citation  
     
    My bibliography  
  8. Ontology Negotiation in Heterogeneous Multi-Agent Systems: The Anemone System.Jurriaan van Diggelen, Robbert-Jan Beun, Frank Dignum, Rogier M. van Eijk & John-Jules Meyer - 2007 - Applied Ontology 2 (3):267-303.
     
    Export citation  
     
    My bibliography  
  9.  9
    No Smoking Here: Values, Norms and Culture in Multi-Agent Systems. [REVIEW]Francien Dechesne, Gennaro Di Tosto, Virginia Dignum & Frank Dignum - 2013 - Artificial Intelligence and Law 21 (1):79 - 107.
    We use the example of the introduction of the anti-smoking legislation to model the relationship between the cultural make-up, in terms of values, of societies and the acceptance of and compliance with norms. We present two agent-based simulations and discuss the challenge of modeling sanctions and their relation to values and culture.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  10. From Human Regulations to Regulated Software agentsÔÇÖ Behavior.J. V.├ ízquez-Salceda, H. Aldewereld, D. Grossi & F. Dignum - 2008 - Artificial Intelligence and Law 16 (1):73.