Requirements specification for knowledge-based systems