I'd like to check out Sowa's book on Knowledge Representation further. It's kind of expensive so I can't afford it now, but here's the home page for the book so I can poke around some more 
I just finished reading his piece on Ontology, Metadata, and Semiotics and I liked it a lot. One of the things I found interesting is that it turns out there are typed versions of first-order logic. In my "applied symbolic logic" class we just dealt with something similar to the parent example, where you have to say something like Ex(Human(x)... etc. And I'm like "No, x doesn't have the property of being human... it is human, and its type determines what other properties can possibly be applied to it." Yet again, I find I'm not the first to think of things like this
I think it'd be neat if Y Windows took off as a successor to X-Windows. Presuming, of course, that Y Windows is as good a project as it seems to be. Regardless, I understand that X-Windows is showing its age and could stand to be replaced.
As an aside, that's what's kind of neat about the unix philosophy. Every part of the system besides the kernel isn't "part of" the system... you can't separate Explorer from Windows, but in unix-land you have all these discrete parts that interoperate. If something better comes along, you can go ahead and use it.
I'd highly recommend reading everything having to do with Rex "Hammock Man"'s semi-private meeting with the President recently, including the multiple followups (20th, 21st, and 22nd). This article from The Tennessean was good.
One problem with Google's AdSense is this... today I saw an ad on Leslie's site for a hosting company that I would recommend against. If that advertising was on my site, I don't think I'd have any way to indicate that I didn't approve of an ad from their company.
Sunday, February 22, 2004
Permalink
