Cool - it's a long time since I paid much attention - I did research on commonsense qualitative models of engineering domains and that led to a personal interest in the wider issues of commonsense reasoning but at that time (early 90s) I ended up deeply skeptical of the approaches that were common then (in my case mostly various qualitative/sorted/temporal logics).