Logic based representation and reasoning for user modeling shell systems