I am trying to devise a general method for logical inference based upon induction and abduction on temporal datasets. Fundamentally the purpose is to represent ways in which humans (and in particular, historians) collect information and reorganize them.