Skip to main content
SpringerLink
Log in

Representing Plans Under Uncertainty

A Logic of Time, Chance, and Action

  • Book
  • © 1994

Overview

Editors:
  1. Peter Haddawy
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 770)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (11 chapters)

  1. Front Matter

    Download chapter PDF

  2. Introduction

    Pages 1-10

  3. Ontology

    Pages 11-16

  4. The logic of time, chance, and action

    Pages 17-27

  5. Proof theory

    Pages 28-47

  6. Properties of actions

    Pages 48-62

  7. Goals and utilities

    Pages 63-73

  8. Describing and reasoning about planning problems

    Pages 74-81

  9. Planning example

    Pages 81-88

  10. Construction planning system

    Pages 89-102

  11. Related work

    Pages 103-107

  12. Conclusions

    Pages 108-113

  13. Back Matter

    Download chapter PDF
Back to top

Keywords

About this book

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.

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

Back to top

Search

Navigation