Merging Visual Analysis with Automated Reasoning: Using Prajna to Solve the Traffic Challenge - VAST 2009 Traffic Mini Challenge Award: Excellent Analysis Facilitated by a Customizable Toolset

摘要

The internet traffic challenge required the development of a custom application to analyze internet traffic patterns coupled with building access records. To solve this challenge, I applied the Prajna Project, an open-source Java toolkit designed to provide various capabilities for visualization, knowledge representation, semantic reasoning, and data fusion. By applying some of the capabilities of Prajna to this challenge, I could quickly develop a custom application for visual analysis. I determined that I could solve some of the analytical components of this challenge using automated reasoning techniques. Prajna includes interfaces to incorporate automated reasoners into visual applications. By blending the automated reasoning processes with visual analysis, I could design a flexible, useful application to solve this challenge.