A logic for robotics?
Alexandre Madeira, Renato Neves, Manuel A. Martins, Luís Soares Barbosa · AIP conference proceedings · 2015
Dynamic logic combines logic with programs, which at a certain level of abstraction, can be regarded as behaviours changing the system state and, therefore, the truth value of formulas. This paper suggests a method for generating such logics for the domain of robot controllers and illustrates it with a logic for handling resource consumption.