  This work in progress paper provides an example to show a detouring procedure
through knowledge representation and reasoning. When a human manager requests a
detouring, this should affect the related agents. Through non-monotonic
reasoning process, we verify each step to be proceeded and provide all the
successful connections of the reasoning. Following this progress and continuing
this idea development, we expect that this simulated scenario can be a
guideline to build the traffic management system in real. After a brief
introduction including related works, we provide our problem formulation,
primary work, discussion, and conclusions.
