1. A Logic for Robotics?
- Author
-
Madeira, Alexandre, Neves, Renato, Martins, Manuel A., and Barbosa, Luís S.
- Subjects
ABSTRACT data types (Computer science) ,MATHEMATICAL formulas ,ROBOT control systems ,REASONING ,INFORMATION science - 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. [ABSTRACT FROM AUTHOR]
- Published
- 2015
- Full Text
- View/download PDF