Formal Methods in Robotics

AI research in robotics started out with the hypothesis that logical modelling and reasoning plays a key role. This assumption was seriously questioned by behaviour-based and “Nouvelle AI” approaches. The credo by this school of thinking is that explicit modelling of the environment and reasoning about it is too brittle and computationally too expensive. Instead a purely reactive approach is favoured.