With a little help from my friends: A computational model for the role of social support in mood regulation

The growing interest in the role of social support in mental and physical health has led to the development of several intelligent systems that aim to use social mechanisms to simulate healthy behaviour. In this paper a computational model of a human agent is presented which describes the effect of social support on mood. According to the literature, social support can either refer to the social resources that individuals perceive to be available or to the support that is actually provided in problematic situations. The proposed model distinguishes between both roles of social support. The role of social network characteristics has been taken into account, as an individual can perceive or receive social support through his/her social network. In addition, the number of connections (friends), strength of ties (relationships), social isolation and social integration have been studied. Simulation experiments have been done to analyze the effect of the different types of support in different scenarios and also to analyze the role of various social network characteristics on the mood level. It is shown that support can help to reduce the induced stress and thus can contribute to healthy mood regulation and prevention of depression. The presented model provides a basis for an intelligent support system for people with mood regulation problems that take the social network of people into account.     

Representing decision-makers using styles of behavior: An approach designed for group decision support systems

Supporting decision-making processes when the elements of a group are geographically dispersed and on a tight schedule is a complex task. Aiming to support decision-makers anytime and anywhere, Web-based group decision support systems have been studied. However, the limitations in the decision-makers’ interactions associated to this scenario bring new challenges. In this work, we propose a set of behavioral styles from which decision-makers’ intentions can be modelled into agents. The goal is that, besides having agents represent typical preferences of the decision-makers (towards alternatives and criteria), they can also represent their intentions. To do so, we conducted a survey with 64 participants in order to find homogeneous operating values so as to numerically define the proposed behavioral styles in four dimensions. In addition, we also propose a communication model that simulates the dialogues made by decision-makers in face-to-face meetings. We developed a prototype to simulate decision scenarios and found that agents are capable of acting according to the decision-makers’ intentions and fundamentally benefit from different possible behavioral styles, just as a face-to-face meeting benefits from the heterogeneity of its participants.     

Entailment with Near Surety of Scaled Assertions of High Conditional Probability

An assertion of high conditional probability or, more briefly, an HCP assertion is a statement of the type: The conditional probability of B given A is close to one. The goal of this paper is to construct logics of HCP assertions whose conclusions are highly likely to be correct rather than certain to be correct. Such logics would allow useful conclusions to be drawn when the premises are not strong enough to allow conclusions to be reached with certainty. This goal is achieved by taking Adams" (1966) logic, changing its intended application from conditionals to HCP assertions, and then weakening its criterion for entailment. According to the weakened entailment criterion, called the Criterion of Near Surety and which may be loosely interpreted as a Bayesian criterion, a conclusion is entailed if and only if nearly every model of the premises is a model of the conclusion. The resulting logic, called NSL, is nonmonotonic. Entailment in this logic, although not as strict as entailment in Adams" logic, is more strict than entailment in the propositional logic of material conditionals. Next, NSL was modified by requiring that each HCP assertion be scaled; this means that to each HCP assertion was associated a bound on the deviation from 1 of the conditional probability that is the subject of the assertion. Scaling of HCP assertions is useful for breaking entailment deadlocks. For example, it it is known that the conditional probabilities of C given A and of ¬ C given B are both close to one but the bound on the former"s deviation from 1 is much smaller than the latter"s, then it may be concluded that in all likelihood the conditional probability of C given A B is close to one. The resulting logic, called NSL-S, is also nonmonotonic. Despite great differences in their definitions of entailment, entailment in NSL is equivalent to Lehmann and Magidor"s rational closure and, disregarding minor differences concerning which premise sets are considered consistent, entailment in NSL-S is equivalent to entailment in Goldszmidt and Pearl"s System-Z ⁺. Bacchus, Grove, Halpern, and Koller proposed two methods of developing a predicate calculus based on the Criterion of Near Surety. In their random-structures method, which assumed a prior distribution similar to that of NSL, it appears possible to define an entailment relation equivalent to that of NSL. In their random-worlds method, which assumed a prior distribution dramatically different from that of NSL, it is known that the entailment relation is different from that of NSL.     

Infants' understanding of object-directed action

When and in what ways do infants recognize humans as intentional actors? An important aspect of this larger question concerns when infants recognize specific human actions (e.g. a reach) as object-directed (i.e. as acting toward goal-objects). In two studies using a visual habituation technique, 12-month-old infants were tested to assess their recognition that an adult's reach is directed toward its target object. Infants in the experimental condition were habituated to a display in which an actor reached over a wall-like barrier with an arcing arm movement, to pick up a ball. After habituation infants saw two test displays, for which the barrier was removed. In the direct test event the actor reached directly for the ball, the arm tracing a visually new path, but the action consistent with attempting to reach for the object as directly as possible. In the indirect test event the actor traced the old path, reaching over in an arc, even though the wall was no longer present. This arm movement was identical to that in habituation but no longer displayed a reach going directly to its object. In a control condition infants saw the same movements but in a situation with no goal-object. In the experimental conditions, with a goal object present, infants looked longer at the indirect test event in comparison to the direct test event. In the control conditions infants looked equally at both indirect and direct test events. We conclude that sensitivity to human object-directed action is established by 12-month-olds and compare these results to recent findings by [Gergely, G., Nadasdy, Z., Csibra, G., & Biro S. (1995). Taking the intentional stance at 12 months of age. Cognition, 56, 165-193] and [Woodward, A. (1998). Infants selectively encode the goal object of an actor's reach. Cognition, 69, 1-34].     

近五十年来台湾地区士林哲学之研究与前瞻

根据祁尔松（Etienne Gilson）的说法,中世纪哲学,尤其是十三世纪的思想,是基督宗教哲学。本文按其在台湾发展时所袭用的名词,称之为士林哲学。士林哲学之传入中国,虽然早在利玛窦时期（1550—1610）已经开始,但真正成为学术思想之主流之一,是最近五十年来在台湾地区的发展。20世纪初士林哲学初传入台湾时,当时的思想环境,对基督宗教哲学并不十分友善,这种种情况,与中世纪的思想家,面对信仰与神学之挑战相似。当时的思想家,融合各种不同的思想派系,对柏拉图与亚理斯多德的观念,重新诠释与批判,批判与诠释是创新的基础。所以,中世纪可说是哲学的第二春,而中世纪哲学之精华,即全盛期的士林哲学。十四世纪唯名论之后,士林哲学逐步式微,于十九世纪末再兴。本文认为,士林哲学在台湾发展之过程,与其在中世纪之盛行,及十九世纪末之再兴,背景虽异但有不少相似之处,而这些相似之处,正是士林哲学之基本思想与立场。本文对台湾士林哲学之发展,从四方面探讨：（1）回到形上学之根以面对新的挑战;（2）形上学基本立场与概念之说明;（3）反思与批判;（4）未来发展之方向。本文所参考之资料,一是已发表之学术文献;其二是与学者们之正式交谈——如学术演讲、座谈会等,及非正式之谈话、访问等。     

An experimental study of the emergence of human communication systems

The emergence of human communication systems is typically investigated via 2 approaches with complementary strengths and weaknesses: naturalistic studies and computer simulations. This study was conducted with a method that combines these approaches. Pairs of participants played video games requiring communication. Members of a pair were physically separated but exchanged graphic signals through a medium that prevented the use of standard symbols (e.g., letters). Communication systems emerged and developed rapidly during the games, integrating the use of explicit signs with information implicitly available to players and silent behavior-coordinating procedures. The systems that emerged suggest 3 conclusions: (a) signs originate from different mappings; (b) sign systems develop parsimoniously; (c) sign forms are perceptually distinct, easy to produce, and tolerant to variations.     

Processing coordinated structures: incrementality and connectedness

We recorded participants' eye movements while they read sentences containing verb-phrase coordination. Results showed evidence of immediate processing disruption when a reflexive pronoun embedded in the conjoined verb phrase mismatched the sentence subject. We argue that this result is incompatible with models of human parsing that employ only bottom-up parsing procedures, even when flexible constituency is employed. Models need to incorporate a mechanism similar to the adjoining operation in Tree-Adjoining Grammar, in which one structure is inserted into another.     

How Should a Speech Recognizer Work?

Although researchers studying human speech recognition (HSR) and automatic speech recognition (ASR) share a common interest in how information processing systems (human or machine) recognize spoken language, there is little communication between the two disciplines. We suggest that this lack of communication follows largely from the fact that research in these related fields has focused on the mechanics of how speech can be recognized. In Marr's (1982) terms, emphasis has been on the algorithmic and implementational levels rather than on the computational level. In this article, we provide a computational-level analysis of the task of speech recognition, which reveals the close parallels between research concerned with HSR and ASR. We illustrate this relation by presenting a new computational model of human spoken-word recognition, built using techniques from the field of ASR that, in contrast to current existing models of HSR, recognizes words from real speech input.