More pre-thesis reading gets done.

Finally more progress with this book

Brachman, Ronald and Hector Levesque. Knowledge Representation and Reasoning (San Francisco, Calf.: Morgan Kaufmann, 2004).

I did get through chapter two which was dense math like symbolic logic and not everything is clear to me but the end of the chapter still made sense. I did not solve the exercises at the end of chapter two. I did start chapter three and it is moving much quicker now. I should be able to finish chapter three and start chapter four today.