Nailed down design for FLAIRS paper motivation and experiment.
Constructed Several Block World components.
Implemented C++ version of dynamic rebuilding of decomps (in progress eta today)
Expanding visualizer to show agent movement and discovery of block world components, also enhanced visualizer with better exception handling.
Finished some typed proofs for Dr. Barnes – still have a few chapters to type up.
Planned Work
Complete and Run FLAIRs paper experiment target Wednesday
Finalize dissertation committee and submit first set of paperwork – target Wednesday
Filled in Dissertation outline – target required for finalization of committee members.
More proofs for Dr. B
Draft of FLAIRS paper target Friday
Interface work on DEACCON – target as time permits