18 found
Order:
Disambiguations
John-Jules Meyer [11]John-Jules Ch Meyer [8]
  1. Epistemic Logic for Ai and Computer Science.John-Jules Ch Meyer & W. van der Hoek - 1995
     
    Export citation  
     
    Bookmark   40 citations  
  2. Epistemic Logic.John-Jules Meyer - 2001 - In Lou Goble (ed.), The Blackwell Guide to Philosophical Logic. Blackwell.
     
    Export citation  
     
    Bookmark   13 citations  
  3.  39
    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.  15
    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.
  5. 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.  6
    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  
  7.  39
    Update Semantics of Security Protocols.Arjen Hommersom, John-Jules Meyer & Erik De Vink - 2004 - Synthese 142 (2):229 - 267.
    We present a model-theoretic approach for reasoning about security protocols, applying recent insights from dynamic epistemic logics. This enables us to describe exactly the subsequent epistemic states of the agents participating in the protocol, using Kripke models and transitions between these based on updates of the agent's beliefs associated with steps in the protocol. As a case study we will consider the SRA Three Pass protocol and discuss the Wide-Mouthed Frog protocol.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  8.  19
    Iterated Belief Change in Multi-Agent Systems.Jan-Willem Roorda, Wiebe van der Hoek & John-Jules Meyer - 2003 - Logic Journal of the IGPL 11 (2):223-246.
    We give a model for iterated belief change in multi-agent systems. The formal tool we use for this is a combination of modal and dynamic logic. Two core notions in our model are the expansion of the knowledge and beliefs of an agent, and the processing of new information. An expansion is defined as the change in the knowledge and beliefs of an agent when it decides to believe an incoming formula while holding on to its current propositional beliefs. To (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  9.  54
    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.
  10.  72
    Determining the Environment: A Modal Logic for Closed Interaction.Jan Broersen, Rosja Mastop, John-Jules Meyer & Paolo Turrini - 2009 - Synthese 169 (2):351-369.
    The aim of the work is to provide a language to reason about Closed Interactions, i.e. all those situations in which the outcomes of an interaction can be determined by the agents themselves and in which the environment cannot interfere with they are able to determine. We will see that two different interpretations can be given of this restriction, both stemming from Pauly Representation Theorem. We will identify such restrictions and axiomatize their logic. We will apply the formal tools to (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  38
    On Agents That Have the Ability to Choose.Wiebe van der Hoek, Bernd van Linder & John-Jules Meyer - 2000 - Studia Logica 66 (1):79-119.
    We demonstrate ways to incorporate nondeterminism in a system designed to formalize the reasoning of agents concerning their abilities and the results of the actions that they may perform. We distinguish between two kinds of nondeterministic choice operators: one that expresses an internal choice, in which the agent decides what action to take, and one that expresses an external choice, which cannot be influenced by the agent. The presence of abilities in our system is the reason why the usual approaches (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  12.  25
    A Formal Account of Opportunism Based on the Situation Calculus.Jieting Luo & John-Jules Meyer - 2017 - AI and Society 32 (4):527-542.
    In social interactions, it is common for individuals to possess different amounts of knowledge about a specific transaction, and those who are more knowledgeable might perform opportunistic behavior to others in their interest, which promotes their value but demotes others’ value. Such a typical social behavior is called opportunistic behavior. In this paper, we propose a formal account of opportunism based on the situation calculus. We first propose a model of opportunism that only considers a single action between two agents, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  13. Ontology Negotiation in Heterogeneous Multi-Agent Systems: The Anemone System.Jurriaan van Diggelen, Robbert-Jan Beun, Frank Dignum, Rogier M. van Eijk & John-Jules Meyer - 2007 - Applied Ontology 2 (3):267-303.
     
    Export citation  
     
    Bookmark   1 citation  
  14.  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  
     
    Bookmark  
  15.  17
    Regulating Competing Coalitions: A Logic for Socially Optimal Group Choices.Paolo Turrini, Jan Broersen, Rosja Mastop & John-Jules Meyer - 2012 - Journal of Applied Non-Classical Logics 22 (1-2):181-202.
    In Multi Agent Systems it is often the case that individual preferences are not compatible and coalitions compete to achieve a given result. The paper presents a language to talk about the conflict between coalitional choices and it expresses deontic notions to evaluate them. We will be specifically concerned with cases where the collective perspective is at odds with the individual perspective.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16.  13
    Programming Norm Change.Mehdi Dastani, John-Jules Meyer & Nick Tinnemeier - 2012 - Journal of Applied Non-Classical Logics 22 (1-2):151-180.
    To adequately deal with unpredictable and dynamic environments, normative frameworks typically deployed in mechanisms for modifying the norms at runtime are crucial. We present the syntax and operational semantics of programming constructs to facilitate runtime norm modification, allowing a programmer to specify when and how the norms may be changed by external agents or by the normative mechanism. The norms take on the form of conditional obligations and prohibitions, instantiating obligations and prohibitions. We present rule-based constructs for runtime modification of (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  17.  13
    On Agents That Have the Ability to Choose.Wiebe van Der Hoek, Bernd Van Linder & John-Jules Meyer - 2000 - Studia Logica 66 (1):79 - 119.
    We demonstrate ways to incorporate nondeterminism in a system designed to formalize the reasoning of agents concerning their abilities and the results of the actions that they may perform. We distinguish between two kinds of nondeterministic choice operators: one that expresses an internal choice, in which the agent decides what action to take, and one that expresses an external choice, which cannot be influenced by the agent. The presence of abilities in our system is the reason why the usual approaches (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  49
    Temporalizing Epistemic Default Logic.Wiebe van der Hoek, John-Jules Meyer & Jan Treur - 1998 - Journal of Logic, Language and Information 7 (3):341-367.
    We present an epistemic default logic, based on the metaphore of a meta-level architecture. Upward reflection is formalized by a nonmonotonic entailment relation, based on the objective facts that are either known or unknown at the object level. Then, the meta (monotonic) reasoning process generates a number of default-beliefs of object-level formulas. We extend this framework by proposing a mechanism to reflect these defaults down. Such a reflection is seen as essentially having a temporal flavour: defaults derived at the meta-level (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation