从局部描述论到半描述论