The CEC is a research initiative at CSLI which is devoted to studying explanations of consciousness. The CEC hosts talks and symposia from a variety of viewpoints exploring the nature of conscious experience. We also sponsor reading groups during the term, led by faculty and graduate students.
The Computational Semantics Laboratory works on research projects involving semantics -- the study of meaning -- at the intersection of linguistics and computer science. A unifying theme in the lab's research is an emphasis on the role of context in determining meaning. The lab has particular interest in theoretical models of communication, language, dialogue, computation, and inference which take into account the context in which these activities are occurring.
Knowing what a text means involves drawing inferences based in the information in the text. Our group works on inferential properties of linguistic expressions to enable automated reasoning for NL understanding.
Our group works on inferential properties of linguistic expressions to enable automated reasoning for NL understanding.
We want to contribute to the theoretical understanding of how language and reasoning interact and to the computational modeling of such interactions.
Currently we concentrate on:
The CSLI LinGO Lab is committed to the development of linguistically precise grammars based on the HPSG framework, and general-purpose tools for use in grammar engineering, profiling, parsing and generation. Early work in the CSLI LinGO Lab focused on the construction of a general-purpose grammar of English in the form of the English Resource Grammar (or ERG), and on further development of the LKB grammar engineering system. The LKB was also used at CSLI as the testbed for a number of teaching grammars and smaller-scale grammars for other languages including Japanese and Spanish.
LDL research concentrates on applications of logic, especially modal logics and dynamic logics, for modeling aspects of rational agency—from knowledge, belief, and information to action, intention, and games.
Located in Cordura Hall at Stanford's Center for the Study of Language and Information (CSLI), the Spoken Syntax Lab provides resources for collaborative work on syntax using multiple sources of evidence and modern statistical models. The Lab is developing repositories of aligned phonetic, parsed, and contextualized data as well as advanced search and analysis tools.
From its inception, the SEP was designed so that each entry is maintained and kept up to date by an expert or group of experts in the field. All entries and substantive updates are refereed by the members of a distinguished Editorial Board before they are made public. Consequently, our dynamic reference work maintains academic standards while evolving and adapting in response to new research.
Suppes Brain Lab research program is focused in three main areas. The first is the continued study of language in the brain. The second area has required the acquisition of new and as yet not widely tested, EEG equipment to record simultaneously two participants. The third area of research is continual theoretical research on the applications of weakly coupled phase oscillators, as models of brain computations to our current experiments.
The Metaphysics Research Lab consists of a group of researchers located around the world collaborating with Edward N. Zalta on the axiomatic theory of abstract objects. This theory consists of principles that govern the abstract objects presupposed in the natural sciences, such as mathematical objects and relations, possible states, possible and future objects, etc.
The Openproof project at Stanford's Center for the Study of Language and Information (CSLI) is concerned with the application of software to problems in logic. Since the early 1980's we have been developing applications in logic education which are both innovative and effective. The development of these courseware packages has in turn informed and influenced our research agenda.