[填空题,10分] （ ）是一种规范化的人工语言，包括具有较强族性检索功能的分类语言和具有较强特性检索功能的主题语言。