After chapter two covered First Order Logic (FOL) the third chapter connected this representational language with the idea of a Knowledge Base (KB) for a domain. Then entailments were shown to be provable and now chapter four will show how to use contradiction in a proof. Some of this is stuff I already know using different symbols. I did give some thought to the exercises in chapter three. I generally solve exercises in my head for a mathematics textbook and likewise this is what I did for chapter three.
I will now start chapter four. I have studied for about one hour and a half today using this pre-thesis book. So far this book is about logic.
No comments:
Post a Comment