Towards modelling defeasible reasoning with imperfection in production rule systems

Davide Sottara, Paola Mello, Mark Proctor

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.

Original languageEnglish (US)
Title of host publicationRule Interchange and Applications - International Symposium, RuleML 2009, Proceedings
Pages345-352
Number of pages8
DOIs
StatePublished - Dec 2 2009
Externally publishedYes
EventInternational Symposium on Rule Interchange and Applications, RuleML 2009 - Las Vegas, NV, United States
Duration: Nov 5 2009Nov 7 2009

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5858 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

OtherInternational Symposium on Rule Interchange and Applications, RuleML 2009
CountryUnited States
CityLas Vegas, NV
Period11/5/0911/7/09

Fingerprint

Production Rules
Imperfections
Imperfect
Reasoning
Module
Defects
Modeling
Object-oriented
Configuration
Object
Framework

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Sottara, D., Mello, P., & Proctor, M. (2009). Towards modelling defeasible reasoning with imperfection in production rule systems. In Rule Interchange and Applications - International Symposium, RuleML 2009, Proceedings (pp. 345-352). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5858 LNCS). https://doi.org/10.1007/978-3-642-04985-9_32

Towards modelling defeasible reasoning with imperfection in production rule systems. / Sottara, Davide; Mello, Paola; Proctor, Mark.

Rule Interchange and Applications - International Symposium, RuleML 2009, Proceedings. 2009. p. 345-352 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5858 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Sottara, D, Mello, P & Proctor, M 2009, Towards modelling defeasible reasoning with imperfection in production rule systems. in Rule Interchange and Applications - International Symposium, RuleML 2009, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 5858 LNCS, pp. 345-352, International Symposium on Rule Interchange and Applications, RuleML 2009, Las Vegas, NV, United States, 11/5/09. https://doi.org/10.1007/978-3-642-04985-9_32
Sottara D, Mello P, Proctor M. Towards modelling defeasible reasoning with imperfection in production rule systems. In Rule Interchange and Applications - International Symposium, RuleML 2009, Proceedings. 2009. p. 345-352. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-642-04985-9_32
Sottara, Davide ; Mello, Paola ; Proctor, Mark. / Towards modelling defeasible reasoning with imperfection in production rule systems. Rule Interchange and Applications - International Symposium, RuleML 2009, Proceedings. 2009. pp. 345-352 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{5abeec66167e48c1a2df1801dd777687,
title = "Towards modelling defeasible reasoning with imperfection in production rule systems",
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.",
author = "Davide Sottara and Paola Mello and Mark Proctor",
year = "2009",
month = "12",
day = "2",
doi = "10.1007/978-3-642-04985-9_32",
language = "English (US)",
isbn = "3642049842",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "345--352",
booktitle = "Rule Interchange and Applications - International Symposium, RuleML 2009, Proceedings",

}

TY - GEN

T1 - Towards modelling defeasible reasoning with imperfection in production rule systems

AU - Sottara, Davide

AU - Mello, Paola

AU - Proctor, Mark

PY - 2009/12/2

Y1 - 2009/12/2

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=70649115386&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=70649115386&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-04985-9_32

DO - 10.1007/978-3-642-04985-9_32

M3 - Conference contribution

AN - SCOPUS:70649115386

SN - 3642049842

SN - 9783642049842

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 345

EP - 352

BT - Rule Interchange and Applications - International Symposium, RuleML 2009, Proceedings

ER -