Publications
-
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
-
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…
-
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…
-
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…
-
On The Mathematical Properties Of Linguistic Theories
Metatheoretical findings regarding the decidability, generative capacity, and recognition complexity of several syntactic theories are surveyed. These include context-free, transformational, lexical-functional, generalized phrase structure, tree adjunct, and stratificational grammars.
-
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…
-
Monitoring the Execution of Plans in SIPE
In real-world domains (a mobile robot is used as a motivating example), things do not always proceed as planned. Therefore it is important to develop better execution-monitoring techniques and replanning…
-
Description Of SRI’s Baseline Stereo System
We are implementing a baseline system for automated area-based stereo compilation.
-
Automated Deduction By Theory Resolution
Theory resolution constitutes a set of complete procedures for incorporating theories into a resolution theorem-proving program, thereby making it unnecessary to resolve directly upon axioms of the theory. This can…
-
Goal-Directed Textured-Image Segmentation
This report concentrates on textured-image segmentation using local texture-energy measures and user-delimited training regions. The SLICE algorithm combines knowledge of target textures or signatures with knowledge of background textures by…
-
Parallel Guessing: A Strategy For High-Speed Computation
In this paper we argue that "parallel guessing" for image analysis is a useful approach, and that several recent IU algorithms are based on this concept. We envision a parallel…