14.3119, Books: Computational Linguistics: Halpern

Fri Nov 14 16:21:58 UTC 2003

LINGUIST List:  Vol-14-3119. Fri Nov 14 2003. ISSN: 1068-4875.

Subject: 14.3119, Books: Computational Linguistics: Halpern

Moderators: Anthony Aristar, Wayne State U.<aristar at linguistlist.org>
            Helen Dry, Eastern Michigan U. <hdry at linguistlist.org>

Reviews (reviews at linguistlist.org):
	Sheila Collberg, U. of Arizona
	Terence Langendoen, U. of Arizona

Home Page:  http://linguistlist.org/

The LINGUIST List is funded by Eastern Michigan University, Wayne
State University, and donations from subscribers and publishers.

Editor for this issue: Marisa Ferrara <marisa at linguistlist.org>
 ==========================================================================
Links to the websites of all LINGUIST's supporting publishers are
available at the end of this issue.

=================================Directory=================================

1)
Date:  Wed, 12 Nov 2003 14:58:21 +0000
From:  dgw at mit.edu
Subject:  Reasoning About Uncertainty: Halpern

-------------------------------- Message 1 -------------------------------

Date:  Wed, 12 Nov 2003 14:58:21 +0000
From:  dgw at mit.edu
Subject:  Reasoning About Uncertainty: Halpern

Title: Reasoning About Uncertainty

Publication Year: 2003
Publisher: MIT Press
           http://mitpress.mit.edu/		

Book URL: http://mitpress.mit.edu/promotions/books/FL20030262083205

Author: Joseph Y. Halpern, Cornell University

Hardback: ISBN: 0262083205, Pages: 456, Price: $50

Abstract:

Uncertainty is a fundamental and unavoidable feature of daily life; in
order to deal with uncertaintly intelligently, we need to be able to
represent it and reason about it. In this book Joseph Halpern examines
formal ways of representing uncertainty and considers various logics
for reasoning about it. While the ideas presented are formalized in
terms of definitions and theorems, the emphasis is on the philosophy
of representing and reasoning about uncertainty; the material is
accessible and relevant to researchers and students in many fields,
including computer science, artificial intelligence, economics
(particularly game theory), mathematics, philosophy, and statistics.

Halpern begins by surveying possible formal systems for representing
uncertainty, including probability measures, possibility measures, and
plausibility measures. He considers the updating of beliefs based on
changing information and the relation to Bayes' theorem; this leads to
a discussion of qualitative, quantitative, and plausibilistic Bayesian
networks. He considers not only the uncertainty of a single agent but
also uncertainty in a multi-agent framework.

Halpern then considers the formal logical systems for reasoning about
uncertainty. He discusses knowledge and belief; default reasoning, and
the semantics of default; reasoning about counterfactuals, and
combining probability and counterfactuals; belief revision;
first-order modal logic; and statistics and beliefs. He includes a
series of exercises at the end of each chapter.

Joseph Y. Halpern is Professor of Computer Science at Cornell
University. He is the editor-in-chief of the Journal of the ACM and
coauthor of Reasoning About Knowledge (MIT Press, 1995).

"Halpern presents a masterful, complete and unified account of the
many ways in which the connections between logic, probability theory
and commonsensical linguistic terms can be formalized. Terms such as
'true,' 'certain,' 'plausible,' 'possible,' 'believed,' 'known,'
'default,' 'relevant,' 'independent,' and 'preferred are given
rigorous semantical and syntactical analyses, and their
interrelationships explicated and exemplified. An authoritative
panoramic reference for philosophers, cognitive scientists and
artificial intelligence researchers."
- Judea Pearl, Computer Science Department, University of California,
  Los Angeles

Lingfield(s):   Computational Linguistics

Written In:  English (Language Code: ENG)

     See this book announcement on our website:
     http://linguistlist.org/get-book.html?BookID=8193.

---------------------------------------------------------------------------

MAJOR SUPPORTERS

	Blackwell Publishing
		http://www.blackwellpublishing.com	

	Cambridge University Press
		http://www.cup.org	

	Continuum International Publishing Group Ltd
		http://www.continuumbooks.com	

	Elsevier Ltd.
		http://www.elsevier.com/locate/linguistics	

	John Benjamins
		http://www.benjamins.com/	

	Kluwer Academic Publishers
		http://www.wkap.nl/	

	Lawrence Erlbaum Associates
		http://www.erlbaum.com/	

	Lincom GmbH
		www.lincom-europa.com	

	MIT Press
		http://mitpress.mit.edu/	

	Mouton de Gruyter
		http://www.mouton-publishers.com	

	Oxford University Press
		http://www.oup-usa.org/	

	Pacini Editore Spa
		http://www.pacinieditore.it/index_dinamico.htm	

	Rodopi
		http://www.rodopi.nl/	

	Routledge (Taylor and Francis)
		http://www.routledge.com/	

OTHER SUPPORTING PUBLISHERS	

	Anthropological Linguistics
		http://www.indiana.edu/~anthling/

	CSLI Publications
		http://csli-publications.stanford.edu/

	Canadian Journal of Linguistics

	Cascadilla Press
		http://www.cascadilla.com/

	Evolution Publishing
		http://www.evolpub.com

	Graduate Linguistic Students' Assoc., Umass
		http://server102.hypermart.net/glsa/index.htm

	International Pragmatics Assoc.
		http://ipra-www.uia.ac.be/ipra/

	Linguistic Assoc. of Finland
		http://www.ling.helsinki.fi/sky/

	MIT Working Papers in Linguistics
		http://web.mit.edu/mitwpl/

	Multilingual Matters
		http://www.multilingual-matters.com/

	Pacific Linguistics
		http://pacling.anu.edu.au/

	Palgrave Macmillan
		http://www.palgrave.com

	Pearson Longman
		http://www.pearsoneduc.com/discipline.asp?d=LG

	SIL International
		http://www.ethnologue.com/bookstore.asp

	St. Jerome Publishing Ltd.
		http://www.stjerome.co.uk

	Utrecht Institute of Linguistics
		http://www-uilots.let.uu.nl/
---------------------------------------------------------------------------
LINGUIST List: Vol-14-3119