Open the render settings window and choose AVI from the Image Format dropdown menu. When you batch render the necesarry frames they will be formatted as AVI.