8 found
Order:
See also
Richard Evans
Cambridge University
  1. The Logical Form of Status-Function Declarations.Richard Evans - 2009 - Etica E Politica 11 (1):203-259.
    We are able to participate in countless different sorts of social practice. This indefinite set of capacities must be explainable in terms of a finite stock of capacities. This paper compares and contrasts two different explanations. A standard decomposition of the capacity to participate in social practices goes something like this: the interpreter arrives on the scene with a stock of generic practice-types. He looks at the current scene to fill-in the current tokens of these types. He looks at the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2.  15
    Formalizing Kant's Rules: A Logic of Conditional Imperatives and Permissives.Richard Evans, Andrew Stephenson & Marek Sergot - forthcoming - Journal of Philosophical Logic.
    This paper formalizes part of the cognitive architecture that Kant develops in the Critique of Pure Reason. The central Kantian notion that we formalize is the rule. As we interpret Kant, a rule is not a declarative conditional stating what would be true if such and such conditions hold. Rather, a Kantian rule is a general procedure, represented by a conditional imperative or permissive, indicating which acts must or may be performed, given certain acts that are already being performed. These (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. Representing Personality Traits as Conditionals.Richard Evans - 2011 - Aisb 4 (1):35-42.
    This paper compares two approaches to representing personality traits in synthetic agents. It proposes a set of goals that any computational implementation of personality should satisfy. It describes the personality trait system used in The Sims 3. Then an alternative system is described, in which traits are represented as conditionals relating world state to emotional state. It is shown that the conditionals model does a better job of satisfying the desiderata.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4. Computer Models of Constitutive Social Practices.Richard Evans - 2016 - In Vincent Müller (ed.), Fundamental Issues of Artificial Intelligence. Springer. pp. 389-409.
    Research in multi-agent systems typically assumes a regulative model of social practice. This model starts with agents who are already capable of acting autonomously to further their individual ends. A social practice, according to this view, is a way of achieving coordination between multiple agents by restricting the set of actions available. For example, in a world containing cars but no driving regulations, agents are free to drive on either side of the road. To prevent collisions, we introduce driving regulations, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. Introducing Exclusion Logic as a Deontic Logic.Richard Evans - 2010 - DEON 2010 10 (1):179-195.
    This paper introduces Exclusion Logic - a simple modal logic without negation or disjunction. We show that this logic has an efficient decision procedure. We describe how Exclusion Logic can be used as a deontic logic. We compare this deontic logic with Standard Deontic Logic and with more syntactically restricted logics.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  6. Cathoristic Logic.Richard Evans - manuscript
    Cathoristic logic is a multi-modal logic where negation is replaced by a novel operator allowing the expression of incompatible sentences. We present the syntax and semantics of the logic including complete proof rules, and establish a number of results such as compactness, a semantic characterisa- tion of elementary equivalence, the existence of a quadratic-time decision pro- cedure, and Brandom’s incompatibility semantics property. We demonstrate the usefulness of the logic as a language for knowledge representation.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  7. Re-Expressing Normative Pragmatism.Richard Evans - 2009 - In Collective Intentionality VI, Berkeley.
    The central claim of normative pragmatism is that intentional states can be explained in terms of participation in practices. My aim in this paper is not so much to defend this claim as to rearticulate it in a different medium: the medium of computation. I describe two computer programs in which this claim is re-expressed. The first is the latest version of THE SIMS, in which participation in practices enables the Sims to do and understand more. The second is a (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8. Collective Intentionality VI, Berkeley.Richard Evans - 2009
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark