7 found
  1. Epistemic Logic for Ai and Computer Science.John-Jules Ch Meyer & W. van der Hoek - 1995
    Export citation  
    Bookmark   43 citations  
  2.  43
    Conflicting intentions: rectifying the consistency requirements.Hein Duijf, Jan Broersen & John-Jules Ch Meyer - 2019 - Philosophical Studies 176 (4):1097-1118.
    Many philosophers are convinced that rationality dictates that one’s overall set of intentions be consistent. The starting point and inspiration for our study is Bratman’s planning theory of intentions. According to this theory, one needs to appeal to the fulfilment of characteristic planning roles to justify norms that apply to our intentions. Our main objective is to demonstrate that one can be rational despite having mutually inconsistent intentions. Conversely, it is also shown that one can be irrational despite having a (...)
    Direct download (3 more)  
    Export citation  
    Bookmark   1 citation  
  3.  17
    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.
  4. A formal model of emotion triggers: an approach for BDI agents.Bas R. Steunebrink, Mehdi Dastani & John-Jules Ch Meyer - 2012 - Synthese 185 (S1):83-129.
    This paper formalizes part of a well-known psychological model of emotions. In particular, the logical structure underlying the conditions that trigger emotions are studied and then hierarchically organized. The insights gained therefrom are used to guide a formalization of emotion triggers, which proceeds in three stages. The first stage captures the conditions that trigger emotions in a semiformal way, i.e., without committing to an underlying formalism and semantics. The second stage captures the main psychological notions used in the emotion model (...)
    Direct download (7 more)  
    Export citation  
    Bookmark   2 citations  
  5.  10
    Deontic Logic in Computer Science: Normative System Specification.John-Jules Ch Meyer & R. J. Wieringa - 1993 - Wiley.
    Deontic logic originated from moral philosophy and the philosophy of law as an attempt to formalise normative and legal reasoning. This book draws on the experience of researchers - working in fields as diverse as Artificial Intelligence, linguistics, computer system specification and law - who have discovered the benefits of deontic logic when applied to solving computer science and AI problems. A useful logic in which to specify normative system behaviour, deontic logic has a broad spectrum of possible applications within (...)
    Direct download  
    Export citation  
    Bookmark   3 citations  
  6.  55
    An integrated framework for ought-to-be and ought-to-do constraints.Piero D'Altan, John-Jules Ch Meyer & Roelf Johannes Wieringa - 1996 - Artificial Intelligence and Law 4 (2):77-111.
  7.  23
    Andy Egan and Brian Weatherson, eds. Epistemic Modality. [REVIEW]John-Jules Ch Meyer - 2013 - Philosophy in Review 33 (1):29-30.
    No categories
    Direct download (3 more)  
    Export citation