7 found
  1.  10
    Epistemic Logic for AI and Computer Science.John-Jules Ch Meyer & Wiebe van der Hoek - 1995 - Cambridge University Press.
    Epistemic logic has grown from its philosophical beginnings to find diverse applications in computer science, and as a means of reasoning about the knowledge and belief of agents. This book provides a broad introduction to the subject, along with many exercises and their solutions. The authors begin by presenting the necessary apparatus from mathematics and logic, including Kripke semantics and the well-known modal logics K, T, S4 and S5. Then they turn to applications in the context of distributed systems and (...)
    Direct download  
    Export citation  
    Bookmark   43 citations  
  2.  8
    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.
  3.  11
    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  
  4.  8
    Deontic Logic in Computer Science: Normative System Specification.John-Jules Ch Meyer & R. J. Wieringa - 1993 - Wiley.
    A useful logic in which to specify normative system behaviour, deontic logic has a broad spectrum of possible applications within the field: from legal expert systems to natural language processing, database integrity to electronic contracting and the specification of fault-tolerant software.
    Direct download  
    Export citation  
    Bookmark   3 citations  
  5.  10
    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  
  6.  60
    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.  5
    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