Если навигация - можно юзать распознавание моё QCode-маяков + Калмана который уже в OpenCV, и сделать на этом SLAM-навигатор простейший. Но только какое отношение это будет иметь к машинам логического вывода - я х.з.
Надо бы сначала определиться, пусть мы знаем свои точные координаты - как в этом виде нам объясняют, что мы на кухне и где пределы кухни, как потом мы понимаем что на кухне?
И вообще - у нас есть датчик тепла на шупальце
![Smile :)](http://roboforum.ru/images/smilies/smile.gif)
как мы понимаем горячо-холодно? Как это всё работает с машиной логического вывода?