tERRY DARTNALL is senior lecturer in the School of Computing and Information Technology at Griffith University, Brisbane, where he teaches Artificial Intelligence and logic. His main research is in the foundations of Artificial Intelligence and cognitive science, and the related areas of philosophy.