Fuzzy expert systems attempt to model the cognitive processes of human experts. They currently accomplish this by capturing knowledge in the form of linguistic propositions. Real-world problems dictate the need to include mathematical knowledge as well. Pattern matching is a critical part of the inference procedure in expert systems. Matches are made between data clauses, premise clauses, and conclusion clauses, forming an inference chain. Preprocessing the clauses may generate intervals of real numbers which are compared in the fuzzy matching algorithm. These same intervals may be used in arithmetic expressions. The purpose of this article is to devise a method for incorporating arithmetic expressions into inference process of Fuzzy Expert Systems. Interval arithmetic is used to evaluate these expressions. Logical relations between intervals are analyzed using probability theory.0