自動的特性推論