Lotfi Zadeh has died