21 found
Order:
Disambiguations
Leendert van der Torre [20]Leendert W. N. Van Der Torre [1]
  1. Input/Output Logics.Makinson David & van der Torre Leendert - 2000 - Journal of Philosophical Logic 29 (4):383-408.
    In a range of contexts, one comes across processes resembling inference, but where input propositions are not in general included among outputs, and the operation is not in any way reversible. Examples arise in contexts of conditional obligations, goals, ideals, preferences, actions, and beliefs. Our purpose is to develop a theory of such input/output operations. Four are singled out: simple-minded, basic (making intelligent use of disjunctive inputs), simple-minded reusable (in which outputs may be recycled as inputs), and basic reusable. They (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   18 citations  
  2.  25
    Institutions with a Hierarchy of Authorities in Distributed Dynamic Environments.Guido Boella & Leendert van der Torre - 2008 - 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)  
     
    Export citation  
     
    My bibliography   3 citations  
  3.  24
    Fibred Security Language.Boella Guido, M. Gabbay Dov, Genovese Valerio & van der Torre Leendert - 2009 - 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 (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  4.  2
    The Role of Goals in Belief Selection.Guido Boella, Célia da Costa Pereira, Gabriella Pigozzi, Andrea Tettamanzi & Leendert van der Torre - 2010 - 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  
     
    Export citation  
     
    My bibliography   2 citations  
  5.  15
    Roles, an Interdisciplinary Perspective.Guido Boella, Leendert van der Torre & Harko Verhagen - 2007 - Applied Ontology 2 (2):81-88.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  6.  51
    The Ontological Properties of Social Roles in Multi-Agent Systems: Definitional Dependence, Powers and Roles Playing Roles. [REVIEW]Guido Boella & Leendert van der Torre - 2007 - 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)  
     
    Export citation  
     
    My bibliography   1 citation  
  7.  13
    Two-Phase Deontic Logic.Leendert Van der Torre & Yao-Hua Tan - 2000 - Logique Et Analyse 43 (171–172):411-456.
  8.  3
    Reasoning in Non-Probabilistic Uncertainty: Logic Programming and Neural-Symbolic Computing as Examples.Tarek R. Besold, Artur D’Avila Garcez, Keith Stenning, Leendert van der Torre & Michiel van Lambalgen - 2017 - Minds and Machines 27 (1):37-77.
    This article aims to achieve two goals: to show that probability is not the only way of dealing with uncertainty ; and to provide evidence that logic-based methods can well support reasoning with uncertainty. For the latter claim, two paradigmatic examples are presented: logic programming with Kleene semantics for modelling reasoning from information in a discourse, to an interpretation of the state of affairs of the intended model, and a neural-symbolic implementation of input/output logic for dealing with uncertainty in dynamic (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  9.  29
    A Common Ontology of Agent Communication Languages: Modeling Mental Attitudes and Social Commitments.Guido Boella, Rossana Damianoa, Joris Hulstijn & Leendert van der Torre - 2006 - Applied Ontology 3:1-3.
    Direct download  
     
    Export citation  
     
    My bibliography  
  10.  47
    A Dynamic Logic for Privacy Compliance.Guillaume Aucher, Guido Boella & Leendert van der Torre - 2011 - Artificial Intelligence and Law 19 (2-3):187-231.
  11. A Common Ontology of Agent Communication Languages: Modeling Mental Attitudes and Social Commitments Using Roles.Guido Boella, Rossana Damiano, Joris Hulstijn & Leendert van der Torre - 2007 - Applied Ontology 2 (3):217-265.
     
    Export citation  
     
    My bibliography   1 citation  
  12.  23
    John Horty, Agency and Deontic Logic.Jan Broersen & Leendert van der Torre - 2003 - Artificial Intelligence and Law 11 (1):45-61.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  13.  10
    Diagnosis and Decision Making in Normative Reasoning.Leendert W. N. Van Der Torre & Yao-Hua Tan - 1999 - Artificial Intelligence and Law 7 (1):51-67.
    Diagnosis theory reasons about incomplete knowledge and only considers the past. It distinguishes between violations and non-violations. Qualitative decision theory reasons about decision variables and considers the future. It distinguishes between fulfilled goals and unfulfilled goals. In this paper we formalize normative diagnoses and decisions in the special purpose formalism DIO(DE)2 as well as in extensions of the preference-based deontic logic PDL. The DIagnostic and DEcision-theoretic framework for DEontic reasoning DIO(DE)2 formalizes reasoning about violations and fulfillments, and is used to (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  14.  17
    Formalizing No Wishful Thinking.Jan Broersen, Mehdi Dastani & Leendert van der Torre - 2001 - Journal of Applied Non-Classical Logics 11 (3-4).
    Direct download  
     
    Export citation  
     
    My bibliography  
  15.  20
    What an Agent Ought To Do.Jan Broersen & Leendert van der Torre - 2003 - Artificial Intelligence and Law 11 (1):45-61.
  16.  10
    Realistic Desires.Jan Broersen, Mehdi Dastani & Leendert van der Torre - 2002 - Journal of Applied Non-Classical Logics 12 (2):287-308.
  17.  9
    Violation Games: A New Foundation for Deontic Logic★.Leendert van der Torre - 2010 - Journal of Applied Non-Classical Logics 20 (4):457-477.
  18.  1
    AGM Contraction and Revision of Rules.Guido Boella, Gabriella Pigozzi & Leendert van der Torre - 2016 - Journal of Logic, Language and Information 25 (3-4):273-297.
    In this paper we study AGM contraction and revision of rules using input/output logical theories. We replace propositional formulas in the AGM framework of theory change by pairs of propositional formulas, representing the rule based character of theories, and we replace the classical consequence operator Cn by an input/output logic. The results in this paper suggest that, in general, results from belief base dynamics can be transferred to rule base dynamics, but that a similar transfer of AGM theory change to (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  19.  1
    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 (2 more)  
     
    Export citation  
     
    My bibliography  
  20.  1
    Algorithms for Finding Coalitions Exploiting a New Reciprocity Condition.Guido Boella, Luigi Sauro & Leendert van der Torre - 2009 - 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  
     
    Export citation  
     
    My bibliography  
  21. Substantive and Procedural Norms in Normative Multiagent Systems.Guido Boella & Leendert van der Torre - 2008 - Journal of Applied Logic 6 (2):152-171.