See also logic stuff mentioned at http://bayleshanks.com/bshanks/work/ai.html
See also notes-cog-ai-reasoning.