William of Ockham is a programmer and researcher in logic and artificial intelligence, and interests in philosophy.