A model to coordinate UAVs in urban environments using defeasible logic

In this paper we show how a non-monotonic rule based system (defeasible logic) can be integrated with numerical computation engines. To this end we simulate a physical system from which we obtain numerical information. The physical system perceives information from its environment and it sends some predicates which are used by the defeasible logic reasoning engine to make decisions and then these decisions are realized by the physical system as it takes action based on the decision made by the reasoning engine. We consider a scenario where UAVs have to navigate through an urban environment. The UAVs are autonomous and there is no centralized control. The goal of the UAVs is to navigate without any collisions with each other or with any building. In case of a possible collision, the concerned UAVs communicate with each other and use background knowledge or some travel guidelines to resolve the conflicts.