Sunday, March 14, 2010

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.

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.