Towards Modelling Defeasible Reasoning with Imperfection in Production Rule Systems

This paper introduces a novel extension to the object-oriented RETE algorithm, designed to create networks whose behaviour can be configured by plugging different modules in. The main feature is the possibility of asserting not just new objects as facts, but also information on how the facts satisfy the different constraints in the network. The underlying reasoning process has been created to process imperfect information, for example fuzzy or probabilistic, but the same framework can easily be adapted to reason with defeasible rules, both boolean and imperfect, by choosing the configuration modules appropriately