hal is a kind of fictional ai