Lenat, Douglas B, AAAI, United States