Interval arithmetic to support effective indoor positioning of software agents