Important note: Please do not send email to my UGAmail account. If you need to contact me, use the GMail address above instead.
My research interests include logic, natural language processing, evolutionary computing, proof theory, and Ramsey graph theory.
Porter.pl is my Prolog implementation of the Porter Stemming algorithm, which uses a rough model of English morphology to estimate the stem of a word for Information Retrieval (IR) purposes. Documentation is in the comments. It was programmed from the algorithm description instead of ported from another language, and works by first breaking words to be stemmed down into groups of consonants and vowels for easy matching. Although only tested in SWI-Prolog 5.4.7 and YAP Prolog 5.0.1 (both in Windows), it ought to work in most modern Prologs. It is designed to integrate with Michael Covington's Efficient Tokenizer from the ProNTo toolkit.
I am currently involved in the producing the third generation of the Spray Advisor using Genetic Algorithms project, or SAGA3 for short. I was funded by an assistantship from the USDA Forest Service in 2004, and although it has since expired I have continued to work on the project to use it for my AI thesis. I am building a SAGA3 website from which you can download the latest version.
My AI thesis project is to use evolutionary computing to construct counterexamples to improve estimates of the lower bounds of Ramsey numbers. Stanislaw Radziszowski maintains a survey of the current best estimates, "Small Ramsey Numbers." I've written two short weblog posts as an informal introduction to my thesis topic for those with no mathematical background: "Ramsey Numbers" and "Combinatorial Explosion." I plan to continue the series with new posts.
  Return to AI Center home page