1,721,121 research outputs found
Formal semantics for mutual belief
No full textI propose a formal semantics for a modal mutual belief operator within a traditional doxastic logic. The truth set of a mutual belief expression is characterized as the greatest fixpoint of a monotone, continuous set operator. In this way, I show that mutual belief can be defined in terms of private beliefs and that, while its definition is in a sense circular, mutual belief need not itself be a non-well-founded mathematical object. I also show that if the logic of private beliefs is assumed to be Weak S5, the resulting logic of mutual belief is weaker, in that it does not enforce negative introspection
A modal logic of intentional communication
No full textI propose a propositional modal logic of intentional communication, a circular concept which develops an idea by Airenti, Bara and Colombetti (1993). A communication operator is added to a multi-modal language of individual belief, common belief, and intention, and its possible world semantics is justified through a fixpoint construction. A normal modal system for the communication operator is defined, and shown to be sound and complete. Within this framework, I prove some properties of intentional communication and give sufficient conditions for an action to be communicative
A commitment-based approach to agent communication
No full textIn this paper, we propose an operational method for the definition of the semantics of agent communication languages based on the notion of social commitment. Our proposal is suitable for open interaction frameworks where agents, designed by independent constructors, dynamically enter and leave different interaction systems. In this type of environment, it is crucial to define standard and commonly accepted semantics for the exchanged messages. We give an operational specification of commitment and introduce temporal propositions for the representation of the contents of commitments within an object-oriented paradigm. Then we use operations on commitments to define the meaning of a set of communicative acts that is complete with respect to Searle's taxonomy of illocutionary acts, and give an example of the use of communicative acts in an interaction protocol
Interpersonal communication as social action
Full text linkWe compare a number of influential approaches to human communication with the aim of understanding what it means for interpersonal communication to be a form of social action. In particular, we discuss the large-scale social normativity advocated by speech act theory, the view of communication as small-scale social interaction proper of Gricean approaches, and the intimate connection between communication and cooperation defended by Tomasello. We then argue in favor of a small-scale view of communication capable of accounting for the normative effects of communicative acts; to this purpose, we introduce the concept of interpersonal normativity and analyze its relationship with communicative intentions
- …
