We spent most of our semester recovering from the summer by completing the 2 papers, working on our talks for MCURCSM and preparing posters for display at Earlham. Looking forward to next semester we have outlined what we have accomplished as well as some long term and short term goals.
completed:
internal/external representation of trees
project n -> n-1
CNF transformation, embed
arbitrary dimensional recognizer
graphical output up to 3d
3d inference rules and CKY algorithm
todo:
excavate
proof that excavate is inverse of embed
project's correctness?
rec's correctness?
higher dimensional graphical output (recursive, bottom up?)
generalize to 4d....nd assuming 2branching
think about over break:
revisit 3d inference rules w/ left child right sibling form in mind
compare ours to TAG inference rules from Shieber, Schabes, Pereira
read over break:
big paper-- representing mdtrees
inference rules
review work from summer (blog)