Stanford President Kennedy congratulates Doug Lenat