A prototype implementation for situation analysis using ASP and CoreASM

Resource type
Thesis type
(Thesis) M.Sc.
Date created
2012-08-30
Authors/Contributors
Abstract
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.
Document
Identifier
etd7428
Copyright statement
Copyright is held by the author.
Permissions
The author granted permission for the file to be printed and for the text to be copied and pasted.
Scholarly level
Supervisor or Senior Supervisor
Thesis advisor: Delgrande, Jim
Thesis advisor: Glässer, Uwe
Member of collection
Attachment Size
etd7428_ZVaseqi.pdf 1.4 MB