Blog‎ > ‎

Literate Java Posets

posted Mar 25, 2014, 10:17 PM by Evan Morrison
I've loved the idea and concept of literate programming since I first came across it in my undergraduate years. The problem I've always had with it is that I've never had a practical use for it. Until now that is. Through the write up of my thesis I've started to document the decision procedures for some of the more complex functions in TextSeer, including accumulation as a belief update function, abduction, and default reasoning. 

Those functions will all be posted here sooner or later, though in the mean time to practice my literate coding I took an opportunity to write up a poset class I had to write today. 

I'm currently implementing a few instances of the c-semiring framework, to do that I've had to use partially ordered sets (poset). After a brief search for a java poset class, I couldn't find a working copy online so I wrote one. I've attached a copy of the literate description of the poset class which is now in TextSeer (https://github.com/edm92/TextSeer/blob/master/src/PosetExample.java) 


Ċ
Evan Morrison,
Mar 25, 2014, 10:17 PM
Comments