From Knowledge-based Programs to Graded Belief-based Programs,Part I: On-line Reasoning<Superscript>*</Superscript>

Knowledge-based programs (KBPs) are a powerful notion for expressing action policies in which branching conditions refer to implicit knowledge and call for a deliberation task at execution time. However, branching conditions in KBPs cannot refer to possibly erroneous beliefs or to graded belief, such as “if my belief that φ holds is high then do some action α else perform some sensing action β”. The purpose of this paper is to build a framework where such programs can be expressed. In this paper we focus on the execution of such a program (a companion paper investigates issues relevant to the off-line evaluation and construction of such programs). We define a simple graded version of doxastic logic KD45 as the basis for the definition of belief-based programs. Then we study the way the agent’s belief state is maintained when executing such programs, which calls for revising belief states by observations (possibly unreliable or imprecise) and progressing belief states by physical actions (which may have normal as well as exceptional effects). ^* A premliminary and shorter version of this paper in the Proceedings of the 16th European Conference on Artificial Intelligence (ECAI-04), pp. 368–372 (Laverny and Lang 2004).     

Contrast effects in judgments of health hazards

Researchers commonly use 2 models to explain contrast effects (CEs): the standard-of-comparison model and the set-reset model. The 2 models focus on the role of categorization to predict when a CE (instead of an assimilation effect) will happen, while minimizing the role of knowledge accessibility and relevance in determining whether any effect will occur. A 3rd model, the selective-accessibility model (F. Strack & T. Mussweiler, 1997), focuses on knowledge accessibility and relevance, but it is a model of assimilation effects in the anchoring bias. In the present study of CEs, the authors tested 3 predictions implied by the selective-accessibility model. The authors found a CE only when anchor- and target-rating dimensions matched and only in the 1st of multiple targets rated. The CE required a minimum amount of attention to the anchor. These results support the account that selective knowledge accessibility and relevance play an important role in CEs.     

Measuring icon complexity: An automated analysis

Measures of icon designs rely heavily on surveys of the perceptions of population samples. Thus, measuring the extent to which changes in the structure of an icon will alter its perceived complexity can be costly and slow. An automated system capable of producing reliable estimates of perceived complexity could reduce development costs and time. Measures of icon complexity developed by Garcia, Badre, and Stasko (1994) and McDougall, Curry, and de Bruijn (1999) were correlated with six icon properties measured using Matlab (MathWorks, 2001) software, which uses image-processing techniques to measure icon properties. The six icon properties measured were icon foreground, the number of objects in an icon, the number of holes in those objects, and two calculations of icon edges and homogeneity in icon structure. The strongest correlates with human judgments of perceived icon complexity (McDougall et al., 1999) were structural variability (r _s = .65) and edge information (r _s = .64).     

Consumer information processing strategies in middle and late adulthood

The purpose of the present study was to investigate the extent to which performance of a complex cognitive task of a type resembling that encountered in everyday life is maintained through adulthood. A total of 80 subjects participated; 20 in their thirties, 20 in their fifties, 20 in their sixties, and 20 in their seventies. Subjects were asked to make preference judgments with respect to 32 pocket-size notebooks of a sort they might encounter as consumers in a stationery or variety store. Independently, they were also asked to express their preferences with respect to each of the four dimensions on which the notebooks varied. With only minor differences across age groups, most subjects demonstrated the ability to integrate their individual dimension preferences into a complex preference judgment of an object embodying those dimensions, in a logically consistent manner.     

Mechanistic versus phenomenal embodiment: Can robot embodiment lead to strong AI?

Embodiment has become the raison d’etre for much of the new ‘cognitive robotics’. It fills a gap in the non-interactivist approach of traditional artificial intelligence (AI) in which ‘intelligence’ is viewed as the manipulation of symbols in a vacuum. However, a foundational question for the new AI is, can embodiment lead to a strong AI, i.e. a robot mind? To address this question, two extreme poles of embodiment are distinguished here, mechanistic and phenomenal. A detailed exploration of each type of embodiment is provided together with an appraisal of whether strong embodiment is possible for robotics, or whether robotics merely provides a tool for scientific exploration and modelling, i.e. weak embodiment? It is argued that strong embodiment, either mechanistic or phenomenal, is not possible for present day robots. However, weak embodiment may provide an enlightened approach to using robots for modelling cognition.     

Changing planes: rhizosemiotic play in transnational curriculum inquiry

This essay juxtaposes concepts created by Gilles Deleuze and Félix Guattari with worlds imagined by Ursula Le Guin in a performance of ‘rhizosemiotic play’ that explores some possible ways of generating and sustaining what William Pinar calls ‘complicated conversation’ within the regime of signs that constitutes an increasingly internationalized curriculum field. Deleuze and Guattari analyze thinking as flows or movements across space. They argue, for example, that every mode of intellectual inquiry needs to account for the plane of immanence upon which it operates—the preconceptual field presupposed by the concepts that inquiry creates. Curriculum inquiry currently operates on numerous nationally distinctive planes of immanence. I argue that the internationalization of curriculum studies should not presume a singular transnational plane of immanence but, rather, envisage a process performed by curriculum scholars with the capacities and competencies to change planes—to move between one plane of immanence and another and/or to transform their own planes. My essay is a ‘narrative experiment’ that takes seriously Deleuze’s argument that a work of philosophy should be, in part, a kind of science fiction, and also takes inspiration from Le Guin’s science fictional stories of ‘changing planes’ to generate productive and disruptive transnational agendas in curriculum inquiry.

The relationship between intrinsic motivation and academic achievement for first generation Latino college students

Hispanic students are pursuing higher education more than in previous years and they often represent their family as the first member to attend college (Strage in Coll Stud J 33:198–205, 1999). Past educational research has studied the influence of intrinsic motivation on academic achievement in various ethnically diverse elementary, middle school and high school student populations (Areepattamannil in Soc Psychol Educ 15:367–386, 2012; Crumpton and Gregory in J Educ Psychol 104:42–53, 2011; Lepper et al. in J Educ Psychol 92:184–196, 2005). Despite the fact that many studies using college student samples have also shown the positive role of intrinsic motivation with achievement outcomes (Harackiewicz et al. in Educ Psychol 33:1–21, 1998; Simons et al. in Br J Educ Psychol 74:343–360, 2004; Vallerand and Bissonnette in J Pers 60:599–620, 1992), few studies focus on Latino samples. We expect that intrinsic motivation may play an important role in the academic achievement of Latino students, particularly first generation college students. The current review will examine self-determination theory, including intrinsic motivation and extrinsic motivation, as well as relevant research pertaining to the connection between intrinsic motivation and academic achievement. The relationship between intrinsic motivation and academic achievement for first generation Latino college students will be examined along with ways to increase intrinsic motivation and academic achievement in turn. Implications for future research will be discussed.     

A Virtue-Based Defense of Mathematical Apriorism

Mathematical apriorists usually defend their view by contending that axioms are knowable a priori, and that the rules of inference in mathematics preserve this apriority for derived statements—so that by following the proof of a statement, we can trace the apriority being inherited. The empiricist Philip Kitcher attacked this claim by arguing there is no satisfactory theory that explains how mathematical axioms could be known a priori. I propose that in analyzing Ernest Sosa’s model of intuition as an intellectual virtue, we can construct an “intuition–virtue” that could supply the missing explanation for the apriority of axioms. I first argue that this intuition–virtue qualifies as an a priori warrant according to Kitcher’s account, and then show that it could produce beliefs about mathematical axioms independent of experience. If my argument stands, this paper could provide insight on how virtue epistemology could help defend mathematical apriorism on a larger scale.     

The logic of arithmetic

Conclusion The arithmetic developed along the lines indicated by Cantor has up until now found no application in the real, as opposed to the mathematical, world. It is to be hoped that the changes suggested in this paper bring mathematics closer to human thought and allow it to be of increasing benefit in its service to mankind.