Thirty-Third Annual Victorian Algebra Conference, Sydney, Australia, 2015

Register for: VAC33

Details of talk

TitleUsing algebra to avoid robots
PresenterMurray Neuzerling (La Trobe University)
Author(s)Mr Murray Neuzerling
Sessionn/a
Time
Abstract


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.