We propose a slight change of representation for mv-rules that allows us to simplify the functional descriptions of the algorithm.
For instance the rule (c d e,[ ,1])--written using the notation of Section 2--will be represented from now on as the tuple: .
Next we define a representation for sets of rules and sets of propositions that we will refer to as the mental state [17] of the agent. The representation consists of mapping each atom in to its current interval of truth-values and the (possibly empty) set of mv-rules that conclude it, or its negation.
The representation of an agent's mental state will evolve as deduction proceeds. We represent the initial mental state of an agent as a mapping from any atom into [0,1] and the set of rules deducing it. It means that the atoms initially have their most imprecise value--that is [0.1], Axiom A1, Definition 1 in Section 2. Notice that an agent with all the atoms with truth-values [0,1] is always consistent in our calculus.