This monograph integrates AI and decision-theoretic approaches to the representation of planning problems by developing a first-order logic of time, chance, and action for representing and reasoning about plans. The semantics of the logic incorporates intuitive properties of time, chance, and action central to the planning problem. The logical language integrates both modal and probabilistic constructs and allows quantification over time points, probability values, and domain individuals. The language can represent the chance that facts hold and events occur at various times and that actions and other events affect the future. An algorithm for the problem of building construction planning is developed and the logic is used to prove the algorithm correct.

Keywords

Bibliographic Information

Book Title: Representing Plans Under Uncertainty
Book Subtitle: A Logic of Time, Chance, and Action
Editors: Peter Haddawy
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-57697-5
Publisher: Springer Berlin, Heidelberg
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1994
Softcover ISBN: 978-3-540-57697-6Published: 28 February 1994
eBook ISBN: 978-3-540-48312-0Published: 04 July 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 134
Topics: Operations Research/Decision Theory, Artificial Intelligence

Publish with us

Policies and ethics

Editors:

Sections

Buy it now

Buying options

Other ways to access

Table of contents (11 chapters)

Front Matter

Back Matter

About this book