A semantics may be compositional and yet partial, in the sense that not all well-formed expressions are assigned meanings by it. Examples come from both natural and formal languages. When can such a semantics be extended to a total one, preserving compositionality? This sort of extension problem was formulated by Hodges, and solved there in a particular case, in which the total extension respects a precise version of the fregean dictum that the meaning of an expression is the contribution it makes to the meanings of complex phrases of which it is a part. Hodges' result presupposes the so-called Husserl property, which says roughly that synonymous expressions must have the same category. Here I solve a different version of the compositional extension problem, corresponding to another type of linguistic situation in which we only have a partial semantics, and without assuming the Husserl property. I also briefly compare Hodges' framework for grammars in terms of partial algebras with more familiar ones, going back to Montague, which use many-sorted algebras instead.
John–Michael Kuczynski says the "paradox of analysis" can be resolved with the proper definition of "partial knowledge." He says that this definition will not do: (K) S has partial knowledge of x = df S knows some, but not all, of x 's parts. He offers an alternative account of incomplete or partial knowledge. I argue here that: (a) Kuczynski's chief criticisms of (K) are defective; (b) his proposed solution to the paradox of analysis has no clear application to the paradox in its familiar forms; and (c) his solution may not avoid the puzzle about partial knowledge it was designed to resolve. 相似文献
Given a Masters partial credit item withn known step difficulties, conditions are stated for the existence of a set of (locally) independent Rasch binary items such that their raw score and the partial credit raw score have identical probability density functions. The conditions are those for the existence ofn positive values with predetermined elementary symmetric functions and include the requirement that then step difficulties form an increasing sequence. 相似文献
The item response function (IRF) for a polytomously scored item is defined as a weighted sum of the item category response functions (ICRF, the probability of getting a particular score for a randomly sampled examinee of ability ). This paper establishes the correspondence between an IRF and a unique set of ICRFs for two of the most commonly used polytomous IRT models (the partial credit models and the graded response model). Specifically, a proof of the following assertion is provided for these models: If two items have the same IRF, then they must have the same number of categories; moreover, they must consist of the same ICRFs. As a corollary, for the Rasch dichotomous model, if two tests have the same test characteristic function (TCF), then they must have the same number of items. Moreover, for each item in one of the tests, an item in the other test with an identical IRF must exist. Theoretical as well as practical implications of these results are discussed.This research was supported by Educational Testing Service Allocation Projects No. 79409 and No. 79413. The authors wish to thank John Donoghue, Ming-Mei Wang, Rebecca Zwick, and Zhiliang Ying for their useful comments and discussions. The authors also wish to thank three anonymous reviewers for their comments. 相似文献
Consider an experiment in which a subject guesses repeatedly at a randomly chosen target on a continuum. To guarantee a positive probability of success, the continuum is partitioned into a finite but large number of segments. The subject is given directional feedback. General guessing strategies are characterized, and an optimal strategy is identified. The hypothesis that the subject's performance can be explained by chance alone is of interest in such experiments. A test is developed based on comparing the subject's performance to expected performance using the optimal strategy. A skill-scoring procedure is developed for assessing a subject's performance in light of the strategy used, and a test based on skill-scoring is advanced.Research by the first author is supported in part by the Air Force Office of Scientific Research under grant AFOSR 77-3180.The authors wish to thank the referees for remarks that led to improvements in both content and clarity. 相似文献
This paper concerns ordinal responses. An ordered Dirichlet distribution describes prior and posterior beliefs about the cumulative probabilities of response categories. Associating the response categories with intervals of a latent random variable then induces a distribution on the order statistics of that variable. The psychometrician can use the asymptotic theory of order statistics to learn how distributional assumptions about the latent variable effect inference. An example relates the skewness of a latent variable to the proportional odds and proportional hazards models of McCullagh [1980]. 相似文献
In this paper, it is shown that various violations of the 2-PL model and the nominal response model can be evaluated using the Lagrange multiplier test or the equivalent efficient score test. The tests presented here focus on violation of local stochastic independence and insufficient capture of the form of the item characteristic curves. Primarily, the tests are item-oriented diagnostic tools, but taken together, they also serve the purpose of evaluation of global model fit. A useful feature of Lagrange multiplier statistics is that they are evaluated using maximum likelihood estimates of the null-model only, that is, the parameters of alternative models need not be estimated. As numerical examples, an application to real data and some power studies are presented. 相似文献
The ISOP-model or model of twodimensional or bi-isotonicity (Scheiblechner, 1995) postulates that the probabilities of ordered response categories increase isotonically in the order of subject ability and item easiness. Adding a conventional cancellation axiom for the factors of subjects and items gives the ADISOP model where the c.d.f.s of response categories are functions of an additive item and subject parameter and an ordinal category parameter. Extending cancellation to the interactions of subjects and categories as well as of items and categories (independence axiom of the category factor from the subject and item factor) gives the CADISOP model (completely additive model) in which the parallel c.d.f.s are functions of the sum of subject, item and category parameters. The CADISOP model is very close to the unidimensional version of the polytomous Rasch model with the logistic item/category characteristic(s) replaced by nonparametric axioms and statistics. The axioms, representation theorems and algorithms for model fitting of the additive models are presented. 相似文献