Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Buchtitelbild

2018 | OriginalPaper | Buchkapitel

1. Rules as a Knowledge Representation Paradigm

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
loading …

Abstract

Rules are a commonly used and natural way to express knowledge. They have been used for decades in AI, Computer Science, Cognitive Science and other domains. We start by discussing the AI roots of rules and elaborate on different kinds and types of rules. We then focus on a more careful treatment of rules in symbolic AI. There, they constitute an approach which allows for the representation of knowledge and basic automated reasoning. Originally, one of the most important areas for rule applications were expert systems. We will discuss them, along with a much broader perspective. What makes rule-based representation and reasoning particularly interesting is the opportunity for the formalization of rule languages. Therefore, selected logic-based formalizations are considered. We present in more detail a family of so-called attributive logics. Based on these concepts we introduce important requirements for a formalized description of rule based-systems.

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
Nächstes Kapitel Knowledge Engineering with Rules
Fußnoten
1
The idea for the project was originally proposed in [6]. See https://​www.​w3.​org/​standards/​semanticweb for currents standards.
 
2
MDA introduces three general abstraction levels in system modeling: computation independent (CIM), platform-independent (PIM) and platform-specific (PSM) [12].
 
3
Clearly this is not the only possibility. One can find a comprehensive resume of discussion on the suitability of logic for knowledge representation in [26].
 
4
The term “production” is understood technically. When a rule in such a system is fired (run) it can create a new fact which is added to the contents of the knowledge base. We can say that the rule “produced” the fact. Sometimes such rules are simply called “productions”.
 
5
There also exist rule-based languages that are meant to express the transformations of data, such as XSLT. While it uses rules, it can be argued its main purpose is not to represent rules.
 
6
In fact formalized rule languages are an important class of rule notations. They are often referred to as logic-based rule languages, as the formalization is mostly provided with means of logic.
 
Literatur
1.
Nilsson, N.J.: Artificial Intelligence: A New Synthesis, 1st edn. Morgan Kaufmann Publishers Inc., San Francisco (1998)MATH
2.
Russell, S., Norvig, P.: Artificial Intelligence: A Modern Approach, 3rd edn. Prentice-Hall, Harlow (2009)MATH
3.
Giarratano, J., Riley, G.: Expert Systems. Principles and Programming, 4th edn. Thomson Course Technology, Boston (2005). ISBN 0-534-38447-1
4.
Ligęza, A.: Expert systems approach to decision support. Eur. J. Oper. Res. 37(1), 100–110 (1988)CrossRef
5.
von Halle, B.: Business Rules Applied: Building Better Systems Using the Business Rules Approach. Wiley, New York (2001)
6.
Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American (2001)
7.
Hitzler, P., Krötzsch, M., Rudolph, S.: Foundations of Semantic Web Technologies. Chapman & Hall/CRC, Boca Raton (2009)
8.
Dumas, M., La Rosa, M., Mendling, J., Reijers, H.A.: Fundamentals of Business Process Management. Springer, Berlin (2013)CrossRef
9.
Brachman, R., Levesque, H.: Knowledge Representation and Reasoning, 1st edn. Morgan Kaufmann (2004)
10.
Wagner, G., Damásio, C.V., Antoniou, G.: Towards a general web rule language. Int. J. Web Eng. Technol. 2(2/3), 181–206 (2005)CrossRef
11.
Miller, J., Mukerji, J.: MDA Guide Version 1.0.1. OMG (2003)
12.
Kleppe, A., Warmer, J., Bast, W.: MDA Explained: The Model Driven Architecture: Practice and Promise. Addison Wesley, Boston (2003)
13.
14.
Dechter, R.: Constraint Processing. The Morgan Kaufmann Series in Artificial Intelligence. Morgan Kaufmann, San Francisco (2003)MATH
15.
Bratko, I.: Prolog Programming for Artificial Intelligence, 3rd edn. Addison Wesley, Harlow (2000)MATH
16.
Berndtsson, M., Mellin, J.: In: E.C.A Rules, pp. 959–960. Springer US, Boston, MA (2009)
17.
18.
Clark, J.: XSL Transformations (XSLT) version 1.0 W3C recommendation 16 november 1999. Technical report, World Wide Web Consortium (W3C) (1999)
19.
Hay, D., Kolber, A., Healy, K.A.: Defining Business Rules - what they really are. Final Report. Technical report, Business Rules Group (2000)
20.
Flach, P.: Machine Learning: The Art and Science of Algorithms That Make Sense of Data. Cambridge University Press, New York (2012)CrossRefMATH
21.
Han, J., Kamber, M.: Data Mining: Concepts and Techniques. Morgan Kaufmann Publisher, San Francisco (2000)MATH
22.
Nadel, L. (ed.): Knowledge representation. Encyclopedia of Cognitive Science, vol. 2, pp. 671–680. Macmillan Publishers Ltd., Basingstoke (2003)
23.
Ichikawa, J.J., Steup, M.: The Analysis of Knowledge. In: Stanford Encyclopedia of Philosophy. Center for the Study of Language and Information (CSLI), Stanford University (2014)
24.
Negnevitsky, M.: Artificial Intelligence. A Guide to Intelligent Systems. Addison-Wesley, Harlow (2002). ISBN 0-201-71159-1
25.
Hendler, J., van Harmelen, F.: The semantic web: webizing knowledge representation. Handbook of Knowledge Representation. Elsevier, New York (2008)
26.
van Harmelen, F., Lifschitz, V., Porter, B. (eds.): Knowledge representation and classical logic. Handbook of Knowledge Representation. Elsevier Science, Amsterdam (2007)
27.
van Harmelen, F., Lifschitz, V., Porter, B. (eds.): Handbook of Knowledge Representation. Elsevier Science, Amsterdam (2007)MATH
28.
Minsky, M.: A framework for representing knowledge. The Psychology of Computer Vision. McGraw-Hill, New York (1975)
29.
Quillian, M.R.: Semantic memory. Semantic Information Processing. MIT Press, Cambridge (1968)
30.
Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)MATH
31.
Sowa, J.: Semantic Networks. Encyclopedia of Artificial Intelligence. Wiley, New York (1987). revised and extended for the second edition (1992)
32.
Vanthienen, J., Dries, E., Keppens, J.: Clustering knowledge in tabular knowledge bases. In: Proceedings Eighth IEEE International Conference on Tools with Artificial Intelligence, pp. 88–95 (1996)
33.
Ligęza, A.: Logical Foundations for Rule-Based Systems. Springer, Berlin (2006)MATH
34.
Vanthienen, J., Mues, C., Wets, G.: Inter-tabular verification in an interactive environment. In: Vanthienen, J., van Harmelen, F. (eds.) EUROVAV, pp. 155–165. Katholieke Universiteit Leuven, Belgium (1997)
35.
Vanthienen, J., Mues, C., Aerts, A., Wets, G.: A modularization approach to the verification of knowledge based systems. In: 14th International Joint Conference on Artificial Intelligence (IJCAI’95) - Workshop on Validation & Verification of Knowledge Based Systems, Montreal, Canada, 20–25 Aug 1995
36.
Vanthienen, J., Robben, F.: Developing legal knowledge based systems using decision tables. In: ICAIL, pp. 282–291 (1993)
37.
Vanthienen, J., Dries, E.: Illustration of a decision table tool for specifying and implementing knowledge based systems. In: ICTAI, pp. 198–205 (1993)
38.
Quinlan, J.R.: Simplifying decision trees. Int. J. Man-Mach. Stud. 27(3), 221–234 (1987)CrossRef
39.
Hopgood, A.A.: Intelligent Systems for Engineers and Scientists, 2nd edn. CRC Press, Boca Raton (2001)
40.
Buchanan, B.G., Shortliffe, E.H.: Rule Based Expert Systems: The Mycin Experiments of the Stanford Heuristic Programming Project. The Addison-Wesley Series in Artificial Intelligence. Addison-Wesley Longman Publishing Co., Inc., Boston (1984)
41.
Jackson, P.: Introduction to Expert Systems, 3rd edn. Addison–Wesley, Harlow (1999)MATH
42.
Liebowitz, J. (ed.): The Handbook of Applied Expert Systems. CRC Press, Boca Raton (1998)MATH
43.
Waterman, D.A.: A Guide to Expert Systems. Addison-Wesley Longman Publishing Co. Inc., Boston (1985)
44.
David, J.M., Krivine, J.P., Simmons, R. (eds.): Second Generation Expert Systems. Springer, Secaucus (1993)MATH
45.
Forgy, C.: Rete: a fast algorithm for the many patterns/many objects match problem. Artif. Intell. 19(1), 17–37 (1982)CrossRef
46.
Brownston, L., Farrell, R., Kant, E., Martin, N.: Programming Expert Systems in OPS5. Addison-Wesley, Boston (1985)
47.
48.
Friedman-Hill, E.: Jess in Action, Rule Based Systems in Java. Manning, Greenwich (2003)
49.
50.
Tepandi, J.: Verification, testing, and validation of rule-based expert systems. In: Proceedings of the 11-th IFAC World Congress, pp. 162–167 (1990)
51.
Rosati, R.: DL+log: Tight integration of description logics and disjunctive Datalog. In: Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), pp. 68–78 (2006)
52.
53.
Delugach, H.: ISO/IEC 24707 Information Technology–Common Logic (CL) – A Framework for a Family of Logic-Based Languages. The formally adopted ISO specification (2007)
54.
Marcja, A., Toffalori, C.: A Guide to Classical and Modern Model Theory. Trends in Logic: Studia Logica Library. Kluwer Academic Publishers, Dordrecht (2003)CrossRefMATH
55.
Baader, F., Horrocks, I., Sattler, U.: Description logics. Handbook of Knowledge Representation. Elsevier, New York (2008)
56.
Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. J. ACM 42(4), 741–843 (1995)MathSciNetCrossRefMATH
57.
58.
59.
Genesereth, M.R., Nilsson, N.J.: Logical Foundations for Artificial Intelligence. Morgan Kaufmann Publishers Inc., Los Altos (1987)MATH
60.
Connolly, T., Begg, C., Strechan, A.: Database Systems, A Practical Approach to Design, Implementation, and Management, 2nd edn. Addison-Wesley, Harlow (1999)
61.
Klösgen, W., Żytkow, J.M. (eds.): Handbook of Data Mining and Knowledge Discovery. Oxford University Press, New York (2002)MATH
62.
Pawlak, Z.: Rough Sets. Theoretical Aspects of Reasoning about Data. Kluwer Academic Publishers, Dordrecht (1991)MATH
63.
Torsun, I.S.: Foundations of Intelligent Knowledge-Based Systems. Academic Press, London (1995)
64.
Nalepa, G.J.: Semantic Knowledge Engineering A Rule-Based Approach. Wydawnictwa AGH, Kraków (2011)
65.
Nalepa, G.J., Ligęza, A.: HeKatE methodology, hybrid engineering of intelligent systems. Int. J. Appl. Math. Comput. Sci. 20(1), 35–53 (2010)CrossRefMATH
66.
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
Metadaten
Titel
Rules as a Knowledge Representation Paradigm
verfasst von
Grzegorz J. Nalepa
Copyright-Jahr
2018
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_1

Premium Partner

    Bildnachweise