Representing the Knowledge of a Robot

Acquiring information about its environment by sensing is a crucial ability of autonomous robots. Based on the established solution to the Frame Problem of the Fluent Calculus, we present a new, unifying formalism for representing and reasoning about sensing actions, knowledge preconditions, conditional actions, non-knowledge, and about what goals a robot can possibly achieve.

• Type: Conference
• Year: 2000
• Where: KR
• Authors: Michael Thielscher
• Keywords: Automated Reasoning, Autonomous Robots, Crucial Ability, Fluent Calculus, KR 2000