Referenzsemantik in der Partnermodellierung

How can we explain that an assertion on something perceived can be understood in the same manner by somebody who cannot perceive that scene? This problem bases the interest in computational linguistics in how listener modeling could possibly be harmonized with reference semantics. Mental images substituting real perception appear as a way out. The architecture of the listener model has to be adapted to the creation and use of such pictorial data structures. Furthermore, the relation between the latter and a verbal (i. e., propositional) representation must be understood. The resulting architecture of a listener model with reference semantics can be employed to solve communicational problems from three general classes in a better way, as is demonstrated by an example implementation.     

The Development of a Clinical Rating Scale the McMaster Model of Family Functioning

This article describes the development and validation of the McMaster Clinical Rating Scale (MCRS). The MCRS is a 7-item scale designed to be completed by a trained rater after completion of an in-depth interview of the family. We present data from four new studies and review previously published articles concerning the reliability, validity, and clinical utility of the MCRS. Adequate interrater reliability and rater stability were obtained. The MCRS was found to correlate significantly with the self-report Family Assessment Device and to discriminate between families in different phases of a depressive disorder.     

ON ULTIMATE EPISTEMIC FOUNDATIONS1

This paper is a contribution to the debate on epistemic foundationalism. Section I expounds and criticises Hans Albert's critical rationalist antifoundationalism position. Section I1 discusses Karl-Otto Apel's ‘transcendental pragmatic’ argument for ultimate epistemic foundations. Section III suggests how the latter argument can be restated so as to avoid ambiguity and yield a plausible case for epistemic foundationalism.     

Extraction of relief from visual motion

We quantified the ability of human subjects to discriminate the relative distance of two points from a slanted plane when viewing the projected velocities of this scene (orthographic projection). The relative distance from a plane (called relief) is a 3-D property that is invariant under linear (affine) transformations. As such, relief canin principle be extracted from the instantaneous projected velocity field; a metric representation, which requires the extraction of visual acceleration, is not required. The stimulus consisted of a slanted planeP (specified by three points) and two pointsQ ₁ andQ ₂ that are non-coplanar withP. This configuration of points oscillated rigidly around the vertical axis. We have measured thesystematic error andaccuracy with which human subjects estimate the relative distance of pointsQ ₁ andQ ₂ from planeP as a function of the slant of_P. The systematic error varies with slant: it is low for small slant values, reaches a maximum for medium slant values, and drops again for high slant values. The accuracy covaries with the systematic error and is thus high for small and large slant values and low for medium slant values. These results are successfully modeled by a simple relief-from-motion computation based on local estimates of projected velocities. The data are well predicted by assuming (1) a measurement error in velocity estimation that varies proportionally to velocity (Weber’s law) and (2) an eccentricity-dependent underestimation of velocity.     

The dynamics of Prägnanz

Summary There is quite wide-spread agreement about the relevance of pattern Pragnanz (Koffka, 1935) with respect to the human interpretation of visual patterns. There is less agreement about whether pattern Pragnanz is based solely on pattern information (static) or also on the history of the perceiver (dynamic). In Van Leeuwen and Van den Hof (1991), experimental data concerning serial patterns are presented within the framework of the dynamic-network approach initiated by Buffart (1986, 1987). These experimental data are claimed to give evidence against the static-coding approach initiated by Leeuwenberg (1969, 1971). In the present paper, however, I show first that Buffart's theoretical basis is incorrect, and that in fact Leeuwenberg's static-coding approach is the basis for the dynamic-network approach. Second, I show that those experimental data rather give evidence in favor of the static-coding approach, by using those same data for a test of the most recent static-coding model (Van der Helm & Leeuwenberg, 1991; Van der Helm, Van Lier, & Leeuwenberg, 1992). Finally, I propose a reconciliation between the two approaches, in the sense that the dynamic-network model could be shaped in such a way that it yields a simulation, and maybe even an enrichment, of the static-coding model.     

Cut-free sequent and tableau systems for propositional Diodorean modal logics

We present sound, (weakly) complete and cut-free tableau systems for the propositional normal modal logicsS4.3, S4.3.1 andS4.14. When the modality is given a temporal interpretation, these logics respectively model time as a linear dense sequence of points; as a linear discrete sequence of points; and as a branching tree where each branch is a linear discrete sequence of points.Although cut-free, the last two systems do not possess the subformula property. But for any given finite set of formulaeX the superformulae involved are always bounded by a finite set of formulaeX* _L depending only onX and the logicL. Thus each system gives a nondeterministic decision procedure for the logic in question. The completeness proofs yield deterministic decision procedures for each logic because each proof is constructive.Each tableau system has a cut-free sequent analogue proving that Gentzen's cut-elimination theorem holds for these latter systems. The techniques are due to Hintikka and Rautenberg.Presented byDov M. Gabbay