nach oben

Erschienen in:

2018 | OriginalPaper | Buchkapitel

8. Formalizing Interoperability in Rule Bases

verfasst von : Grzegorz J. Nalepa

Erschienen in: Modeling with Rules Using Semantic Knowledge Engineering

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

With the increasing number of rules application areas, the number of different rule representations is also growing. As a result, rule-based knowledge cannot be easily shared among different rule bases. The goal of translation methods is to facilitate the process of interoperability between representations by providing an intermediate and formalized format for knowledge translation. We provide a definition of the formalized model for production rule representation. The proposed model is intended to be used as the intermediate format for rule interoperability between rule languages like CLIPS, Jess, Drools, or XTT. The discussed model is based on ALSV(FD) logic and significantly extends a formal model of XTT towards production rule systems. As we consider structured rule bases, module formalization is also introduced.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel Handling Uncertainty in Rules

Nächstes Kapitel Semantic Knowledge Engineering Approach

The semantics of a knowledge base corresponds in fact to the so-called operational semantics presented in [1] and describes the changes of a fact base after rules application is considered from a user perspective.

A new type \(T{}{_{{}}}\) that inherits other types may provide its own structure which is further extended by the set of inherited types. Here, such a structure is called initial structure of the type T and is written as \(T{}{_{{}}}^{0} = (\mathbf {S}_{T{}{_{{}}}^{0}}, \mathbf {A}_{T{}{_{{}}}^{0}})\).

These features are provided by the Droolsrule language and allows for changing the default inference flow. In the proposed model they can be expressed with the help of loc-on-active and xor submodules.

This submodule corresponds to the lock-on-active feature supported by Drools.

This submodule corresponds to the activation-group feature supported by Drools.

Winskel, G.: The Formal Semantics of Programming Languages: An Introduction. MIT Press, Cambridge (1993)MATH

Riley, G.: CLIPS - A Tool for Building Expert Systems (2008). http://clipsrules.sourceforge.net

Friedman-Hill, E.: Jess in Action. Rule Based Systems in Java. Manning, Greenwich (2003)

Browne, P.: JBoss Drools Business Rules. Packt Publishing, Birmingham (2009)

Nalepa, G.J.: Semantic Knowledge Engineering. A Rule-Based Approach. Wydawnictwa AGH, Kraków (2011)

Kaczor, K., Nalepa, G.J., Łysik, Ł., Kluza, K.: Visual design of Drools rule bases using the XTT2 method. In: Katarzyniak, R., Chiu, T.F., Hong, C.F., Nguyen, N. (eds.) Semantic Methods for Knowledge Management and Communication. Studies in Computational Intelligence, vol. 381, pp. 57–66. Springer, Berlin (2011). https://doi.org/10.1007/978-3-642-23418-7

Kaczor, K., Kluza, K., Nalepa, G.J.: Towards rule interoperability: design of drools rule bases using the XTT2 method. Trans. Comput. Collect. Intell. XI 8065, 155–175 (2013)

Nalepa, G.J., Ligęza, A., Kaczor, K.: Formalization and modeling of rules using the XTT2 method. Int. J. Artif. Intell. Tools 20(6), 1107–1125 (2011)CrossRef

Kaczor, K.: Knowledge formalization methods for semantic interoperability in rule bases. PhD thesis, AGH University of Science and Technology (2015) (Supervisor: Grzegorz J. Nalepa)

10.

Ligęza, A.: Logical Foundations for Rule-Based Systems. Springer, Berlin (2006)MATH

11.

Nalepa, G., Bobek, S., Ligęza, A., Kaczor, K.: HalVA – rule analysis framework for XTT2 rules. In: Bassiliades, N., Governatori, G., Paschke, A. (eds.) Rule-Based Reasoning, Programming, and Applications. Lecture Notes in Computer Science, vol. 6826, pp. 337–344. Springer, Berlin (2011)

Titel: Formalizing Interoperability in Rule Bases
verfasst von: Grzegorz J. Nalepa
Verlag: Springer International Publishing
Buch: Modeling with Rules Using Semantic Knowledge Engineering
Print ISBN: 978-3-319-66654-9

Electronic ISBN: 978-3-319-66655-6

Copyright-Jahr: 2018
DOI: https://doi.org/10.1007/978-3-319-66655-6_8

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner