Saturday, October 25, 2008
I have a learning opportunity at work but need to read a book first.
Friday, October 24, 2008
Our project is moving along we had our walk through meeting yesterday.
Monday, October 13, 2008
Perl script to make my directed list citations into BibTeX format citations
Following up on Chapter three references to knowledge representation standards and a couple of common sense reasoning onology projects.
I am planning for my final 4.5 hours of pre-thesis study this long weekend to write this blog entry, using the on screen pdf's I am able to find for the following references. Only two are books and the rest are magazine, journal, or proceedings articles, so should all be accessible from the university library over the library web interface. I will post this entry then later add the citations then post it again. Finally I will repost this entry with follow up discussions after reading each paper.
The references in Chapter three are too knowledge representation or knowledge communication languages or standards including semantic web languages and include DARPA Agent Mark Up Language (DAML) for an SGML example.
The full list of standards and the authors references for these are:
- Knowledge Interchange Format (KIF)
- Knowledge Query Manipulation Language (KQML)
- DARPA Agent Markup Language (DAML)
- Ontology Inference Layer (OIL)
- Web Ontology Language (OWL)
The reference to the "Semantic Web is Tim Berners-Lee, James Hendler, and Ora Lassila. The Semantic Web Scientific American, 284(5):34-43, 2001.
There are also some references to the logic and its origins that I won't follow up on.
I will follow up on references to the project to "develop a universal ontology for common sense reasoning... the CYC project." and "smaller projects" with related ambitions... the KM project." Here are the citations for those projects that the authors have given.
- CYC
- KM
Chapter three was much more readable.
After chapter two covered First Order Logic (FOL) the third chapter connected this representational language with the idea of a Knowledge Base (KB) for a domain. Then entailments were shown to be provable and now chapter four will show how to use contradiction in a proof. Some of this is stuff I already know using different symbols. I did give some thought to the exercises in chapter three. I generally solve exercises in my head for a mathematics textbook and likewise this is what I did for chapter three.
I will now start chapter four. I have studied for about one hour and a half today using this pre-thesis book. So far this book is about logic.
More pre-thesis reading gets done.
- Brachman, Ronald and Hector Levesque. Knowledge Representation and Reasoning (San Francisco, Calf.: Morgan Kaufmann, 2004).
- I did get through chapter two which was dense math like symbolic logic and not everything is clear to me but the end of the chapter still made sense. I did not solve the exercises at the end of chapter two. I did start chapter three and it is moving much quicker now. I should be able to finish chapter three and start chapter four today.
Sunday, October 12, 2008
I am now more than half way through the book The Making of Second Life.
Pre thesis reading continues this long weekend.
- Brachman, Ronald and Hector Levesque. Knowledge Representation and Reasoning (San Francisco, Calf.: Morgan Kaufmann, 2004).
- I read more of chapter two while on break at a job I was doing on Saturday. Chapter two is about first order logic. I should complete this chapter two and get started on chapter three today.
Wednesday, October 08, 2008
Our project team got our assignment done on time and we got a great mark.
Now this week we have an extra assignment of developing a conceptual model. We need to use some windows software the professor has developed to make a conceptual model documentation easier. I tried this evening to install this ABCmod software on my Vista PC but it did not work.I just booted up my XP on the Macbook and and now have to update XP to service pack 3. I installed Java 6 on both the XP and the Vista box. I am going to try to do the majority of the assignment over night now and get it really started. Then this long weekend I can perfect my assignment. We work alone on this assignment.
One of our team mates is working on the second assignment in the project. That assignment is to create the conceptual model for our project. Well I am going back to my XP computer now and posting this update on my school work.