The Resource Representing plans under uncertainty : a logic of time, chance, and action, Peter Haddawy

Representing plans under uncertainty : a logic of time, chance, and action, Peter Haddawy

Label
Representing plans under uncertainty : a logic of time, chance, and action
Title
Representing plans under uncertainty
Title remainder
a logic of time, chance, and action
Statement of responsibility
Peter Haddawy
Creator
Subject
Language
eng
Summary
"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."--PUBLISHER'S WEBSITE
Member of
Cataloging source
DLC
http://library.link/vocab/creatorDate
1959-
http://library.link/vocab/creatorName
Haddawy, Peter
Illustrations
illustrations
Index
no index present
LC call number
Q375
LC item number
.H33 1994
Literary form
non fiction
Nature of contents
bibliography
Series statement
  • Lecture notes in computer science
  • Lecture notes in artificial intelligence
Series volume
770.
http://library.link/vocab/subjectName
  • Uncertainty (Information theory)
  • Decision making
  • Artificial intelligence
  • action
  • hasard
  • logique temporelle
  • théorie démonstration
  • théorie décision
  • incertitude
  • génération plan
  • Incertitude (Théorie de l'information)
  • Intelligence artificielle
  • Prise de décision
  • Artificial intelligence
  • Decision making
  • Uncertainty (Information theory)
  • Kunstmatige intelligentie
  • Onzekerheid
  • Incertitude (théorie de l'information)
  • Prise de décision
  • Intelligence artificielle
Label
Representing plans under uncertainty : a logic of time, chance, and action, Peter Haddawy
Instantiates
Publication
Bibliography note
Includes bibliographical references (p. 126-129)
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
1. Introduction -- 2. Ontology -- 3. The Logic of Time, Chance, and Action -- 4. Proof Theory -- 5. Properties of Actions -- 6. Goals and Utilities -- 7. Describing and Reasoning About Planning Problems -- 8. Planning Example -- 9. Construction Planning System -- 10. Related Work -- 11. Conclusions -- A Soundness Proofs -- B Development of Action Feasibility -- C Derivation of the Chance of Plan Feasibility -- D Derivation of EUT -- E Derivation of the Chance that Trying to Attempt a Plan Achieves a Given Goal
Dimensions
24 cm.
Extent
ix, 129 pages
Isbn
9783540576976
Lccn
94002105
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
System control number
  • (OCoLC)29754625
  • (OCoLC)ocm29754625
Label
Representing plans under uncertainty : a logic of time, chance, and action, Peter Haddawy
Publication
Bibliography note
Includes bibliographical references (p. 126-129)
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
1. Introduction -- 2. Ontology -- 3. The Logic of Time, Chance, and Action -- 4. Proof Theory -- 5. Properties of Actions -- 6. Goals and Utilities -- 7. Describing and Reasoning About Planning Problems -- 8. Planning Example -- 9. Construction Planning System -- 10. Related Work -- 11. Conclusions -- A Soundness Proofs -- B Development of Action Feasibility -- C Derivation of the Chance of Plan Feasibility -- D Derivation of EUT -- E Derivation of the Chance that Trying to Attempt a Plan Achieves a Given Goal
Dimensions
24 cm.
Extent
ix, 129 pages
Isbn
9783540576976
Lccn
94002105
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
System control number
  • (OCoLC)29754625
  • (OCoLC)ocm29754625

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...