Still studying, I took time off this afternoon to relax.

I started the morning studying fairly hard. Mostly I started by organizing time and scheduling. I made a list of the exercises and did not actually get to working on these anymore yet. I did review the notes the professor posted and this reading relaxed me about the test. True, the exercises most likely will be on the test so deserve attention. That is we will probably have to solve some logic problems. On the other hand, placing the technology of knowledge representation in context with other computing topics was inspiring and I believe I can study a little OWL and RDF now to prepare for the test.

I also need to finish the review of my own notes. I have about four more lectures worth of notes to read. I lost my notes for the first three lectures.

School tasks and other learning tasks for today and the next few months.

This is just some note taking for myself. I have a test tomorrow in knowledge representation so am studying today. I am also getting organized for doing all this school work.

1. Study for test #1 in my knowledge representation course.
2. Study the assigned journal articles for my thesis research.
3. Write a conference paper on toxic workplaces as modeled in a KR language.
4. Prepare a book review presentation for the local SAS user's group.
5. Finish reading three SAS books.

Database theory everywhere and database languages.

I am studying with a database expert professor. He is teaching the class in Knowledge Representation. I am really enjoying this course so far.

I am trying to read the logic of theory contraction and the logic of updating theories.

I am reading symbolic logic and trying to understand the symbols used in an assigned paper. I have been required to read this paper by my supervisor in my thesis work.

Reading about PROC SQL.

I have read now 6 chapters in the book:

Lefler, Kirk Paul. PROC SQL: Beyond the Basics Using SAS (Carey, NC: Books by Users, 2004).

I have a 20 page paper to read on belief revision and belief updating logic. Then I have even more to read.

I have actually been assigned 4 papers, a chapter in a book and a number of chapters in another book to read now. I have downloaded 2 of these papers and updated my master bibliography folder in RefWorks for these 2 papers. I have 2 more papers to still download. I want to add these 4 papers to my e-book reader. I have started to read the first paper and have read 3 pages so far, and am almost finished the fourth page now.

I attended both classes this week.

I started my course this week. I attended both classes. We did cover some of group theory this week. We only looked at group theory as a way of looking at logical proof and mathematical logic was our first example.