Publications
-
Constraints On Order
A modified linear precedence (LP) component of Generalized Phrase Structure Grammar (GPSG) is proposed that accommodates partially free word order. In the revised framework, LP rules are sets of LP…
-
Evaluation Of Stereosys Vs. Other Stereo Systems
SRI International is implementing a complete, state-of the-art stereo system that will produce dense three-dimensional (3D) data from stereo pairs of intensity images. This system forms a framework for much…
-
The Stereo Challenge Data Base
As previously reported in Fischler [1984] and Hannah [1984], SRI International is implementing a complete, state-of-the-art stereo system that will produce dense three-dimensional (3-D) data from stereo pairs of intensity…
-
Formal Theories Of Knowledge In AI and Robotics
The machine is regarded as knowing a fact if its state either explicitly encodes the fact as a sentence of an interpreted formal language or if such a sentence can…
-
More Notes From The Unification Underground: A Second Compilation Of Papers On Unification-Based Grammar Formalisms
We study a new corpus of patient-clinician interactions recorded when patients are admitted to a hospital for suicide risk and again when they are released.
-
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…
-
The Origin Of The Binary-Search Paradigm
The paper considers how such algorithms might be derived from their specifications by an automatic program-synthesis system. The derivation of the binary-search concept has been found to be surprisingly straightforward.
-
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…
-
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…
-
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.
-
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…
-
A Short Companion to the Naive Physics Manifesto