Other titles in Studies in Logic Language and
Information series
Description
This book explores the use of an algebraic (software)
specification language (ASL) in the description and modelling of
natural language grammar. It is particularly concerned with the
application of methods of loose specification and stepwise
refinement, and modularisation and parameterisation.
Some background on the use of specifications in software
engineering is provided, as well as suggested benefits one
might obtain from their use in the description of grammar. An
abstract description of constituency is given, independent of
concrete styles of grammar, which demonstrates the need for an
intensional domain.
By enriching this domain, we can deal with matters such as
agreement. Abstract specifications are developed for
core treatments of PATR, LFG, GPSG, and HPSG. Some consideration
is given to the use of Institutions・to allow us to work in
different (logical or programming) languages.
Binding: Paperback
228 x 152 mm 176pp
ISBN: 1 575 86122 4
Publication: c.March 2000
Binding: Hardback
ISBN: 1 575 86123 2
Publication: c.March 2000
Other titles in Cambridge Series in Statistical
and Probabilistic Mathematics series
Description
The theory of empirical processes provides valuable tools for the
development of asymptotic theory
in (nonparametric) statistical models, and makes possible the
unified treatment of a number of
them. This book reveals the relation between the asymptotic
behaviour of M-estimators and the
complexity of parameter space. Virtually all results are proved
using only elementary ideas
developed within the book; there is minimal recourse to abstract
theoretical results. To make the
results concrete, a detailed treatment is presented for two
important examples of
M-estimation, namely maximum likelihood and least squares. The
theory also covers estimation
methods using penalties and sieves. Many illustrative examples
are given, including the Grenander
estimator, estimation of functions of bounded variation,
smoothing splines, partially linear models,
mixture models and image analysis. Graduate students and
professionals in statistics as well as
those with an interest in applications, to such areas as
econometrics, medical statistics,
etc., will welcome this treatment.
Chapter Contents
Preface; Reading guide; 1. Introduction; 2. Notations and
definitions; 3. Uniform laws of
large numbers; 4. First applications: consistency; 5. Increments
of empirical processes;
6. Central limit theorems; 7. Rates of convergence for maximum
likelihood estimators; 8. The
non-i.i.d. case; 9. Rates of convergence for least squares
estimators; 10. Penalties and
sieves; 11. Some applications to semi-parametric models; 12.
M-estimators; Appendix;
References; Author index; Subject index; List of symbols.
Binding: Hardback
247 x 174 mm 304pp
ISBN: 0 521 65002 X
Publication: c.February 2000
Other titles in Studies in Logic Language and Information series
Description
Russell and Strawson sparked a well known debate on the subject
of Linguistic Presupposition inspiring many linguists and
philosophers to follow suit, including Frege, whose work
initiated the modern study in this area. Beaver begins with the
most comprehensive overview and critical discussion of this
burgeoning field published to date. He then goes on to motivate
and develop his own account based on a Dynamic Semantics. This
account is a recent line of theoretical work in which the
Tarskian emphasis on truth conditions is questioned. The central
plank of the theory of meaning is
a formal account of the change in information effected by use of
language on hearers or readers. The proposal thus consolidates
ideas of Stalnaker, Karttunen and Heim, all of whom had suggested
that such an account
was needed. At the same time it provides a new impulse and
motivation to Dynamic Semantics itself.
Chapter Contents
Part I. Theories of Presupposition: 1. Introduction; 2.
Presuppositions and how to spot them; 3. Multivalence and
partiality; 4. Cancellation and filtering; 5. Dynamic semantics;
6. Accommodation;
Part II. A Dynamic Account: 7. Two birds and one stone; 8. A bit
like English; 9. Presupposition and modality in ABLE; 10. Let's
get real!; 11. Connections and directions; 12. Conclusions.
Binding: Paperback
228 x 152 mm 250pp
ISBN: 1 575 86120 8
Publication: c.March 2000
Binding: Hardback
Bibliographic information:
228 x 152 mm 250pp
ISBN: 1 575 86121 6
Publication: c.March 2000
Description
The satisfiability (SAT) problem is central in mathematical logic
and computing theory, representing a core of computationally
intractable NP-complete problems.
It is a fundamental hurdle in solving many problems in automated
reasoning, computer-aided design, computer-aided manufacturing,
machine vision, database construction and maintenance, robotics,
scheduling, integrated circuit design, computer architecture
design, and computer networking.
Efficient methods for solving the SAT problem play an important
role in the development of practical computing systems.
Traditional methods treat SAT as a discrete, constrained decision
problem.
In recent years, many optimization methods, parallel algorithms,
and other practical new techniques have been developed for
solving the SAT problem.
This book describes these state-of-the-art methods, both
sequential and parallel, and discusses tradeoffs and limitations
in the rapidly growing field of satisfiability testing.
It will be useful for computer theorists, algorithmists, and
practitioners working in all areas in computer science, computer
engineering, operations research, and applied logic.
Binding: Hardback
Bibliographic information:
ISBN: 0 521 64041 5
Publication: c.July 2000
The objectives of econometric modeling of producer behavior are
to determine the nature of substitution among
inputs and outputs and of differences in technology, as well as
the role of economies of scale in production. Recent
advances in methodology, based on the dual formulation of the
theory of production in terms of prices, have enabled
econometricians to achieve these objectives more effectively.
This volume summarizes the economic theory,
the econometric methodology, and the empirical findings resulting
from the new approach.
April 2000
ISBN 0-262-10082-7
450 pp.
The essays in this volume provide a comprehensive
view of applications of the cost of capital. The cost of
capital is the key concept in the analysis of taxation of
business income. It is also critical to the formulation of
a new system of national accounts, where it plays the role of the
price of capital services. Empirical
measurements of productivity and economic welfare generated by
these accounts underlie recent
innovations in the econometric modeling of consumer and producer
behavior.
Contributors to Volume 2:
Laurits R. Christensen, W. Erwin Diewert, Barbara M.
Fraumeni, Frank M. Gollop, Robert E. Hall, Fumio
Hayashi, Mun S. Ho, Charles R. Hulten, Dale W.
Jorgenson, Lawrence J. Lau, Denis L. Lawrence,
Robert M. Schwab, Daniel T. Slesnick, Thomas M.
Stoker, Kun-Young Yun.
April 2000
ISBN 0-262-10083-5
450 pp.
Language for Knowledge and Knowledge for
Language
Natural language (NL) refers to human language--complex,
irregular, diverse, with all its philosophical problems of
meaning and context. Setting a new direction in AI research, this
book explores the development of knowledge representation and
reasoning (KRR) systems that simulate the role of NL in human
information and knowledge processing.
Traditionally, KRR systems have incorporated NL as an interface
to an expert system or knowledge base that
performed tasks separate from NL processing. As this book shows,
however, the computational nature of
representation and inference in NL makes it the ideal level for
all tasks in an intelligent computer system. NL
processing combines the qualitative characteristics of human
knowledge processing with a computerｹs
quantitative advantages, allowing for in-depth, systematic
processing of vast amounts of information.
The essays in this interdisciplinary book cover a range of
implementations and designs, from formal
computational models to large-scale NL processing systems.
Contributors: Syed S. Ali, Bonnie J. Dorr, Karen Ehrlich, Robert
Givan, Susan M. Haller, Sanda
Harabagiu, Chung Hee Hwang, Lucja Iwanska, KellynKruger, Naveen
Mata, David A. McAllester, David D.
McDonald, Susan W. McRoy, Dan Moldovan, William J.Rapaport,
Lenhart Schubert, Stuart C. Shapiro, Clare
R. Voss.
April 2000
ISBN 0-262-59021-2
350 pp.
(paper)
This collection of original essays reflects the
breadth of current research in computer science. Robin Milner, a
major figure in the field, has made many fundamental
contributions, particularly in theoretical computer
science, the theory of programming languages, and functional
programming languages.
Following a brief biography of Milner, the book contains five
sections: Semantic Foundations, Programming
Logic, Programming Languages, Concurrency, and Mobility. Together
the pieces convey a seamless whole,
ranging from highly abstract concepts to systems of great
utility.
Contributors: Samson Abramsky, J. C. M. Baeten, Sergey Berezin,
J. A. Bergstra, Gerard Berry, Lars
Birkedal, G?rard Boudol, Edmund Clarke, Pierre Collette, Robert
L. Constable, Pierre-Louis Curien,
Jaco de Bakker, Uffe H. Engberg, William Ferreira, Fabio
Gadducci, Mike Gordon, Robert Harper, Matthew
Hennessy, Yoram Hirshfeld, C. A. R. Hoare, Gerard Huet, Paul B.
Jackson, Alan S. A. Jeffrey, Somesh Jha,
He Jifeng, Cliff B. Jones, Cosimo Laneve, Xinxin Liu, Will
Marrero, Faron Moller, Ugo Montanari, Pavel
Naumov, Mogens Nielsen, Joachim Parrow, Lawrence C. Paulson,
Benjamin C. Pierce, Gordon Plotkin, M. A.
Reniers, Amokrane Sa?bi, Augusto Sampaio, Davide Sangiorgi, Scott
A. Smolka, Eugene W. Stark,
Christopher Stone, Mads Tofte, David N. Turner, Juan Uribe,
Franck van Breugel, David Walker, GlynnWinskel.
April 2000
ISBN 0-262-16188-5
700 pp., 42 illus.
(cloth)