Principles of artificial intelligence
Principles of artificial intelligence
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
A Computer Model of Skill Acquisition
A Computer Model of Skill Acquisition
Semantical consideration on floyo-hoare logic
SFCS '76 Proceedings of the 17th Annual Symposium on Foundations of Computer Science
Postdiction Problems in Dynamic Logic
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Non-situation Calculus and Database Systems
FoIKS '00 Proceedings of the First International Symposium on Foundations of Information and Knowledge Systems
Action and planning in embedded agents
Robotics and Autonomous Systems
An epistemic logic for planning with trials
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Time-saving tips for problem solving with incomplete information
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Reasoning about nondeterministic and concurrent actions: a process algebra approach
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
| Hi-index | 0.00 |
This paper explores some theoretical issues of robot system planning from the perspective of propositional dynamic logic. A generalized notion of "progression" and "regression" of conditions through actions is developed. This leads to a bidirectional single - level planning algorithm that Is easily extended to hierarchical planning. Multiple pre-/postcondition pairs, complex (e.g., conjunctive, disjunctive) goals, goals of maintenance and prevention, and plans with tests are all handled in a natural way. The logical framwork is used to clarify gaps in existing "nonlinear" and "hierachical" planning strategies.