A prototype implementation for situation analysis using ASP and CoreASM

Answer Set Programming (ASP) is a non-monotonic declarative language that is widely applied to different areas in science and technology. Early implementations of ASP could only accept static input data which limited the usefulness of such programs. However, recent advancements enabled dynamic input data to be used and generate answer sets incrementally. In this work we assess the suitability of a reactive ASP system to underpin a situational awareness program. We used the Maritime traffic domain for our evaluation, as it is highly dynamic with new information continuously pouring in. We have developed a situation assessment system to automate a component of the marine traffic control system in order to assist human operators by automatically deriving new situational facts and suggest possible courses of action. The State Transition Data Fusion model has been adopted for the situation assessment task; while the CoreASM and ASP components perform the underlying analysis.