Game logic and its applications I

This paper provides a logic framework for investigations of game theoretical problems. We adopt an infinitary extension of classical predicate logic as the base logic of the framework. The reason for an infinitary extension is to express the common knowledge concept explicitly. Depending upon the choice of axioms on the knowledge operators, there is a hierarchy of logics. The limit case is an infinitary predicate extension of modal propositional logic KD4, and is of special interest in applications. In Part I, we develop the basic framework, and show some applications: an epistemic axiomatization of Nash equilibrium and formal undecidability on the playability of a game. To show the formal undecidability, we use a term existence theorem, which will be proved in Part II.The authors thank Hiroakira Ono for helpful discussions and encouragements from the early stage of this research project, and Philippe Mongin, Mitio Takano and a referee of this journal for comments on earlier versions of this paper. The first and second authors are partially supported, respectively, by Tokyo Center of Economic Research and Grant-in-Aids for Scientific Research 04640215, Ministry of Education, Science and Culture.Presented by H. Ono     

Physical characteristics of residential psychiatric and substance abuse programs: Organizational determinants and patient outcomes

Described the Physical and Architectural Characteristics Inventory (PACI), which assesses the physical characteristics of hospital- and community-based psychiatric and substance abuse residential treatment programs for adults. Developed using data from 94 representative programs, the PACI has 7 dimensions that assess community accessibility, physical features that add convenience, aid recreation, and provide support for patients, and space for patient and staff functions. In comparison to community-based programs (n=63), hospital programs (n=31) had more social-recreational and prosthetic aids, safety features, staff facilities, and space. The PACI dimensions were also related to other organizational features, such as facility ownership and program size and staffing level. Programs with more physical amenities had patients who were more involved in self-initiated and community activities and were more likely to successfully complete the program and be discharged to independent living situations and paid jobs. Programs with more social-recreational and prosthetic aids, space, and access to community resources also had better patient outcomes. In addition, PACI dimensions were related to observers' ratings of facility attractiveness. Potential applications of the PACI and the full inventory of which it is a part are discussed.     

THE BEHAVIOR OBSERVATION INSTRUMENT: A METHOD OF DIRECT OBSERVATION FOR PROGRAM EVALUATION1

The background and development of a multicategory direct observation system, the Behavior Observation Instrument (BOI), is described. This time-sampling procedure for recording the behavior of persons is demonstrated in several treatment settings and the results applied to issues of program evaluation. Elements that have prevented direct observation from being widely adopted, such as costs, manpower, and training requirements, are systematically analyzed. A basic psychometric analysis of the instrument is used to determine optimum frequency and duration of observation intervals as well as observer agreement. The results imply that direct observation methods, once assumed by some to belong to the special province of the single-subject design, can be used to assess the effects of programs on groups of psychiatric clients in an efficient and economic manner.     

ACCEPTABILITY OF ALTERNATIVE TREATMENTS FOR DEVIANT CHILD BEHAVIOR

The acceptability of alternative treatments for deviant child behavior was evaluated in two experiments. In each experiment, clinical cases were described to undergraduate students along with four different treatments in a Replicated Latin Square Design. The treatments included reinforcement of incompatible behavior, time out from reinforcement, drug therapy, and electric shock and the treatments were described as they were applied to children with problem behaviors. Experiment 1 developed an assessment device to evaluate treatment acceptability and examined whether treatments were rated as differentially acceptable. Experiment 2 replicated the first experiment and examined whether the severity of the presenting clinical problem influenced ratings of acceptability. The results indicated that treatments were sharply distinguished in overall acceptability. Reinforcement of incompatible behavior was more acceptable than other treatments which followed, in order, time out from reinforcement, drug therapy, and electric shock. Case severity influenced acceptability of alternative treatments with all treatments being rated as more acceptable with more severe cases. However, the strength of case severity was relatively small in relation to the different treatment conditions themselves which accounted for large portions of variance.     

EVALUATION OF BIOFEEDBACK IN THE TREATMENT OF BORDERLINE ESSENTIAL HYPERTENSION1

Direct biofeedback of blood pressure was compared with frontal EMG biofeedback and with self-instructed relaxation for the treatment of essential hypertension in a controlled group outcome study. Patients were followed up for four months after the end of treatment. Generalization of treatment effects was assessed through pre- and posttreatment measurements of blood pressure under clinical conditions in a physician's office. There were no significant reductions in diastolic blood pressure. The systolic blood pressure (SBP) of the patients receiving blood pressure biofeedback decreased 8.1 mm mercury (p = 0.07) and the SBP of the patients in the relaxation condition decreased 9.5 mm mercury (p = 0.05). In the generalization measures, there were significant reductions in SBP for the relaxation group. The results are discussed in terms of the general lack of replicability within the area of biofeedback treatment of hypertension.     

New assessment systems for residential treatment,management, research,and evaluation: A symposium

An introduction and overview are presented to new observational assessment systems for ongoing assessment and monitoring of both staff and resident (client or patient) functioning in residential treatment programs for emotionally disturbed and mentally retarded adults.Preparation of articles and the research and development on which the articles are based was supported, in part, by Public Health Service Grants MH-15553 and MH-25464 from the National Institute of Mental Health, and by grants from the Joyce Foundation and the Illinois Department of Mental Health and Developmental Disabilities.A symposium presented at the 87th Annual Meetings of the American Psychological Association, New York City, September 1979.     

Systems use to objectify program evaluation,clinical, and management decisions

The utility of the observational assessment systems at different levels — from local clinical to systemwide management — is outlined. An overview is provided of TSBC information applied to individualized problem identification and programming/monitoring, discharge and competency determinations, and both absolute and comparative program evaluation. The utility of SRIC information for prgoramming/monitoring and for staff training and evaluation is outlined in addition to the applied uses of the information of the assessment systems in combination. Once implemented, the continuous data from the systems allow for empirically based self-corrective improvements in the quality of mental health services while automatically providing a basis for legal documentation and accurate cost/effectiveness comparisons of mental health programs.Preparation of this article and the research and development on which the article is based were supported, in part, by Public Health Service Grants MH-15553 and MH-25464 from the National Institute of Mental Health, and by grants from The Joyce Foundation and the Illinois Department of Mental Health and Developmental Disabilities.Presented at the 87th Annual Meetings of the American Psychological Association, New York City, September 1979, as part of a symposium on New assessment systems for residential treatment, management, research, and evaluation.     

COMPARING TREATMENT TACTICS WITH A HYPERACTIVE PRESCHOOL CHILD: STIMULANT MEDICATION AND PROGRAMMED TEACHER INTERVENTION1

Two treatment tactics, food and praise contingent on appropriate play and varying doses of methylphenidate (Ritalin), were evaluated for their effects on a preschool child's activity changes. In addition, other social, verbal, and academic behaviors were monitored to examine possible side effects of the two treatment tactics. Fewer free-play activity changes occurred during contingent reinforcement phases while medication had variable effects: increasing attention to tasks but, at higher doses, decreasing intelligibility of speech and responsiveness to mands. The study outlines a replicable model for comparing medication with alternative behavioral strategies to control hyperactivity and enhance skill development.     

Rate and temporal pattern of key pecking under autoshaping and omission schedules of reinforcement

The role of response-reinforcer contiguity on autoshaped key pecking in pigeons was studied by scheduling response-dependent nonreinforcement at the beginning or the end of brief (8-sec) discrete trials. Schedules that permitted chance conjunctions of key pecking and food sustained high rates of responding, whereas those that prevented the occurrence of key peck-food intervals shorter than 4 sec sustained low response rates. In addition, selective reinforcement schedules supported accelerating or decelerating rates of responding within individual trials. These effects were traceable to response-reinforcer (operant), but not stimulus-reinforcer (respondent) factors.