A Logic for Robotics?
A Logic for Robotics?
Date
2015
Authors
Alexandre Castro Madeira
Renato Jorge Neves
Martins,MA
Luís Soares Barbosa
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
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.