Author: SRI International
-
Criteria For Designing Computer Facilities For Linguistic Analysis
We discuss several aspects of computer use that are preeminent in establishing the utility for linguistic research of computer tools and describe several factors that must be considered in designing such computer tools to aid in testing linguistic analyses of grammatical phenomena.
-
A Cognitivist Reply To Behaviorism
The objections to mentalistic psychology raised by Skinner are reviewed, and it is argued that a “cognitivist” perspective offers a way of constructing mentalistic theories that overcome these objections.
-
Review of ‘The Logic of Mind’
Turing focused on the computable real numbers, not on the nature and extent of the computable functions of natural numbers. In the last two sections of the paper (plus the appendix), Turing presents arguments for what we would now call Turing’s Thesis.
-
Configurational Variation In English: A Study Of Extraposition and Related Matters
Natural languages typically permit more than one order of words or phrases, though they differ with respect to both the amount of order variation allowed and the kind of information carried by these differences in order.
-
Triangle Tables: A Proposal For A Robot Programming Language
Because the rationale for triangle tables still seems relevant, I have recently elaborated the original concept and have begun to consider how the expanded formalism could be used as a general robot-programming language.
-
A Short Companion to the Naive Physics Manifesto
-
The Representation Of Adverbs, Adjectives and Events In Logical Form
The representation of adjectives and their adverbial counterparts in logical form rises a number of issues in the relation of syntax to semantics, as well as more specific problems of lexical and grammatical analysis.
-
Communication and Interaction In Multi-Agent Planning
A method for synthesizing multi-agent plans from simpler single-agent plans is described. The idea is to insert communication acts into the single-agent plans so that agents can synchronize activities and avoid harmful interactions.
-
A Simple and Efficient Implementation Of Higher-Order Functions In Lisp
A relatively simple method for handling higher-order functions (funargs) in LISP is described. It is also shown how this scheme allows extension of the LISP language to include partial application of functions.
-
Football safety
Developed measures for the NFL to reduce the number and severity of injuries to players.
-
Order-sorted algebra
First language to implement parameterized programming leads to numerous applications in computer science.
-
Team Users Guide
This user’s guide is designed to assist new TEAM users to learn about the concepts and tasks involved in retrieving data and in preparing a demonstration for a new application area.