LEADER 03048nam  22005655  450 
001 996466014703316
005 20200630174646.0
010   $a3-540-48312-8
024 7 $a10.1007/3-540-57697-5
035   $a(CKB)1000000000234077
035   $a(SSID)ssj0000326255
035   $a(PQKBManifestationID)11262709
035   $a(PQKBTitleCode)TC0000326255
035   $a(PQKBWorkID)10296570
035   $a(PQKB)11196481
035   $a(DE-He213)978-3-540-48312-0
035   $a(PPN)155234021
035   $a(EXLCZ)991000000000234077
100   $a20121227d1994      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aRepresenting Plans Under Uncertainty$b[electronic resource] $eA Logic of Time, Chance, and Action /$fby Peter Haddawy
205   $a1st ed. 1994.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1994.
215   $a1 online resource (X, 134 p.) 
225 1 $aLecture Notes in Artificial Intelligence ;$v770
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-57697-5 
327   $aOntology -- The logic of time, chance, and action -- Proof theory -- Properties of actions -- Goals and utilities -- Describing and reasoning about planning problems -- Planning example -- Construction planning system -- Related work -- Conclusions.
330   $aThis 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.
410  0$aLecture Notes in Artificial Intelligence ;$v770
606   $aOperations research
606   $aDecision making
606   $aArtificial intelligence
606   $aOperations Research/Decision Theory$3https://scigraph.springernature.com/ontologies/product-market-codes/521000
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
615  0$aOperations research.
615  0$aDecision making.
615  0$aArtificial intelligence.
615 14$aOperations Research/Decision Theory.
615 24$aArtificial Intelligence.
676   $a658.4/03/028563
700   $aHaddawy$b Peter$4aut$4http://id.loc.gov/vocabulary/relators/aut$0753434
906   $aBOOK
912   $a996466014703316
996   $aRepresenting plans under uncertainty$91515683
997   $aUNISA