21 found
Sort by:
Disambiguations:
Guido Boella [19]G. Boella [2]
  1. Gabriella Pigozzi, G. Boella, C. Costa Pereirdaa, A. Tettamanzi & and Leon van der Torre, Choosing Your Beliefs.
    This paper presents and discusses a novel approach to indeterministic belief revision. An indeterministic belief revision operator assumes that, when an agent is confronted with a new piece of information, it can revise its belief sets in more than one way. We define a rational agent not only in terms of what it believes but also of what it desires and wants to achieve. Hence, we propose that the agent’s goals play a role in the choice of (possibly) one of (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. Marija Slavkovik & Guido Boella (2012). Recognition-Primed Group Decisions Via Judgement Aggregation. Synthese 189 (S1):51-65.
    We introduce a conceptual model for reaching group decisions. Our model extends a well-known, single-agent cognitive model, the recognition-primed decision (RPD) model. The RPD model includes a recognition phase and an evaluation phase. Group extensions of the RPD model, applicable to a group of RPD agents, have been considered in the literature, however the proposed models do not formalize how distributed and possibly inconsistent information can be combined in either phase. We show how such information can be utilized by aggregating (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  3. Guillaume Aucher, Guido Boella & Leendert Torre (2011). A Dynamic Logic for Privacy Compliance. Artificial Intelligence and Law 19 (2-3):187-231.
    Knowledge based privacy policies are more declarative than traditional action based ones, because they specify only what is permitted or forbidden to know, and leave the derivation of the permitted actions to a security monitor. This inference problem is already non trivial with a static privacy policy, and becomes challenging when privacy policies can change over time. We therefore introduce a dynamic modal logic that permits not only to reason about permitted and forbidden knowledge to derive the permitted actions, but (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  4. Guillaume Aucher, Guido Boella & Leendert van der Torre (2011). A Dynamic Logic for Privacy Compliance. Artificial Intelligence and Law 19 (2-3):187-231.
  5. Guido Boella, Célia da Costa Pereira, Gabriella Pigozzi, Andrea Tettamanzi & Leendert van der Torre (2010). The Role of Goals in Belief Selection. Logic Journal of the Igpl 18 (4):559-578.
    In this paper we consider the relation between beliefs and goals in agent theory. Beliefs play three roles in reasoning about goals: they play a role in the generation of unconditional desires from conditional ones, they play a role in adoption of desires as goals, and they play a role in the selection of plans to achieve goals. In this paper we consider the role of goals in reasoning about beliefs. Though we assume that goals do not play a role (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  6. Guido Boella, Gabriella Pigozzi & Munindar Singh (2010). Normative Multiagent Systems: Guest Editors’ Introduction. Logic Journal of the Igpl 18 (1):1-3.
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. Steve Barker, Guido Boella, Dov M. Gabbay & Valerio Genovese (2009). A Meta-Model of Access Control in a Fibred Security Language. Studia Logica 92 (3):437 - 477.
    The issue of representing access control requirements continues to demand significant attention. The focus of researchers has traditionally been on developing particular access control models and policy specification languages for particular applications. However, this approach has resulted in an unnecessary surfeit of models and languages. In contrast, we describe a general access control model and a logic-based specification language from which both existing and novel access control models may be derived as particular cases and from which several approaches can be (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  8. G. Boella, D. M. Gabbay, L. van der Torre & S. Villata (2009). Argumentation Modelling of the Toulmin Scheme. Studia Logica 93 (2-3):297-354.
     
    My bibliography  
     
    Export citation  
  9. Guido Boella, Dov M. Gabbay, Valerio Genovese & Leendert Van Der Torre (2009). Fibred Security Language. Studia Logica 92 (3):395 - 436.
    We study access control policies based on the says operator by introducing a logical framework called Fibred Security Language (FSL) which is able to deal with features like joint responsibility between sets of principals and to identify them by means of first-order formulas. FSL is based on a multimodal logic methodology. We first discuss the main contributions from the expressiveness point of view, we give semantics for the language (both for classical and intuitionistic fragment), we then prove that in order (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  10. Guido Boella, Dov M. Gabbay, Valerio Genovese & Leendert van der Torre (2009). Fibred Security Language. Studia Logica 92 (3):395-436.
    We study access control policies based on the says operator by introducing a logical framework called Fibred Security Language (FSL) which is able to deal with features like joint responsibility between sets of principals and to identify them by means of first-order formulas. FSL is based on a multimodal logic methodology. We first discuss the main contributions from the expressiveness point of view, we give semantics for the language both for classical and intuitionistic fragment), we then prove that in order (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  11. Guido Boella, Dov M. Gabbay, Leendert van der Torre & Serena Villata (2009). Meta-Argumentation Modelling I: Methodology and Techniques. Studia Logica 93 (2/3):297 - 355.
    In this paper, we introduce the methodology and techniques of metaargumentation to model argumentation. The methodology of meta-argumentation instantiates Dung's abstract argumentation theory with an extended argumentation theory, and is thus based on a combination of the methodology of instantiating abstract arguments, and the methodology of extending Dung's basic argumentation frameworks with other relations among abstract arguments. The technique of meta-argumentation applies Dung's theory of abstract argumentation to itself, by instantiating Dung's abstract arguments with meta-arguments using a technique called flattening. (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  12. Guido Boella, Dov M. Gabbay, Leendert van der Torre & Serena Villata (2009). Meta-Argumentation Modelling I: Methodology and Techniques. [REVIEW] Studia Logica 93 (2-3):297-355.
    In this paper, we introduce the methodology and techniques of meta-argumentation to model argumentation. The methodology of meta-argumentation instantiates Dung’s abstract argumentation theory with an extended argumentation theory, and is thus based on a combination of the methodology of instantiating abstract arguments, and the methodology of extending Dung’s basic argumentation frameworks with other relations among abstract arguments. The technique of meta-argumentation applies Dung’s theory of abstract argumentation to itself, by instantiating Dung’s abstract arguments with meta-arguments using a technique called flattening. (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  13. Guido Boella, Luigi Sauro & Leendert van der Torre (2009). Algorithms for Finding Coalitions Exploiting a New Reciprocity Condition. Logic Journal of the Igpl 17 (3):273-297.
    We introduce a reciprocity criterion for coalition formation among goal-directed agents, which we call the indecomposable do-ut-des property. It refines an older reciprocity property, called the do-ut-des or give-to-get property by considering the fact that agents prefer to form coalitions whose components cannot be formed independently. A formal description of this property is provided as well as an analysis of algorithms and their complexity. We provide an algorithm to decide whether a coalition has the desired property, and we show that (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  14. Guido Boella & Leendert van der Torre (2008). Institutions with a Hierarchy of Authorities in Distributed Dynamic Environments. Artificial Intelligence and Law 16 (1):53-71.
    A single global authority is not sufficient to regulate heterogenous agents in multiagent systems based on distributed architectures, due to idiosyncratic local situations and to the need to regulate new issues as soon as they arise. On the one hand institutions should be structured as normative systems with a hierarchy of authorities able to cope with the dynamics of local situations, but on the other hand higher authorities should be able to delimit the autonomy of lower authorities to issue valid (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  15. Guido Boella, Rossana Damiano, Joris Hulstijn & Leendert van der Torre (2007). A Common Ontology of Agent Communication Languages: Modeling Mental Attitudes and Social Commitments Using Roles. Applied Ontology 2 (3):217-265.
    Direct download  
     
    My bibliography  
     
    Export citation  
  16. Guido Boella & Leendert van der Torre (2007). The Ontological Properties of Social Roles in Multi-Agent Systems: Definitional Dependence, Powers and Roles Playing Roles. [REVIEW] Artificial Intelligence and Law 15 (3):201-221.
    In this paper we address the problem of defining social roles in multi-agent systems. Social roles provide the basic structure of social institutions and organizations. We start from the properties attributed to roles both in the multi-agent systems and the Object Oriented community, and we use them in an ontological analysis of the notion of social role. We identify three main properties of social roles. First, they are definitionally dependent on the institution they belong to, i.e. the definition of a (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  17. Guido Boella, Leendert van der Torre & Harko Verhagen (2007). Roles, an Interdisciplinary Perspective. Applied Ontology 2 (2):81-88.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  18. Guido Boella, Rossana Damianoa, Joris Hulstijn & Leendert van der Torre (2006). A Common Ontology of Agent Communication Languages: Modeling Mental Attitudes and Social Commitments. Applied Ontology 3:1-3.
    Direct download  
     
    My bibliography  
     
    Export citation  
  19. Guido Boella, Leonardo Lesmo & Rossana Damiano (2004). On the Ontological Status of Plans and Norms. Artificial Intelligence and Law 12 (4):317-357.
    This article describes an ontological model of norms. The basic assumption is that a substantial part of a legal system is grounded on the concept of agency. Since a legal system aims at regulating a society, then its goal can be achieved only by affecting the behaviour of the members of the society. We assume that a society is made up of agents (which can be individuals, institutions, software programs, etc.), that agents have beliefs, goals and preferences, and that they (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  20. Guido Boella & Leonardo Lesmo (2001). An Approach to Anaphora Based on Mental Models. In P. Bouquet V. Akman (ed.), Modeling and Using Context. Springer 413--416.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  21. Guido Boella (1995). Paul Grice: dati sensoriali e uso comunicativo del linguaggio. Rivista di Filosofia 86 (3):493.
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation