Progression and Verification of Situation Calculus Agents with Bounded Beliefs

We investigate agents that have incomplete information and make decisions based on their beliefs expressed as situation calculus bounded action theories. Such theories have an infinite object domain, but the number of objects that belong to fluents at each time point is bounded by a given constant. Recently, it has been shown that verifying temporal properties over such theories is decidable. We take a first-person view and use the theory to capture what the agent believes about the domain of interest and the actions affecting it. In this paper, we study verification of temporal properties over online executions. These are executions resulting from agents performing only actions that are feasible according to their beliefs. To do so, we first examine progression, which captures belief state update resulting from actions in the situation calculus. We show that, for bounded action theories, progression, and hence belief states, can always be represented as a bounded first-order logic theory. Then, based on this result, we prove decidability of temporal verification over online executions for bounded action theories.     

Frogs and ponds: a multilevel analysis of the regulatory mode complementarity hypothesis

Regulatory mode is a psychological construct pertaining to the self-regulatory orientation of individuals or teams engaged in goal pursuit. Locomotion, the desire for continuous progress or movement in goal pursuit, and assessment, the desire to critically evaluate and compare goals and means, are orthogonal regulatory modes. However, they are also complementary, in that both locomotion and assessment are necessary for effectual goal pursuit. In the present research, the authors sought to demonstrate that multilevel regulatory mode complementarity can positively affect individual-level performance on goal-relevant tasks. The authors recruited 289 employees (177 men, 112 women) from preexisting work teams in workplace organizations in Italy and obtained (a) employees' individual-level scores on the Regulatory Mode Scale and (b) supervisor ratings of each employee's work performance. The results supported the multilevel complementarity hypothesis for regulatory mode. Limitations and recommendations for future research are discussed.     

The Cognitive Effectiveness of Subtitle Processing

In an experimental study, we analyzed the cognitive processing of a subtitled film excerpt by adopting a methodological approach based on the integration of a variety of measures: eye-movement data, word recognition, and visual scene recognition. We tested the hypothesis that the processing of subtitled films is cognitively effective: It leads to a good understanding of film content without requiring a significant tradeoff between image processing and text processing. Following indications in the psycholinguistic literature, we also tested the hypothesis that two-line subtitles whose segmentation is syntactically incoherent can have a disruptive effect on information processing and recognition performance. The results highlighted the effectiveness of subtitle processing: Regardless of the quality of line segmentation, participants had a good understanding of the film content, they achieved good levels of performance in both word and scene recognition, and no tradeoff between text and image processing was detected. Eye-movement analyses enabled a further characterization of cognitive processing during subtitled film viewing. This article discusses the theoretical implications of the findings for both subtitling and multiple-source communication and highlights their methodological and applied implications.     

Which Attitudes Will Make us Individually and Socially Happier and Healthier? A Cross-Culture and Cross-Development Analytical Model

This paper describes a dynamic system for the interrelationships between happiness and health that considers three main attitudes to life: α, β, and γ for Aristotelian, Epicurean, and Stoic, respectively. All variables that have been shown by empirical and theoretical studies to affect individual health and happiness are included (i.e., employment, occupation, education, ethical freedom, equity in achievements). Three main approaches are considered: behavioural and statistical ex-ante, and ex-post behavioural. A model is developed to rank the three attitudes in terms of health for a given happiness level, and consequently, provide insights into which attitude should be adopted by each individual, according to their characteristics: individuals in Protestant and non-Protestant Christian societies should adopt β and γ attitudes, respectively; educated individuals should adopt a γ attitude; and poor individuals should adopt an α attitude. Based on this analysis, this paper provides insights into which attitude actually is adopted by each society by comparing predicted health and achievement levels with the observed life expectancy at birth and per capita gross domestic product levels in 107 countries, thus providing an empirical test of the analytical model. This analysis revealed a prevalence of β attitudes in Protestant Developed Countries, with larger γ shares in less income-unequal countries; a prevalence of γ attitudes in non-Protestant Christian Developed Countries, with larger β shares in more income-unequal countries; a prevalence of α attitudes in Muslim Less Developed Countries, with larger γ shares in more educated countries; and a prevalence of β attitudes in more educated atheist and Jewish countries.     

Enthymematic parsimony

Enthymemes are traditionally defined as arguments in which some elements are left unstated. It is an empirical fact that enthymemes are both enormously frequent and appropriately understood in everyday argumentation. Why is it so? We outline an answer that dispenses with the so called “principle of charity”, which is the standard notion underlying most works on enthymemes. In contrast, we suggest that a different force drives enthymematic argumentation—namely, parsimony, i.e. the tendency to optimize resource consumption, in light of the agent’s goals. On this view, the frequent use of enthymemes does not indicate sub-optimal performance of arguers, requiring appeals to charity for their redemption. On the contrary, it is seen as a highly adaptive argumentation strategy, given the need of everyday reasoners to optimize their cognitive resources. Considerations of parsimony also affect enthymeme reconstruction, i.e. the process by which the interpreter makes sense of the speaker’s enthymemes. Far from being driven by any pro-social cooperative instinct, interpretative efforts are aimed at extracting valuable information at reasonable costs from available sources. Thus, there is a tension between parsimony and charity, insofar as the former is a non-social constraint for self-regulation of one’s behaviour, whereas the latter implies a pro-social attitude. We will argue that some versions of charity are untenable for enthymeme interpretation, while others are compatible with the view defended here, but still require parsimony to expose the ultimate reasons upon which a presumption of fair treatment in enthymeme reconstruction is founded.     

The combined effect of gaze direction and facial expression on cueing spatial attention

Empirical evidence shows an effect of gaze direction on cueing spatial attention, regardless of the emotional expression shown by a face, whereas a combined effect of gaze direction and facial expression has been observed on individuals' evaluative judgments. In 2 experiments, the authors investigated whether gaze direction and facial expression affect spatial attention depending upon the presence of an evaluative goal. Disgusted, fearful, happy, or neutral faces gazing left or right were followed by positive or negative target words presented either at the spatial location looked at by the face or at the opposite spatial location. Participants responded to target words based on affective valence (i.e., positive/negative) in Experiment 1 and on letter case (lowercase/uppercase) in Experiment 2. Results showed that participants responded much faster to targets presented at the spatial location looked at by disgusted or fearful faces but only in Experiment 1, when an evaluative task was used. The present findings clearly show that negative facial expressions enhance the attentional shifts due to eye-gaze direction, provided that there was an explicit evaluative goal present.     

Regulatory mode preferences for autonomy supporting versus controlling instructional styles

Background Three studies carried out in educational settings examined determinants of teacher's instructional styles and students' degree of satisfaction with the learning climates created by such styles. Aims Based upon regulatory mode theory, Studies 1 and 2 tested the hypotheses that teachers' locomotion orientation will be positively related, and their assessment orientation will be negatively related, to autonomy supportive (vs. controlling) instructional styles. Study 3 tested the hypothesis that students' regulatory mode will exhibit a fit effect with the prevalent learning climate in their school. Samples Participants for Study 1 were 378 teachers (278 females); for Study 2 were 96 teachers (65 females); and for Study 3 were 190 students (all males). Method Participants completed questionnaires that included measures of teaching styles (Studies 1 and 2), perceived learning climate and satisfaction (Study 3), and regulatory mode orientations (Studies 1 and 3). In Study 2 regulatory mode orientations were experimentally induced. Results Results confirmed that teachers' autonomy supportive versus controlling styles were positively related to their locomotion orientations and negatively related to their assessment orientation, and that students with a stronger locomotion (vs. assessment) orientation reported a higher level of satisfaction when the learning climate was perceived as autonomy supportive (vs. controlling). Conclusions The present studies show that teachers' preference for adopting an instructional style is influenced by their regulatory mode orientations, and that the effects of a learning climate on students' satisfaction are contingent on a fit between type of learning climate and students' regulatory mode orientations.