Prototyping “Intelligent” applications for interactive multimedia systems

The termmultimedia refers to the combined use of different media of communication, and originally belonged primarily to the fields of entertainment and education. Advances in computer, audio, and video technology have now brought multimedia possibilities to the individual. Further, they give the user control over what happens. Suchinteractive multimedia systems offer the user personal access to large amounts of information, including pictures, graphics, video, text, and audio. The potential range of applications is very broad, from simple interactions where the user will merely make occasional choices and then sit back and view sections of program material, to more purposeful interactions where the application can help the user to achieve a goal. This article describes research onknowledge-based interactive multimedia systems. Targeted on the new Compact Disc Interactive format, we have protyped an advisor which will help the user to tackle a typical domestic task. The necessary decision-making process can be enlivened by multimedia interaction, and placed on solid ground by the inclusion of expert advice.     

Parental conflict and children's coping styles in litigating separated families: Relationships with children's adjustment

The influence of interparental verbal and physical aggression, children's coping styles, and relevant demographic factors on children's adjustment was examined in a group of 52 families who were disputing custody and/or access arrangements after separation. It was hypothesized that parental conflict and specific children's coping strategies (i.e., cognitive redefinition and social support seeking) would be important predictors of children's adjustment. Consistent with previous research, aggressive styles of resolving conflict between parents were related to more frequent and severe behavior problems and diminished competence among children. Conversely, greater flexibility in coping and greater use of cognitive coping strategies among children were related to decreased behavioral disturbance. The unique and combined influence of these variables is discussed.This research was supported in part through a grant from the LaMarsh Research Programme on Violence and Conflict Resolution, York University, Toronto, Ontario. The author acknowledges the help of Cathy Melville and Susan Dickens in the data analyses. In addition, the author thanks the staff and families at the Toronto and London, Ontario, Family Court clinics who participated in this project.     

On two arguments for the indeterminacy of personal identity

Both arguments are based on the breakdown of normal criteria of identity in certain science-fictional circumstances. In one case, normal criteria would support the identity of person A with each of two other persons, B and C; and it is argued that, in the imagined circumstances, A=B and A=C have no truth value. In the other, a series or spectrum of cases is tailored to a sorites argument. At one end of the spectrum, persons A and B are such that A=B is clearly true; at the other end, A and B are such that the identity is clearly false. In between, normal criteria of identity leave the truth or falsehood of A=B undecided, and it is argued that in these circumstances A=B has no truth value.These arguments are to be understood counterfactually. My claim is that, so understood, neither establishes its conclusion. The first involves a pair of counterfactual situations that are equally possible or tied. If A=B and A=C have no truth value, a counterfactual conditional with one of them as consequent and an antecedent that is true in circumstances in which either is true should have no truth value. Intuitively, however, any such counterfactual is false. The second argument can be seen to invite an analogous response. If this is right, however, there is an important disanalogy between this and the classical paradox of the heap. If the disanalogy is only apparent, the argument shows at most that the existence of persons can be indeterminate.     

A Constructive Formulation of Gleason's Theorem

In this paper I wish to show that we can give a statement of a restricted form of Gleason's Theorem that is classically equivalent to the standard formulation, but that avoids the counterexample that Hellman gives in Gleason's Theorem is not Constructively Provable.     

Inverses for Normal Modal Operators

Given a 1-ary sentence operator , we describe L - another 1-ary operator - as as a left inverse of in a given logic if in that logic every formula is provably equivalent to L. Similarly R is a right inverse of if is always provably equivalent to R. We investigate the behaviour of left and right inverses for taken as the operator of various normal modal logics, paying particular attention to the conditions under which these logics are conservatively extended by the addition of such inverses, as well as to the question of when, in such extensions, the inverses behave as normal modal operators in their own right.     

Gender,politics, and the theoretical virtues

Traits like simplicity and explanatory power have traditionally been treated as values internal to the sciences, constitutive rather than contextual. As such they are cognitive virtues. This essay contrasts a traditional set of such virtues with a set of alternative virtues drawn from feminist writings about the sciences. In certain theoretical contexts, the only reasons for preferring a traditional or an alternative virtue are socio-political. This undermines the notion that the traditional virtues can be considered purely cognitive.I am grateful to participants in the Indiana University Workshop on Social Values in the Context of Justification for their comments on an earlier, spoken, version of this paper.