Aha, David W, Navy Center for Applied Research in Artificial Intelligence, United States