Implementing Algorithms for Robot Navigation
Abstract
Automatic robot navigation is one of the major problems addressed in AI, where robots have to roam and communicate to acquire
information and learn about their whereabouts, e.g. in the grid model of a building or a city, based on a map thereof. This
project is to write programs to implement decision procedures of an algebraic axiomatics or rule-based logic of the models
that automate scenarios of robot navigation. Knowledge of the theory behind the algebra and sequent calculus is not required.
Previous implementations of these settings can be downloaded from 1- Aximo: Automated Axiomatic Reasoning for Information
Update http://web.comlab.ox.ac.uk/publications/publication2909-abstract.html 2- Implementation of a cut-free sequent calculus
for logics with adjoint modalities http://web.comlab.ox.ac.uk/publications/publication3037-abstract.html
