Sunday, March 14, 2010
I have become knowledgeable about using Prover 9 to do resolutions.
Saturday, March 13, 2010
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.
Saturday, February 27, 2010
I presented my research at a school conference this past week.
Sunday, February 21, 2010
I am in need of better scheduling of my school work.
Wednesday, February 17, 2010
Prover 9 is working fine for my school work.
I am slowly getting some homework done.
Friday, February 12, 2010
I am doing a book review talk this spring. I will blog my progress reading the book here.
Thursday, February 11, 2010
I applied to be a research officer at work.
Tuesday, February 09, 2010
I have now learned resolution-based refutations in a lecture as well as from a book.
Saturday, February 06, 2010
Studying SQL these days.
Friday, February 05, 2010
I wrote a logic test as part of the knowledge representation course.
Monday, February 01, 2010
Planning on attending SAS Global Forum.
Sunday, January 31, 2010
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.
- Study for test #1 in my knowledge representation course.
- Study the assigned journal articles for my thesis research.
- Write a conference paper on toxic workplaces as modeled in a KR language.
- Prepare a book review presentation for the local SAS user's group.
- Finish reading three SAS books.
