Lecture Notes in Artificial Intelligence
cover

Representing Plans Under Uncertainty

A Logic of Time, Chance, and Action

Authors: Haddawy, Peter

Buy this book

eBook 44,02 €
price for Spain (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-48312-0
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 57,19 €
price for Spain (gross)
  • ISBN 978-3-540-57697-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
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.

Table of contents (11 chapters)

Table of contents (11 chapters)
  • Introduction

    Pages 1-10

  • Ontology

    Pages 11-16

  • The logic of time, chance, and action

    Pages 17-27

  • Proof theory

    Pages 28-47

  • Properties of actions

    Pages 48-62

Buy this book

eBook 44,02 €
price for Spain (gross)
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-48312-0
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 57,19 €
price for Spain (gross)
  • ISBN 978-3-540-57697-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Services for this Book

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Representing Plans Under Uncertainty
Book Subtitle
A Logic of Time, Chance, and Action
Authors
Series Title
Lecture Notes in Artificial Intelligence
Series Volume
770
Copyright
1994
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-48312-0
DOI
10.1007/3-540-57697-5
Softcover ISBN
978-3-540-57697-6
Edition Number
1
Number of Pages
X, 134
Topics