The classic method of Nelson and Oppen for combining decision procedures requires the theories to be stably-infinite. Unfortunately, some important theories do not fall into this category (e.g. the theory of bit-vectors). To remedy this problem, previous work introduced the notion of polite theories. Polite theories can be combined with any other theory using an extension of the Nelson-Oppen ap...

this essay examines greetings as one of the elements of politeness in a nigerian community and how it influences the cultural characteristics of the people. to analyze, this essay makes use of speech act theory and politeness principle and also considers the pragmatic context in analyzing different types of greetings such as condolences, departure and arrival, rejoicing, daily greetings, casual...

Our daily social interaction is anchored in interpersonal discourse; accordingly, the phenomenon of linguistic politeness is prevalent in daily social interaction. Such linguistic behavior underscores the fact that linguistic politeness is a critical component of human communication. Speech participants utilize linguistic politeness to avoid and reduce social friction and enhance each other’s f...

Pedagogical agent research seeks to exploit Reeves and Nass’s Media Equation theory, which holds that users respond to interactive media as if they were social actors. Investigations have tended to focus on the media used to realize the pedagogical agent, e.g., the use of animated talking heads and voices, and the results have been mixed. This paper focuses instead on the manner in which a peda...

This paper presents politeness as a key social requirement for computer human interaction (CHI). Politeness is defined, in information terms, as offering the locus of control of a social interaction to another party. Software that creates pop-up windows is not illegal, but is impolite, as it preempts user choice. It is proposed that impolite software drives users away, while polite software att...

This study examined the effect of politeness, as a key reflection linguistic features conversation in online labor marketplace, on hiring behavior. Drawing politeness theory, non-linear relationship was theorized. A hypothesis put forward and against large-scale archival dataset from Chinese market. Using an econometric model, results demonstrated that there inverted U-shaped between decisions....

In order to examine potential acoustic cues for politeness in Japanese speech, F0 and temporal aspects of polite and casual utterances of two question sentences spoken by 6 male native speakers were acoustically analysed. The analysis showed that F0 movement of the ®nal part of utterances and speech rate of utterance were consistently di€erently used in these di€erent speaking styles across all...

Based upon a theoretical framework of politeness and face-threatening acts (FTAs), an ethnographic investigation of naturally occurring apologies and politeness strategies in Cuernavaca Spanish was accomplished. Using a modified version of BlumKulka et al.’s (1989) Cross-Cultural Speech Act Realization Project Coding Manual for Apologies and a corpus of (200) naturally occurring apology events,...

Using a discourse analytic qualitative approach, we investigated the naturally-occurring discourse that arose as part of two kinds of regular course activities, synchronous and asynchronous computer-mediated discussions. The messages contributed by members of a graduate course were analyzed for the kind of discourse functions and the kind of politeness strategies they displayed. Results indicat...