CYC is a long-term effort started at MIT, I believe, focused on creating a computer program with "common sense". CYCCorp commercializes this effort. Check it out. http://www.cyc.com