Borrow it
- African Studies Library
- Alumni Medical Library
- Astronomy Library
- Fineman and Pappas Law Libraries
- Frederick S. Pardee Management Library
- Howard Gotlieb Archival Research Center
- Mugar Memorial Library
- Music Library
- Pikering Educational Resources Library
- School of Theology Library
- Science & Engineering Library
- Stone Science Library
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
Resource Information
The item Representing plans under uncertainty : a logic of time, chance, and action, Peter Haddawy represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Boston University Libraries.This item is available to borrow from all library branches.
Resource Information
The item Representing plans under uncertainty : a logic of time, chance, and action, Peter Haddawy represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in Boston University Libraries.
This item is available to borrow from all library branches.
- 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
- Language
- eng
- Extent
- ix, 129 pages
- 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
- Isbn
- 9783540576976
- 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
- Subject
-
- Artificial intelligence
- Decision making
- Decision making
- Incertitude (Théorie de l'information)
- Incertitude (théorie de l'information)
- Intelligence artificielle
- Intelligence artificielle
- Kunstmatige intelligentie
- Onzekerheid
- Prise de décision
- Prise de décision
- Uncertainty (Information theory)
- Uncertainty (Information theory)
- action
- génération plan
- hasard
- incertitude
- logique temporelle
- théorie décision
- théorie démonstration
- Artificial intelligence
- 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
- 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
- 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
- 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
Subject
- Artificial intelligence
- Decision making
- Decision making
- Incertitude (Théorie de l'information)
- Incertitude (théorie de l'information)
- Intelligence artificielle
- Intelligence artificielle
- Kunstmatige intelligentie
- Onzekerheid
- Prise de décision
- Prise de décision
- Uncertainty (Information theory)
- Uncertainty (Information theory)
- action
- génération plan
- hasard
- incertitude
- logique temporelle
- théorie décision
- théorie démonstration
- Artificial intelligence
Member of
- Lecture notes in computer science, 770
- Lecture notes in computer science, Lecture notes in artificial intelligence
Library Locations
-
African Studies LibraryBorrow it771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US42.350723 -71.108227
-
-
Astronomy LibraryBorrow it725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US42.350259 -71.105717
-
Fineman and Pappas Law LibrariesBorrow it765 Commonwealth Avenue, Boston, MA, 02215, US42.350979 -71.107023
-
Frederick S. Pardee Management LibraryBorrow it595 Commonwealth Avenue, Boston, MA, 02215, US42.349626 -71.099547
-
Howard Gotlieb Archival Research CenterBorrow it771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US42.350723 -71.108227
-
-
Music LibraryBorrow it771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US42.350723 -71.108227
-
Pikering Educational Resources LibraryBorrow it2 Silber Way, Boston, MA, 02215, US42.349804 -71.101425
-
School of Theology LibraryBorrow it745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US42.350494 -71.107235
-
Science & Engineering LibraryBorrow it38 Cummington Mall, Boston, MA, 02215, US42.348472 -71.102257
-
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.bu.edu/portal/Representing-plans-under-uncertainty--a-logic-of/8YTzCHnjPjc/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/portal/Representing-plans-under-uncertainty--a-logic-of/8YTzCHnjPjc/">Representing plans under uncertainty : a logic of time, chance, and action, Peter Haddawy</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Item Representing plans under uncertainty : a logic of time, chance, and action, Peter Haddawy
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.bu.edu/portal/Representing-plans-under-uncertainty--a-logic-of/8YTzCHnjPjc/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.bu.edu/portal/Representing-plans-under-uncertainty--a-logic-of/8YTzCHnjPjc/">Representing plans under uncertainty : a logic of time, chance, and action, Peter Haddawy</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.bu.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.bu.edu/">Boston University Libraries</a></span></span></span></span></div>
