Matches in Harvard for { <http://id.lib.harvard.edu/aleph/004673773/catalog> ?p ?o. }
Showing items 1 to 30 of
30
with 100 items per page.
- catalog abstract ""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.".
- catalog contributor b6615742.
- catalog created "c1994.".
- catalog date "1994".
- catalog date "c1994.".
- catalog dateCopyrighted "c1994.".
- catalog description ""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.".
- catalog description "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.".
- catalog description "Includes bibliographical references (p. 126-129).".
- catalog extent "ix, 129 p. :".
- catalog hasFormat "Representing plans under uncertainty.".
- catalog identifier "0387576975 (New York : alk. paper)".
- catalog identifier "3540576975 (Berlin : alk. paper)".
- catalog isFormatOf "Representing plans under uncertainty.".
- catalog isPartOf "Lecture notes in computer science ; 770. Lecture notes in artificial intelligence".
- catalog isPartOf "Lecture notes in computer science ; 770.".
- catalog isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- catalog issued "1994".
- catalog issued "c1994.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer-Verlag,".
- catalog relation "Representing plans under uncertainty.".
- catalog subject "658.4/03/028563 20".
- catalog subject "Artificial intelligence.".
- catalog subject "Decision making.".
- catalog subject "Q375 .H33 1994".
- catalog subject "Uncertainty (Information theory)".
- catalog tableOfContents "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.".
- catalog title "Representing plans under uncertainty : a logic of time, chance, and action / Peter Haddawy.".
- catalog type "text".