Towards Modelling Defeasible Reasoning with Imperfection in Production Rule Systems

Authors:
Davide Sottara;Paola Mello;Mark Proctor
Affiliations:
DEIS, Facolta di Ingegneria, Universita di Bologna, Bologna, Italy 40100;DEIS, Facolta di Ingegneria, Universita di Bologna, Bologna, Italy 40100;JBoss, a division of Red Hat,
Venue:
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
Year:
2009

Citing 6
Cited 0

Defeasible reasoning with variable degrees of justification

Artificial Intelligence
Propositional defeasible logic has linear complexity

Theory and Practice of Logic Programming
Robust reasoning with rules that have exceptions: From second-order probability to argumentation via upper envelopes of probability and possibility plus directed graphs

Annals of Mathematics and Artificial Intelligence
Embedding defeasible logic into logic programming

Theory and Practice of Logic Programming
Representing Uncertainty in RuleML

Fundamenta Informaticae
Adding Uncertainty to a Rete-OO Inference Engine

RuleML '08 Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.