Cooperation,Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications

Branching-time temporal logics have proved to be an extraordinarily successful tool in the formal specification and verification of distributed systems. Much of their success stems from the tractability of the model checking problem for the branching time logic CTL, which has made it possible to implement tools that allow designers to automatically verify that systems satisfy requirements expressed in CTL. Recently, CTL was generalised by Alur, Henzinger, and Kupferman in a logic known as Alternating-time Temporal Logic (ATL). The key insight in ATL is that the path quantifiers of CTL could be replaced by cooperation modalities, of the form , where is a set of agents. The intended interpretation of an ATL formula is that the agents can cooperate to ensure that holds (equivalently, that have a winning strategy for ). In this paper, we extend ATL with knowledge modalities, of the kind made popular in the work of Fagin, Halpern, Moses, Vardi and colleagues. Combining these knowledge modalities with ATL, it becomes possible to express such properties as group can cooperate to bring about iff it is common knowledge in that . The resulting logic — Alternating-time Temporal Epistemic Logic (ATEL) — shares the tractability of model checking with its ATL parent, and is a succinct and expressive language for reasoning about game-like multiagent systems.     

An alternative to the methodology for analysis of covariance

A general statistical model for simultaneous analysis of data from several groups is described. The model is primarily designed to be used for the analysis of covariance. The model can handle any number of covariates and criterion variables, and any number of treatment groups. Treatment effects may be assessed when the treatment groups are not randomized. In addition, the model allows for measurement errors in the criterion variables as well as in the covariates. A wide variety of hypotheses concerning the parameters of the model can be tested by means of a large sample likelihood ratio test. In particular, the usual assumptions of ANCOVA may be tested.Research reported in this paper has been partly supported by the Swedish Council for Social Science Research under project Statistical methods for analysis of longitudinal data, project director Karl G. Jöreskog, and partly by the Bank of Sweden Tercentenary Foundation under project Structural Equation Models in the Social Sciences, project director Karl G. Jöreskog.     

The fallacy of fallacies

Several of the so-called fallacies in Aristotle are not in fact mistaken inference-types, but mistakes or breaches of rules in the questioning games which were practiced in the Academy and in the Lyceum. Hence the entire Aristotelian theory of fallacies ought to be studied by reference to the author's interrogative model of inquiry, based on his theory of questions and answers, rather than as a part of the theory of inference. Most of the fallacies mentioned by Aristotle can in fact be diagnosed by means of the interrogative model, including petitio principii, multiple questions, babbling, etc., and so can Aristotle's alleged anticipation of the fallacy of argumentum ad hominem. The entire Aristotelian conception of inquiry is an interrogative one. Deductive conclusions caught Aristotle's attention in the form of answers that every rational interlocutor must give, assuming only his own earlier answers. Several features of Aristotle's methodology can be understood by means of the interrogative model, including the role of endoxa in it. Theoretically, there is also considerable leeway as to whether fallacies are conceived of as mistakes in questioning or as breaches of the rules that govern questioning games.     

Analityczne komponenty definicji arbitralnych

Tre: Wstp. I. Definicje arbitralne. II. Syntetyczne konsekwencje definicji arbitralnych III. Analityczne i rzeczowe komponenty definicji arbitralnych. IV. Zdania analityczne.Artyku ten w nieznacznym tylko stopniu róni si od pracy doktorskiej, któr przedstawiem w 1962 r. Jak najuprzejmiej dzikuj Prof. Dr M. Kokoszyskiej-Lutman, Prof. Dr J. Supeckiemu oraz Doc. Dr M. Przeckiemu za szereg uwag i wskazówek, z których tak wiele skorzystaem przygotowujc ostateczn redakcj pracy.     

Micro-economic models of problem choice in basic science

This paper describes the way in which a certain representation of basic scientific knowledge can be coupled with traditional microeconomic analysis to provide an analysis of rational research planning or agenda setting in basic science. Research planning is conceived as a resource allocation decision in which resources are being allocated to activities directed towards the solution of basic scientific problems. A structuralist representation of scientific knowledge is employed to provide a relatively precise characterization of a basic scientific problem.The research reported here was partially supported by a grant from the EXXON Foundation.     

A Translation of Intuitionistic Predicate Logic into Basic Predicate Logic

Basic Predicate Logic, BQC, is a proper subsystem of Intuitionistic Predicate Logic, IQC. For every formula in the language {, , , , , , }, we associate two sequences of formulas 0,1,... and 0,1,... in the same language. We prove that for every sequent , there are natural numbers m, n, such that IQC , iff BQC n m. Some applications of this translation are mentioned.     

Care and the dynamics of social world

The concept of social world is formulated for the purpose of deepening our understanding of the dynamics of inclusion, exclusion, and care in interpersonal interaction. World is defined as an irreducible subject-object polarity.Social world is the extremely fragile environment within which people meet, and is easily destroyed. With special attention to family and church life, the conditions for maintaining or losing this environment are examined. Three levels of social world are defined. On the highest level, mutual care, rather than shared opinion, is seen as the factor that facilitates the preservation of social world in the face of world-threatening issues.     

Theorizing Gender for Experimental Game Theory: Experiments with “Sex Status” and “Merit Status” in an Asymmetric Game

In experimental game-theoretic research, to the extent that sex has been considered at all, the approach has been to focus on the individual level of analysis. This paper reports the results of experiments designed to focus on sex/gender and to expand the level of analysis to include the institutional level. An asymmetric game was designed such that players in the male and female institutional locations had 3 and 2 alternatives, respectively. Players earned the institutional locations based on a test, so that top and bottom scorers respectively merited the 3- and 2-alternatives locations. Game-theoretic understandings of sex-of-player were compared to the expectations states theory concept of sex status; that is, men expect and are expected to perform more competently than women. Results indicated that top-scorer men and women behave similarly; bottom-scorer men resist their low merit status (behaving the most rationally of all player groups); bottom-scorer women accept their low merit status (behaving the most irrationally of all player groups). Whereas game theory cannot provide a coherent understanding of these findings, the concept of sex status helps to interpret the behavior of all four player groups and shows how judgments about rationality and irrationality depend critically on the interpretive framework used.     

Model modification

An analysis of empirical data often leads to a rejection of a hypothesized model, even if the researcher has spent considerable efforts in including all available information in the formulation of the model. Thus, the researcher must reformulate the model in some way, but in most instances there is, at least theoretically, an overwhelming number of possible actions that could be taken. In this paper a modification index will be discussed which should serve as a guide in the search for a better model. In statistical terms, the index measures how much we will be able to reduce the discrepancy between model and data, as defined by a general fit function, when one parameter is added or freed or when one equality constraint is relaxed. The modification index discussed in this paper is an improvement of the one incorporated in the LISREL V computer program in that it takes into account changes in all the parameters of the model when one particular parameter is freed.The research reported in this paper has been supported by The Swedish Council for Research in the Humanities and Social Sciences under Research Program Multivariate Statistical Analysis, Project Director Karl G Jöreskog.     

Parameter estimation in latent trait models

Latent trait models for binary responses to a set of test items are considered from the point of view of estimating latent trait parameters=( ₁, , _n ) and item parameters=( ₁, , _k ), where _j may be vector valued. With considered a random sample from a prior distribution with parameter, the estimation of (, ) is studied under the theory of the EM algorithm. An example and computational details are presented for the Rasch model.This work was supported by Contract No. N00014-81-K-0265, Modification No. P00002, from Personnel and Training Research Programs, Psychological Sciences Division, Office of Naval Research. The authors wish to thank an anonymous reviewer for several valuable suggestions.     

On not knowing what or who one is: Reflections on the intelligibility of dualism

Beginning with Descartes' caution not imprudently to take some other object in place of myself, I consider first the problems of self-identification confronted by variousamnesiacs, both ordinary and Cartesian. Noting thatcogitationes as such do not individuate, I proceed to examine conclusions drawn from certain sorts of body-switching thought experiments. This, in turn, gives rise to a general critique of psychological connectedness or unity of consciousness as a candidate criterion of personal identity. I conclude that our ability to apply any notion of personal identity is parasitic upon the existence of a conceptual apparatus for individuating, identifying, and reidentifying objects. Finally, I argue that, if person is a proper sortal predicate to begin with, Descartes'res cogitans cannot be understood as a species of the (metaphysical) genusres, distinct fromres extensa and only problematically in interaction with it. Cartesian dualism is a multiply untenable doctrine.     

Groups to Resolve Conflicts Between Groups: Diplomacy with a Therapeutic Dimension

The group self, an individual's self-perception as a member of a group, is distinguished from the group's self, a personification of the group as a person with a self. The perceived group's self of an opposing other group is often a repository for attributes group members are not ready to recognize in their own group's self. Theoretically, the need for an adversarial other to hold one's own group's unwanted attributes—and thus to complete one's own group's self—contributes, however unconsciously, to the apparent intractability of intergroup disputes. In dealing with these issues, I compare intergroup conflict resolution (ICR) groups with therapy groups, on the one hand, and advocacy groups on the other. All of this sets the stage for a presentation of two ICR projects and their analysis in group-developmental terms.     

A further analysis of the affective meanings associated with male and female sex-trait stereotypes

This study was concerned with the qualitative differences in the male and female sex-trait stereotypes. Previous research employing the item pool of the Adjective Check List (ACL) had indicated no relationship between the stereotype loading of the adjectives and their favorability ratings. In the present study, university students rated the ACL items for strength and activity, and these ratings were used to demonstrate that the male stereotype was appreciably stronger and more active than the female stereotype. It was found that the strength ratings were highly correlated with both activity and favorability ratings which were, themselves, unrelated. It was concluded that the principal qualitative difference between the stereotypes lay in the connotations of activity and passivity associated, respectively, with the male and female stereotype traits, and that any assertion of greater social desirability for the male stereotype was based on its greater activity and not, as is often supposed, on its greater favorability.     

Family therapy for the “Truncated” nuclear family

The truncated nuclear family is the commonest or gardenvariety family psychopathology observed by therapists, and consists of a two-generation group in which heated, prolonged conflict has produced a polarization of values which has generated pathogenic relating, raising the potential for a family member to become scapegoated and react in a disorganized or disoriented manner. Although many so-called intact families are of the truncated variety, the single-parent family is at special risk. Go-between process is a useful family therapy for the truncated nuclear family because it enables the therapist to depolarize sharply conflicted values and is a mechanism for reducing pathogenic relating.This article was originally an invited presentation for the Third Annual Research Symposium of the Eastern Pennsylvania Psychiatric Institute, held in Philadelphia on February 22, 1980.     

In and behind a Lenneberg paradigm

Lenneberg suggested that a chimpanzee's linguistic ability could be tested by presenting sentences containing two prepositional phrases joined by a conjunction. This would involve joining two semantic propositions, and thus represents a more complex test of chimpanzee syntactic competence than previously attempted. Jane, a five year-old language trained chimpanzee, was tested on her ability to both produce and comprehend sentences involving a preposition (in or behind) and a conjunction (and). The results from production and comprehension were substantially the same. Jane showed the ability to appropriately deploy and, behind and in, but displayed very little flexibility in their use. It is suggested that a chimpanzee may be able to learn some rules of syntax but is not able to be creative with that syntax.     

Gender Stereotypes in Japanese Television Advertisements

The aim of this study was to reveal gender portrayal types in Japanese television advertisements through content analysis. Five hundred and thirty-one adult main characters were coded for sex, age, ethnic background, credibility, role, place, dress, background, persuasion type, camera work, camera angle, product type, target, and sex of voice-over. Five types were found by performing quick cluster analysis: beautiful and wise housewives, young ladies attracting people's attention, young celebrities, middle- and old-aged people enjoying private time, and middle-aged worker bee. The first three were mainly women and the latter two were mainly men. The results indicate that in Japanese television advertisements men and women are portrayed differently, and the differences correspond with traditional gender stereotypes.     

Linear programming techniques for multidimensional analysis of preferences

This paper offers a new methodology for analyzing individual differences in preference judgments with regard to a set of stimuli prespecified in a multidimensional attribute space. The individual is modelled as possessing an ideal point denoting his most preferred stimulus location in this space and a set of weights which reveal the relative saliences of the attributes. He prefers those stimuli which are closer to his ideal point (in terms of a weighted Euclidean distance measure). A linear programming model is proposed for external analysisi.e., estimation of the coordinates of his ideal point and the weights (involved in the Euclidean distance measure) by analyzing his paired comparison preference judgments on a set of stimuli, prespecified by their coordinate locations in the multidimensional space. A measure of poorness of fit is developed and the linear programming model minimizes this measure overall possible solutions. The approach is fully nonmetric, extremely flexible, and uses paired comparison judgments directly. The weights can either be constrained nonnegative or left unconstrained. Generalizations of the model to consider ordinal or interval preference data and to allow an orthogonal transformation of the attribute space are discussed. The methodology is extended to perform internal analysis,i.e., to determine the stimuli locations in addition to weights and ideal points by analyzing the preference judgments of all subjects simultaneously. Computational results show that the methodology for external analysis is unbiased—i.e., on an average it recovers the true ideal point and weights. These studies also indicate that the technique performs satisfactorily even when about 20 percent of the paired comparison judgments are incorrectly specified.The authors wish to express their deep appreciation to J. Douglas Carroll and Joseph B. Kruskal for their most valuable comments on an earlier version of this paper.     

No-common-cause EPR-like Funny Business in Branching Space-times

There is no EPR-like funny business if (contrary to apparent fact)our world is as indeterministic as you wish, but is free from theEPR-like quantum mechanical phenomena such as is sometimes described interms of superluminal causation or correlation between distant events.The theory of branching space-times can be used to sharpen thetheoretical dichotomy between EPR-like funny business and noEPR-like funny business. Belnap (2002) offered two analyses of thedichotomy, and proved them equivalent. This essay adds two more, bothconnected with Reichenbachs principle of the common cause, theprinciple that sends us hunting for a common-causal explanation ofdistant correlations. The two previous ideas of funny business and thetwo ideas introduced in this essay are proved to be all equivalent,which increases ones confidence in the stability of (and helpfulnessof) the BST analysis of the dichotomy between EPR-like funny businessand its absence.     

On finite approximability of ψ-intermediate logics

The aim of this note is to show (Theorem 1.6) that in each of the cases: = {, }, or {, , }, or {, , } there are uncountably many -intermediate logics which are not finitely approximable. This result together with the results known in literature allow us to conclude (Theorem 2.2) that for each : either all -intermediate logics are finitely approximate or there are uncountably many of them which lack the property.     

The Client Is the Most Important Common Factor: Clients' Self-Healing Capacities and Psychotherapy

I first briefly review the dodo bird verdict and suggest that we should be responding to it by looking for a new way to conceptualize how therapy works. Then I describe the dominant medical or treatment model of psychotherapy and how it puts the client in the position of a dependent variable who is operated on by supposedly potent therapeutic techniques. Next I argue that the data do not fit with this model. An alternative model is that the client is the most important common factor and that it is clients' self-healing capacities which make therapy work. I then argue that therapy has two phases—the involvement phase and the learning phase—and that the involvement phase is the most important. I next review the five learning opportunities provided by therapy. Finally, I argue that a relational model of therapy focused on consultation, collaboration, and dialogue is better than a treatment model.