Execution Monitoring of High-Level Robot Programs Export

@inproceedings{degiacomo98execution, abstract = {Imagine a robot that is executing a program on-line, and, insofar as it is reasonable to do so, it wishes to continue with this on-line program execution, no matter what exogenous events occur in the world. Execution monitoring is the robot's process of observing the world for discrepancies between the actual world and its internal representation of it, and recovering from such discrepancies. We provide a situation calculus-based account of such on-line program executions, with monitoring. This ...}, author = {De Giacomo, Giuseppe and Reiter, Raymond and Soutchanski, Mikhail}, booktitle = {Principles of Knowledge Representation and Reasoning}, citeulike-article-id = {331521}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.5423}, keywords = {agent, ai, cogrobo, control, execution\_monitoring, golog, logic, robot, situation\_calculus, system}, pages = {453--465}, posted-at = {2005-09-23 23:48:16}, priority = {4}, title = {Execution Monitoring of High-Level Robot Programs}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.5423}, year = {1998} }

TY - CONF ID - degiacomo98execution L3 - citeulike-article-id:331521 N2 - Imagine a robot that is executing a program on-line, and, insofar as it is reasonable to do so, it wishes to continue with this on-line program execution, no matter what exogenous events occur in the world. Execution monitoring is the robot's process of observing the world for discrepancies between the actual world and its internal representation of it, and recovering from such discrepancies. We provide a situation calculus-based account of such on-line program executions, with monitoring. This ... EP - 465 TI - Execution Monitoring of High-Level Robot Programs T2 - Principles of Knowledge Representation and Reasoning SP - 453 KW - agent KW - ai KW - cogrobo KW - control KW - execution_monitoring KW - golog KW - logic KW - robot KW - situation_calculus KW - system AU - De Giacomo, Giuseppe AU - Reiter, Raymond AU - Soutchanski, Mikhail PY - 1998/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.5423 ER -