A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
In this paper, we show how the pGOLOG framework, which in its original form only accounted for the projection of high-level plans, can be extended to reason about the way the robot's beliefs evolve during ... the effects of a candidate plan and b) to update their beliefs during online execution of a plan. ... the updated belief state. ...doi:10.1007/3-540-45422-5_16 fatcat:6pcuv3e6nff5nfdhxzoqpybsse
Friedrich, Dietmar Jannach and Markus Zanker, Towards distributed configuration (198-212): Henrik Grosskreutz and Gerhard Lakemeyer, Belief update in the pGOLOG framework (213-228); Falk Hiiffner, Stefan ... Edelkamp, Henning Fernau and Rolf Niedermeier, Finding optimal solu- tions to Atomix (229-243); Gero Iwan, History-based diagnosis templates in the framework of the situation calculus (244-259): Wojciech ...
We then formulate the problem of conditional planning in this framework, and we present an algorithm for solving it. ... This algorithm is based on a reduction to reasoning in description logics, and is shown to be sound and complete in the sense that it generates all optimal plans. ... belief update. ...dblp:conf/nmr/IocchiLNR04 fatcat:kudlibgwgnc2vni56ay6bchee4