perm filename EIGHTE.MSS[BIB,CSR]1 blob sn#672832 filedate 1982-09-02 generic text, type T, neo UTF8
@make(PublicationOrderForm,Number 18,AnnouncementDate "September 1982")
@begin(center)
List Number 18
@end(center)
@Entry(Code "STAN-CS-82-899",
	Title "An Adaptive Finite Difference Method for Hyperbolic Systems
		in One Space Dimension",
	Author "John H. Bolstad",
	Price "not available",
	Mprice "$2.00",
	Note "175 pages",
	Date "February 1982")

Many problems of physical interest have solutions which are generally
quite smooth in a large portion of the region of interest, but have local
phenomena such as shocks, discontinuities or large gradients which require
much more accurate approximations or finer grids for reasonable accuracy.
Examples are atmospheric fronts, ocean currents, and geological
discontinuities.

@Entry(Code "STAN-CS-82-912",
	Title "The Implication and Finite Implication Problems for 
	       Typed Template Dependencies",
	Author "Moshe Y. Vardi",
	Price "$3.05",
	Mprice "$2.00",
	Note "35 pages",
	Date "May 1982")

The class of typed template dependencies is a class of data 
dependencies that includes embedded multivalued and join dependencies.         
We show that the implication and the finite implication problems for this
class are unsolvable.  An immediate corollary is that this class has
no formal system for finite implication.  We also show how to construct
a finite set of typed template dependencies whose implication and 
finite implication problems are unsolvable.
   
The class of projected join dependencies is a proper subclass of the
above class, and it generalizes slightly embedded join dependencies.
It is shown that the implication and the finite implication problems
for this class are also unsolvable.  An immediate corollary is that
this class has no universe-bounded formal system for either
implication or finite implication.

@Entry(Code "STAN-CS-82-913", 
	Title "Learning and Inductive Inference",
	Author "Dietterich, London, Clarkson, and Dromey",
	Price "$8.25",
	Mprice "$2.00",
	Note "207 pages",
	Date "May 1982",)

This technical report surveys Artificial Intelligence research
in the area of learning and inductive inference.  It was written
as Chapter XIV of Volume III (edited by Paul R. Cohen and Edward
A. Feigenbaum) on the @ux(Handbook of Artificial Intelligence.)
The main results of the report are:  (a) a simple model that serves
to generate a taxonomy of learning systems, (b) the explication and
clarification of four methods of learning single concepts, (c) some
understanding of the underlying causes of the credit-assignment
problem (and possible solutions), and (d) some identification of open 
research problems and areas that have received little attention.



@Entry(Code "STAN-CS-82-914",
	Title "Using String Matching to Compress Chinese Characters",
        Author "Gu Guoan and John Hobby",
	Price "$2.50",
	Mprice "$2.00",
	Note "15 pages",
	Date "April 1982")


A new method for font compression is introduced and compared to existing 
methods.  A very compact representation is achieved by using a variant
of McCreight's string matching algorithm to compress the bounding
contour.  Results from an actual implementation are given showing the
improvement over other methods and how this varies with resolution
and character complexity.  Compression ratios of up to 150
are achieved for Chinese characters.


@Entry(Code "STAN-CS-82-915",
	Title "Verification of Concurrent Programs;  Proving
        Eventualities by Well-Founded Ranking",
        Author "Zohar Manna and A. Pnueli",
	Price "$2.75",
	Mprice "$2.00",
	Note "25 pages",
	Date "June 1982")

In this paper, one of a series on verification of concurrent programs,
we present proof methods for establishing eventuality and until properties.
The methods are based on well-founded ranking and are applicable to both
just and fair computations.  These methods do not assume a decrease of the
rank at each computation step.  It is sufficient that there exists one process
which decreases the rank when activated.  Fairness then ensures that the program
will eventually attain its goal.

In the finite state case the proofs can be represented by diagrams.  Several
examples are given.


@Entry(Code "STAN-CS-82-916",
	Title "Dynamic Weighted Data Structures",
	Author "Samuel W. Bent",
	Price "$4.40",
	Mprice "$2.00",
	Note "80 pages",
	Date "June 1982")

This thesis discusses implementations of an abstract data structure called
a dynamic dictionary.  Such a data structure stores a collection of items,
each of which is equipped with a key and a weight.  Among the operations
we might wish to perform on such a collection are: (a) accessing an item,
given its key, (b) inserting a new item, (c) deleting an item, (d) joining
two collections into one, (e) splitting a collection into two, (f)
changing the weight of an item. Operations (b)-(f) provide the dynamic
nature of the data structure.

In addition we want the implementation to respect the weights, so that 
accessing a heavy item is quicker than accessing a light one.  In an
optimal binary tree, the path length to an item of weight w in a collection
of total weight W is proportional to log(W/w).  By relaxing the optimality
constraint and considering different kinds of trees, it is possible to retain
this logarithmic access time (with a larger constant factor), and 
simultaneously achieve similar logarithmic times for the dynamic operations.

@Entry(Code "STAN-CS-82-917",
	Title "Motion Sequencing of Manipulators",
	Author "Mohamed Shahid Mujtaba",
	Price "$11.20",
	Mprice "not available",
	Note "307 pages",
	Date "July 1982")

Programming of mechanical manipulators or robots is currently either by guiding
or by specifying arm motion symbolically in a programming language.  Guiding
is suitable when the arm goes through the same sequence of operations 
repeatedly; it is unsuitable for making decisions, programming actions based
on real-time sensory data, or concurrent action.  Programming languages 
overcome some of these limitations; however, they require detailed 
instructions for performing even the simplest tasks in assembling parts, and
the user requires special training to program the arm.  Manipulators will be
used extensively for industrial assembly in the future.  Therefore, some means
to simplify manipulator programming is needed.

Experience in using manipulators was gained by programming the assembly
of flashlights, lawn sprinklers and other objects using AL, an
interactive programming language for robots at the Stanford Artificial
Intelligence Laboratory.  Analysis of the programs disclosed commonly 
repeated sequences of operations.

@Entry(Code "STAN-CS-82-918",
	Title "Planning Natural-Language Utterances to Satisfy Multiple Goals",
	Author "Douglas E. Appelt",
	Price "not available",
	Mprice "$2.00",
	Note "188 pages",
	Date "December 1981")

This dissertation presents the results of research on planning formalism for a
theory of natural-language generation that will support the generation of 
utterances that satisfy multiple goals.  Previous research in the area of 
computer generation of natural-language utterances has concentrated two
aspects of language production:  (1) the process of producing surface
syntactic forms from an underlying representation, and (2) the planning
of illocutionary acts to satisfy the speaker's goals.  This work 
concentrates on the interaction between these two aspects of language generation
and considers the overall problem to be one of refining the specification
of an illocutionary act into a surface syntactic form, emphasizing the
problems of achieving multiple goals in a single utterance.

@Entry(Code "STAN-CS-82-920",
	Title "Evaluation of Computer Text Editors",
	Author "Teresa L. Roberts",
	Price "not available",
	Mprice "$2.00",
	Note "188 pages",
	Date "November 1979")

This thesis explores the possiblity of performing an objective and thorough, but
quick, evaluation of text editors from the viewpoints of their various
users.  The methodology presented here covers four general areas of text
editor use: (1) speed at which normal text modification can be done is
measured by observing experienced users as they perform such tasks.  An analytic
model is used to predict this speed from the keystrokes the user has to type
to perform the tasks.  (2)  Ease of learning to perform basic text modifications
is tested by teaching novices to perform those tasks.  An attempt is made
to predict the results of these experiments from the command language 
specification.  (3) The range of functionality available in the editor is
tested by a checklist, and ease of use of this power is evaluated by a 
questionnaire given to the experienced users.  (4)  Finally, how error-prone
the editor is, is tested by recording the amount of time the experienced users
spend in the speed experiments making and correcting errors, by putting stress
on the expert users while they perform simple tasks, and by checking the command
language for its protection of the user from disastrous errors.

@Entry(Code "STAN-CS-82-921",
	Title "Kinematic and Force Analysis of Articulated Hands",
	Author "J. Kenneth Salisbury, Jr.",
	Price "$5.20",
	Mprice "not available",
	Note "106 pages",
	Date "July 1982")

As the application of mechanical manipulators has grown in the fields of 
industrial automation, prosthetics and remote manipulation, the need for
more versatile and adaptable end effectors has become increasingly apparent.
Current manipulation practice is severely limited by our inability to adapt
to a variety of parts and the lack of fidelity in force control.  It has 
become clear that articulated end effectors, or mechanical hands, can be used
to extend manipulation capability in terms of cost effectiveness and in terms
of the overall complexity of tasks that may be performed.  Coupled with
more intelligent control systems, articulated hands promise to be of major
importance in the future of robotics.

@Entry(Code "STAN-CS-82-922",
	Title "An Approach to Verifying Completeness and Consistency in a
	       Rule-Based Expert System",
	Author "Suwa, Scott, and Shortliffe",
	Price "$2.80",
	Mprice "$2.00",
	Note "26 pages",
	Date "June 1982")

We describe a program for verifying that a set of rules in an expert system
comprehensively spans the knowledge of a specialized domain.  The program
has been devised and tested within the context of the ONCOCIN System, a
rule-based consultant for clinical oncology.  The stylized format of
ONCOCIN's rules has allowed the automatic detection of a number of common
errors as the knowledge base has been developed.  This capability
suggests a general mechanism for correcting many problems with knowledge
base completeness and consistency before they can cause performance errors.

@Entry(Code "STAN-CS-82-923",
	Title "Explanatory Power for Medical Expert systems:  Studies in the
	       Representation of Causal Relationships for Clinical 
	       Consultations",
	Author "Jerold W. Wallis and Edward H. Shortliffe",
	Price "$3.30",
	Mprice "$2.00",
	Note "44 pages",
	Date "July 1982")

This paper reports on experiments designed to identify and implement 
mechanisms for enhancing the explanation capabilities of reasoning programs for
medical consultation.  The goals of an explanation system are discussed, as
is the additional knowledge needed to meet these goals in a medical domain.  We
have focused on the generation of explanations that are appropriate for
different types of system users.  This task requires a knowledge of what is
complex and what is important; it is further strengthened by a classification
of the associations or causal mechanisms inherent in the inference rules.  A
causal representation can also be used to aid in refining a comprehensive
knowledge base so that the reasoning and explanations are more adequate. 
accescribe a prototype system which reasons from causal inference rules and
generates explanations that are appropriate for the user.

@send(order <@b{@\Sub-totals@\@Ux(@hsp(.5 inch))@\@Ux(@hsp(.5 inch))}>)
@send(order <@b{@\Publications total@\@Ux(@hsp(.5 inch))}>)
@send(order <@b{@\Sales tax@\@Ux(@hsp(.5 inch))}>)
@send(order <@b{@\Total enclosed@\@Ux(@hsp(.5 inch))}>)