This description was more or less complete when I wrote it, but is likely to change if anyone is working on any of the topics listed. I'll provide more detail when I have time and inclination. Meanwhile, if you're interested, follow the links. You're welcome to ask me if you want any more information.

zero-order logic :

Developing a system which evaluates expressions in propositional logic ( that's not predicate logic ), and exploring its properties.

elucidating chemical reaction mechanisms :

Working out a set of elementary reactions which can account for observed behaviour in a complex reacting system. This starts with zero-order logic, and gets harder.

debate moderation :

Providing a framework for analysing the logic in discussions. It isn't language understanding, but it is an attempt to help ( or force ) debaters to stick to logical arguments.

Go back to me ( Alan Creak, in case you've forgotten );
Go back to Computer Science.