The WITAS project at Linköping university (Sweden) combines research in knowledge representation, computer vision, and hardware and support software technologies in a long-term research project on intelligent UAV:s. One branch of the project extends contemporary theories of reasoning about actions and change so that they can be used for the reasoning done by the aerial robot. Necessary extensions include: reasoning about hybrid change (continuous and discrete), reasoning about sensors and actuators, and reasoning that results in goal- directed behavior in the robot itself.
The talk will give a brief overview of the WITAS project as a whole, including its current software base, and will then describe our recent developments in logics for actions and change.