This book contains a cohesive self-contained collection of theoretical and applied research
results that have been achieved in this project which pertain to nonmonotonic and approximate
easoning systems developed for an experimental unmanned aerial vehicle system used in the
project. This book should be of interest to the theoretician and applied researcher alike and
to autonomous system developers and software agent and intelligent system developers.