I have become knowledgeable about using Prover 9 to do resolutions.

I am now working on my second homework assignment in knowledge representation. To do both problems I need to use Otter or its modern implementation Prover 9. I have written all the formulas now for one problem into Prover 9 input files. Now I need to consult my course notes and the lecturer's slides to see how and what to set my goals to in Prover 9. I may move on now to the second problem and write that up into input files. I have about 12 hours to do this work. I must also do a write up and then make a pdf of that and burn all the files to CD.

I have been studying SQL for almost a year now. This is helping me study knowledge representation.

At the moment, I am in a course taught by a leading database researcher. The course is not about databases. The lecturer uses databases as examples of where inference is not done with the data. In other words, databases are not artificial intelligence. Whereas knowledge bases are about inference and developed in the artificial intelligence field and then go beyond to such topics as the semantic web.

Thus it makes sense that research on knowledge management and assessments of knowledge management's successes put down databases of knowledge as under used and expensive projects that have been created by a management fad for knowledge management. These assessments may, in fact, be off in this sense. My research could show that these databases can be converted to knowledge bases and then have more value as these would actually think.

This would be the expert software of artificial intelligence which is also mentioned in the both the knowledge representation literature and the knowledge management literature. In neither literature's are expert software's the exact junction. The knowledge representation literature sees its self as moving beyond expert databases and the knowledge management assessments have put a lot of faith in expert systems and some times also use these systems to again prove the failure or success of knowledge management systems and efforts by judging the effectiveness of these software's. My contribution to the knowledge management field will be to present knowledge representation as a tool for knowledge management. This is probably not an original idea. I can though offer more support and experimentation to bring knowledge representation into knowledge management again perhaps in some novel ways.

I presented my research at a school conference this past week.

I presented some connections between emotions at work and knowledge at work in a slide show entitled Toxicity in the Knowledge Workplace.

I am in need of better scheduling of my school work.

I have used scheduling before for school work and it has worked well. I have lost touch with this art as I have been working full time and not scheduling the off work time.

Prover 9 is working fine for my school work.

Almost right after I wrote the last blog post I tried out prover 9 with the lecture example the professor had given and it worked just fine. This means my school work should now be easy to complete.

I am slowly getting some homework done.

I have three problems solved now in my home work with about ten more to do. Most of the rest require I use Otter software. So my next step should be getting this software working and doing, resolutions, refutations and proofs. Once Otter is up and running the homework will be easy to complete.

I am doing a book review talk this spring. I will blog my progress reading the book here.

I am now reviewing Output Delivery System: The Basics and Beyond by Lauren E. Haworth, Cynthia L. Zender, and Michele M. Burlew. I read the first chapter for the second or third time and tried some code at work. That is I did not read linearly but looked up exactly what I thought would solve a problem and teach me the most. I tried ODS TRACE around a Macro program. It was hard to see what the ODS objects were but I identified the dataset behind the numbers I want to extract. I want to choose what to output into csv and also meet some standards for that cvs output in terms of formatting. I will continue reading chapter two for the second or third time. I downloaded the code that creates the dataset used in the books examples. Now I am not sure whether I will read more this evening or get back to the knowledge representation topic of diagnosis.

I applied to be a research officer at work.

I applied to be a research officer at work and wrote a test for this job this week. Now I have to wait to see if I will be interviewed.

I have now learned resolution-based refutations in a lecture as well as from a book.

I have learned resolution of disjunctive normal form propositional logic to prove a formula inconsistent. This is a method of arguing by counter example the truth of a statement. We have just now covered the proofs for the soundness of this one step in this method namely the resolution rule of canceling a proposition and its negation, and then the soundness of the over all method, the refutation method and then the proof of the completeness of the method.

Studying SQL these days.

I am studying SQL these days. Today I began studying software testing. I also borrowed some dictionaries of logic symbols.

I wrote a logic test as part of the knowledge representation course.

I really did not want to end up studying logic in graduate school yet here I am doing just that. It is improving my understanding of knowledge representation and this understanding will be needed to actually write stuff my thesis supervisor expects. This logic refresher also allows me to think about some software writing dogmas and problematics that keep popping up at work.

Planning on attending SAS Global Forum.

I successfully found a hotel and plane flight and including the cost of student conference registration I can just pay for the whole trip with my tax return. I will have saved about 1110 dollars by searching on the web and using Travel Cuts, a student travel service rather than expedia.ca, a constantly television advertised service.

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.