Details of talk
|Title||Using algebra to avoid robots|
|Presenter||Murray Neuzerling (La Trobe University)|
|Author(s)||Mr Murray Neuzerling|
Qualitative calculi are algebraic models of reasoning that have found application in robotics, planetary rovers, ship navigation and bird flocking. We discuss methods of determining if reasoning with constraints over a qualitative calculus is tractable, and offer some small examples.