Saturday, February 27, 2010
I presented some connections between emotions at work and knowledge at work in a slide show entitled Toxicity in the Knowledge Workplace.
Sunday, February 21, 2010
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.
Wednesday, February 17, 2010
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.
Friday, February 12, 2010
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.
Thursday, February 11, 2010
Tuesday, February 09, 2010
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.
Saturday, February 06, 2010
Friday, February 05, 2010
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.
Monday, February 01, 2010
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.