Reasoning about Uncertainty

Joseph Y. Halpern

The MIT PressCambridge, MassachusettsLondon, England

Copyright 2003 Massachusetts Institute of Technology

All rights reserved. No part of this book may be reproduced in any form by any electronic or mechanical means (including photocopying, recording, or information storage and retrieval) without permission in writing from the publisher.

This book was set in Times Roman by Windfall Software (using ZzTEX) and was printed and bound in the United States of America.

Library of Congress Cataloging-in-Publication Data

Halpern, Joseph Y., 1953–Reasoning about uncertainty / Joseph Y. Halpern.p. cm.Includes bibliographical references and index.

0-262-08320-5

1. Uncertainty (Information theory) 2. Reasoning. 3. Logic, Symbolic and mathematical.I. Title.

Q375.H35 2003003′.54—dc21

2003044565

10 9 8 7 6 5 4 3 2 1

To Daniel, a low probability event of unbounded utility, without whom this book would have undoubtedly been finished a little earlier; and to all my collaborators over the years, without whom there would have been no book to write.

Категории