We combine state-of-the-art techniques from computational linguisticsand theorem proving to build an engine for playing text adventures,computer games with which the player interacts purely through naturallanguage. The system employs a parser for dependency grammar and ageneration system based on TAG, and has components for resolving andgenerating referring expressions. Most of these modules make heavy useof inferences offered by a modern theorem prover for descriptionlogic. Our game engine solves some problems inherent in classical textadventures, and is an interesting test case for (...) the interactionbetween natural language processing and inference. (shrink)
Two decades have passed since the first attempts were made to establish systematic ethical review of human research in the Baltic States. Legally and institutionally much has changed. In this paper we provide an historical and structural overview of ethical review of human research and identify some problems related to the role of ethical review in establishing quality research environment in these countries. Problems connected to (a) public availability of information, (b) management of conflicts of interest, (c) REC composition and (...) motivation of REC members, and (d) differing levels of stringency of ethical review for different types of studies, are identified. Recommendations are made to strengthen cooperation among the Baltic RECs. (shrink)
The “explanatory gap” is proposed to be the “hard problem” of consciousness research and has generated a great deal of recent debate. Arguments brought forward to reveal this gap include the conceivability of zombies or the “super-neuroscientist” Mary. These are supposed to show that the facts of consciousness are not a priori entailed by the microphysical facts. Similar arguments were already proposed by emergence theories in the context of the debate between mechanism and vitalism. According to synchronic emergentism, the property (...) of a system is emergent, when it cannot - in principle - be deduced from a complete description of the system’s components. Here, I argue that apart from phenomenal properties there are many other properties that, even though they are clearly physical, are not reductively explainable either. The explanatory gap of consciousness is therefore only a part of a much more general problem. (shrink)
Spinoza scholars have claimed that we are faced with a dilemma: either Spinoza's definitions in his Ethics are real, in spite of indications to the contrary, or the definitions are nominal and the propositions derived from them are false. I argue that Spinoza did not recognize the distinction between real and nominal definitions. Rather, Spinoza classified definitions according to whether they require a priori or a posteriori justification, which is a classification distinct from either the real/nominal or the intensional/extensional classification. (...) I argue that Spinoza uses both a priori and a posteriori definitions in the Ethics and that recognizing both types of definitions allows us to understand Spinoza's geometric method in a new way. We can now understand the geometric method as two methods, one resulting in propositions that Spinoza considers to be absolutely certain and another resulting in propositions that Spinoza does not consider certain. The latter method makes use of a posteriori definitions and postulates, whereas the former method uses only a priori definitions and axioms. (shrink)
Sandra Harding's feminist standpoint epistemology makes two claims. The thesis of epistemic privilege claims that unprivileged social positions are likely to generate perspectives that are “less partial and less distorted” than perspectives generated by other social positions. The situated knowledge thesis claims that all scientific knowledge is socially situated. The bias paradox is the tension between these two claims. Whereas the thesis of epistemic privilege relies on the assumption that a standard of impartiality enables one to judge some perspectives as (...) better than others, the situated knowledge thesis seems to undermine this assumption by suggesting that all knowledge is partial. I argue that a contextualist theory of epistemic justification provides a solution to the bias paradox. Moreover, contextualism enables me to give empirical content to the thesis of epistemic privilege, thereby making it into a testable hypothesis. (shrink)
Self-consciousness can be defined as the ability to think 'I'-thoughts. Recently, it has been suggested that self-consciousness in this sense can (and should) be accounted for in terms of nonconceptual forms of self-representation. Here, I will argue that while theories of nonconceptual self-consciousness do provide us with important insights regarding the essential genetic and epistemic features of self-conscious thought, they can only deliver part of the full story that is required to understand the phenomenon of self-consciousness. I will provide two (...) arguments to this effect, drawing on insights from the philosophy of language and on structural differences between conceptual and nonconceptual forms of representation. Both arguments rest on the intuition that while self-consciousness requires explicit self-representation, nonconceptual content can at best provide implicit self-related information. I will conclude that in order to explain the emergence of self-conscious thought out of more basic forms of representations one has to explain the transition between implicit self-related information and explicit self-representation. (shrink)
The author claims that concept possession is not only necessary but also sufficient for self-consciousness, where self-consciousness is understood as the awareness of oneself as a self. Further, he links concept possession to intelligent behavior. His ultimate aim is to provide a framework for the study of self-consciousness in infants and non-human animals. I argue that the claim that all concepts are necessarily related to the self-concept remains unconvincing and suggest that what might be at issue here are not so (...) much conceptual but rather metacognitive abilities. (shrink)
Kant’s theory of arithmetic is not only a central element in his theoretical philosophy but also an important contribution to the philosophy of arithmetic as such. However, modern mathematics, especially non-Euclidean geometry, has placed much pressure on Kant’s theory of mathematics. But objections against his theory of geometry do not necessarily correspond to arguments against his theory of arithmetic and algebra. The goal of this article is to show that at least some important details in Kant’s theory of arithmetic can (...) be picked up, improved by reconstruction and defended under a contemporary perspective: the theory of numbers as products of rule following construction presupposing successive synthesis in time and the theory of arithmetic equations, sentences or “formulas”—as Kant says—as synthetic a priori. In order to do so, two calculi in terms of modern mathematics are introduced which formalise Kant’s theory of addition as a form of synthetic operation. (shrink)
This paper distinguishes between implicit self-related information and explicit self-representation and argues that the latter is required for self-consciousness. It is further argued that self-consciousness requires an awareness of other minds and that this awareness develops over the course of an increasingly complex perspectival differentiation, during which information about self and other that is implicit in early forms of social interaction becomes redescribed into an explicit format.
: It is now recognized that relations of trust play an epistemic role in science. The contested issue is under what conditions trust in scientific testimony is warranted. I argue that John Hardwig's view of trustworthy scientific testimony is inadequate because it does not take into account the possibility that credibility does not reliably reflect trustworthiness, and because it does not appreciate the role communities have in guaranteeing the trustworthiness of scientific testimony.
In recent years, feminist philosophy of science has been subjected to criticism. The debate has focused on the implications of the underdetermination thesis for accounts of the role of social values in scientific reasoning. My aim here is to offer a different approach. I suggest that feminist philosophers of science contribute to our understanding of science by (1) producing gender‐sensitive analyses of the social dimensions of scientific inquiry and (2) examining the relevance of these analyses for normative issues in philosophy (...) of science. (shrink)
An analysis of group justification enables us to understand what it means to say that a research group is justified in making a claim on the basis of evidence. I defend Frederick Schmitt's (1994) joint account of group justification by arguing against a simple summative account of group justification. Also, I respond to two objections to the joint account, one claiming that social epistemologists should always prefer the epistemic value of making true judgments to the epistemic value of maintaining consistency, (...) and another one claiming that the notion of joint commitment implicit in the joint account is epistemically unacceptable. (shrink)
: As a response to the critics of feminist science studies I argue that it is possible to formulate empirical hypotheses about gender ideology in the practice of the physical sciences without (1) reinforcing stereotypes about women and mathematical sciences or (2) assuming at the outset that the area of physics under investigation is methodologically suspect. I will then critically evaluate two case studies of gender ideology in the practice of the physical sciences. The case studies fail to show that (...) gender ideologies have influenced the practice of the physical sciences in a profound way--not because it is impossible to conceive how gender ideologies could influence the practice of the physical sciences even in a profound way--but because they do not provide the right kind of evidence. This, however, leaves open the possibility that future studies might provide such evidence. (shrink)
What effect does witnessing other students cheat have on one's own cheating behavior? What roles do moral attitudes and neutralizing attitudes (justifications for behavior) play when deciding to cheat? The present research proposes a model of academic dishonesty which takes into account each of these variables. Findings from experimental (vignette) and survey methods determined that seeing others cheat increases cheating behavior by causing students to judge the behavior less morally reprehensible, not by making rationalization easier. Witnessing cheating also has unique (...) effects, controlling for other variables. (shrink)
This paper examines parents experiences of medical decision-making and coping with having a critically ill baby in the Neonatal Intensive Care Unit (NICU) from a cross-cultural perspective (France vs. U.S.A.). Though parents experiences in the NICU were very similar despite cultural and institutional differences, each system addresses their needs in a different way. Interviews with parents show that French parents expressed overall higher satisfaction with the care of their babies and were better able to cope with the loss of their (...) child than American parents. Central to the French parents perception of autonomy and their sense of satisfaction were the strong doctor–patient relationship, the emphasis on medical certainty in prognosis versus uncertainty in the American context, and the sentimental work" provided by the team. The American setting, characterized by respect for parental autonomy, did not necessarily translate into full parental involvement in decision-making, and it limited the rapport between doctors and parents to the extent of parental isolation. This empirical comparative approach fosters a much-needed critique of philosophical principles by underscoring, from the parents perspective, the lack of emotional work" involved in the practice of autonomy in the American unit compared to the paternalistic European context. Beyond theoretical and ethical arguments, we must reconsider the practice of autonomy in particularly stressful situations by providing more specific means to cope, translating the impersonal language of rights" and decision-making into trusting, caring relationships, and sharing the responsibility for making tragic choices. (shrink)
Orthodox Christianity has often been understood as not pertaining to Modernity due to its different historical and theological trajectory. This essay disputes such a view with regard to 20th century Orthodox thought, which it examines from the point of view of a sociology of Modernity in order to identify where Orthodox thinkers of the Russian Diaspora and in Russia today position themselves in relation to modern society and philosophy. Two essentially modern positions within Orthodoxy are singled out: an institutional and (...) an ontological response to the modernist paradigm. (shrink)
The “Model for Reaching Ethical Judgments in the context of Modern Technologies — the Case of Genetic Technology”, which is presented here, has arisen from the project “Ethical Criteria bearing upon Decisions taken in the field of Biotechnology”. This project has been pursued since 1991 in the Zentrum für interdisziplinäre Technikforschung (ZIT) of the Technical University of Darmstadt, with the purpose of examining decision-making in selected activities involving the production of transgenic plants that have a useful application. The model is (...) the basis of an outline for interviews to investigate how far decisions concerning the development of such plants with genetic techniques take ethical criteria into account. It was necessary to design this new model because other models for reaching judgments of this kind were not conceptually suited for concrete application. This model represents a problem related approach and combines methodological with substantive typology. In this it differs from comparable models for reaching ethical judgments. (shrink)
LF has been designed as a meta-logical framework to represent logics, and has become a standard tool for studying properties of logics. Building on the newly introduced module system for LF, we present the nucleus of an integrated and structured development of the syntax, semantics, and proof theory of logics, and of the relations between those logics. The methodology is chosen so that it will scale to an atlas for the zoo of logics currently used in reasoning systems, and the (...) modular nature of this development aids the practical integration of systems because shared features of the logics are reused directly. Finally we show how these encodings in LF are imported into the Hets system, which provides automated proof support on the modular level and integrates various automated theorem provers for the represented object logics. (shrink)
When perceiving a face, we can easily decide whether it belongs to a human or non-human primate. It is thought that face information is represented by neurons in the macaque temporal cortex. However, the precise encoding mechanisms used by these neurons remain unclear. Here we use face stimuli of humans, monkeys and monkey-human hybrids (morphs) to gain a better understanding of these mechanisms, in particular of the categorization of faces into different species, and how learning affects representation of these stimuli.
For millennia, human beings have believed that it is morally wrong to judge others by the fortuitous or unfortunate events that befall them or by the actions of another person. Rather, an individual’s own intended, deliberate actions should be the basis of his or her evaluation, reward, and punishment. In a series of studies, the authors investigated whether such rules guide the judgments of children. The first 3 studies demonstrated that children view lucky others as more likely than unlucky others (...) to perform intentional good actions. Children similarly assess the siblings of lucky others as more likely to perform intentional good actions than the siblings of unlucky others. The next 3 studies demonstrated that children as young as 3 years believe that lucky people are nicer than unlucky people. The final 2 studies found that Japanese children also demonstrate a robust preference for the lucky and their associates. These findings are discussed in relation to M. J. Lerner’s (1980) just-world theory and J. Piaget’s (1932/1965) immanent-justice research and in relation to the development of intergroup attitudes. (shrink)
Kristina Toutanova Christopher D. Manning Dept of Computer Science Depts of Computer Science and Linguistics Gates Bldg 4A, 353 Serra Mall Gates Bldg 4A, 353 Serra Mall Stanford, CA 94305–9040, USA Stanford, CA 94305–9040, USA email@example.com firstname.lastname@example.org..
Many NLP tasks rely on accurately estimating word dependency probabilities P(w1|w2), where the words w1 and w2 have a particular relationship (such as verb-object). Because of the sparseness of counts of such dependencies, smoothing and the ability to use multiple sources of knowledge are important challenges. For example, if the probability P(N |V ) of noun N being the subject of verb V is high, and V takes similar objects to V , and V is synonymous to V , then (...) we want to conclude that P(N |V ) should also be reasonably high—even when those words did not cooccur in the training data. (shrink)
We present a machine learning approach to robust textual inference, in which parses of the text and the hypothesis sentences are used to measure their asymmetric “similarity”, and thereby to decide if the hypothesis can be inferred. This idea is realized in two different ways. In the ﬁrst, each sentence is represented as a graph (extracted from a dependency parser) in which the nodes are words/phrases, and the links represent dependencies. A learned, asymmetric, graph-matching cost is then computed to measure (...) the similarity between the text and the hypothesis. In the second approach, the text and the hypothesis are parsed into the logical formula-like representation used by (Harabagiu et al., 2000). An abductive theorem prover (using learned costs for making different types of assumptions in the proof) is then applied to try to infer the hypothesis from the text, and the total “cost” of proving the hypothesis is used to decide if the hypothesis is entailed. (shrink)
: This essay is a collection of my experiences of and reflections on being pregnant and choosing to place the child for open adoption. The piece was started late in the term of my pregnancy and completed about a week before the birth.
This paper examines feature selection for log linear models over rich constraint-based grammar (HPSG) representations by building decision trees over features in corresponding probabilistic context free grammars (PCFGs). We show that single decision trees do not make optimal use of the available information; constructed ensembles of decision trees based on different feature subspaces show signiﬁ- cant performance gains (14% parse selection error reduction). We compare the performance of the learned PCFG grammars and log linear models over the same features.
The knowledge of the Greek by the Carolingians was well studied by the modern scholars. This article focuses on the third generation of intellectuals from this period, on their attitude towards Greek language and the ways it was used in the classrooms. Despite the negative view of the Greek knowledge by some of his contemporaries, Sedulius Scottus appears to be an intellectual interested in the Greek thought that he collected from the different Latin sources like Macrobius, for instance. His awareness (...) of the definition of the soul by Plato leads him to state some philosophical ideas as an active principle for the essence of beings and things. (shrink)
This paper studies the properties and performance of models for estimating local probability distributions which are used as components of larger probabilistic systems — history-based generative parsing models. We report experimental results showing that memory-based learning outperforms many commonly used methods for this task (Witten-Bell, Jelinek-Mercer with ﬁxed weights, decision trees, and log-linear models). However, we can connect these results with the commonly used general class of deleted interpolation models by showing that certain types of memory-based learning, including the kind (...) that performed so well in our experiments, are instances of this class. In addition, we illustrate the divergences between joint and conditional data likelihood and accuracy performance achieved by such models, suggesting that smoothing based on optimizing accuracy directError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMapError: Illegal entry in bfrange block in ToUnicode CMaply might greatly improve performance. (shrink)
Observations and experiments show that human adults preferentially share resources with close relations, with people who have shared with them (reciprocity), and with people who have shared with others (indirect reciprocity). These tendencies are consistent with evolutionary theory but could also reﬂect the shaping eﬀects of experience or instruction in complex, cooperative, and competitive societies. Here, we report evidence for these three tendencies in 3.5-year-old children, despite their limited experience with complex cooperative networks. Three pillars of mature cooperative behavior therefore (...) appear to have roots extending deep into human development. Ó 2007 Elsevier B.V. All rights reserved. (shrink)
The LinGO Redwoods initiative is a seed activity in the design and development of a new type of treebank. A treebank is a (typically hand-built) collection of natural language utterances and associated linguistic analyses; typical treebanks—as for example the widely recognized Penn Treebank (Marcus, Santorini, & Marcinkiewicz, 1993), the Prague Dependency Treebank (Hajic, 1998), or the German TiGer Corpus (Skut, Krenn, Brants, & Uszkoreit, 1997)—assign syntactic phrase structure or tectogrammatical dependency trees over sentences taken from a naturally-occuring source, often newspaper (...) text. Applications of existing treebanks fall into two broad categories: (i) use of an annotated corpus in empirical linguistics as a source of structured language data and distributional patterns and (ii) use of the treebank for the acquisition (e.g. using stochastic or machine learning approaches) and evaluation of parsing systems. While several medium- to large-scale treebanks exist for English (and some for other major languages), all pre-existing publicly available resources exhibit the following limitations: (i) the depth of linguistic information recorded in these treebanks is comparatively shallow, (ii) the design and format of linguistic representation in the treebank hard-wires a small, predeﬁned range of ways in which information.. (shrink)
This paper discusses ensembles of simple but heterogeneous classiﬁers for word-sense disambiguation, examining the Stanford-CS224N system entered in the SENSEVAL-2 English lexical sample task. First-order classiﬁers are combined by a second-order classiﬁer, which variously uses majority voting, weighted voting, or a maximum entropy model. While individual ﬁrst-order classiﬁers perform comparably to middle-scoring teams’ systems, the combination achieves high performance. We discuss trade-offs and empirical performance. Finally, we present an analysis of the combination, examining how ensemble performance depends on error independence (...) and task difﬁculty. (shrink)
Colic may allow infants to obtain additional investment from their parents. The lack of clear fitness costs of colic and of differences in condition between colicky and non-colicky infants is inconsistent with the hypotheses that colic is an honest signal of need or vigor. These and other characteristics of colic, however, are consistent with the hypothesis that colic is a manipulative signal.
This report details experimental results of using stochastic disambiguation models for parsing sentences from the Redwoods treebank (Oepen et al., 2002). The goals of this paper are two-fold: (i) to report accuracy results on the more highly ambiguous latest version of the treebank, as compared to already published results achieved by the same stochastic models on a previous version of the corpus, and (ii) to present some newly developed models using features from the HPSG signs, as well as the MRS (...) dependency graphs. (shrink)
Adults apply ownership not only to objects but also to ideas. But do people come to apply principles of ownership to ideas because of being taught about intellectual property and copyrights? Here, we investigate whether children apply rules from physical property ownership to ideas. Studies 1a and 1b show that children (6–8 years old) determine ownership of both objects and ideas based on who first establishes possession of the object or idea. Study 2 shows that children use another principle of (...) object ownership, control of permission—an ability to restrict others’ access to the entity in question—to determine idea ownership. In Study 3, we replicate these findings with different idea types. In Study 4, we determine that children will not apply ownership to every entity, demonstrating that they do not apply ownership to a common word. Taken together, these results suggest that, like adults, children as young as 6 years old apply rules from ownership not only to objects but to ideas as well. (shrink)