AI vs AGI vs ASI vs SI: What Do They Mean?