An approach to type-2 fuzzy arithmetic