Technically in some definitions of reasoning, such as symbolic logic solvers that already exist, those are logical reasoning optimization tools.