Skip to main content

2016 | OriginalPaper | Buchkapitel

9. Rule-Based Systems

verfasst von : Mariusz Flasiński

Erschienen in: Introduction to Artificial Intelligence

Verlag: Springer International Publishing

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

search-config
loading …

Abstract

The main idea of reasoning in rule-based systems is, in fact, the same as in the case of logic-based reasoning introduced in Chap. 6. Both models are based on deductive reasoning.

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!

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!

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!

Fußnoten
1
The reader is recommended to recall the discussion in Sect. 6.​1.
 
2
Basic notions concerning deductive reasoning are contained in Appendix F.2.
 
3
The issue of rule matching is discussed in detail in the next section.
 
4
It is called a set of conflicting rules because the system has to choose one reasoning path, i.e., it has to choose one of several matched rules, which compete. (They are in conflict.).
 
5
In fact, we can combine both strategies into the so-called mixed strategy of reasoning in rule-based systems. We do not discuss this in the monograph.
 
6
The reader should recall notions of progressive/regressive deduction. They are defined in Appendix F.2.
 
7
In our example we do not consider the issue of a conflict situation. This issue is discussed in the next section.
 
8
Let us remember that an agnatic grandfather is the father of somebody’s father.
 
9
If the reader is confused, then she/he is advised to draw a part of a genealogy tree for the third rule.
 
10
In an analogous way we have started the reasoning process in a FOL-based system in order to verify a hypothesis in Chap. 6. The way of reasoning is the difference between the two methods. In Chap. 6 we have used the resolution method, which is based on theorem proving by contradiction (in Latin: reductio ad absurdum). In the case of a rule-based system we use Backward Chaining, which is based on regressive deduction.
 
11
The reader who does not know the notion of a stack (in the computer science sense) should read Footnote 17 about pushdown automata in Sect. 8.​2.
 
12
This is the main difference between BC and FC strategies. In the case of the FC strategy the system matches a condition of a rule to facts.
 
13
In Figs. 9.4 and 9.5 in the column BINDINGS we define bindings after performing successive substitutions.
 
14
The engine adds elementary conditions in any order, since a conjunction is commutative.
 
15
One can easily notice that the inference engine, firstly, tries to match the facts to the hypothesis on the top of the stack. Only if no fact matches the hypothesis, the engine tries to match rules. Let us notice that the fact \(F^{k}\) can be treated as a rule of the form: IF TRUE THEN \(F^{k}\).
 
16
Let us notice that after the substitution \(P^{4}\): A \(\leftarrow \) Raul, the following binding of variables and the constant holds: A = K = Raul, cf. Fig. 9.4c.
 
17
Let us remember that B = H according to the substitution \(P^{5}\). Thus, now the following binding of variables and the constant holds: B = H = Ian, cf. Fig. 9.4d.
 
18
In principle, this hypothesis should be removed later. However, we verify this obvious fact now.
 
19
Of course, taking into account the following bindings determined during the inference process: F = Karl, K = Raul, H = Ian, G = Earl.
 
20
In fact, it means that we are not able to recognize the initial hypothesis as valid on the basis of the facts and rules stored in the system.
 
21
Apart from the methods listed, we also use the principle of blocking a rule recently applied in case its corresponding facts do not change. We have used this rule in the previous section for the FC strategy.
 
22
For example, an AI system designed under the supervision of the author and Dr. Ulf Behrens for a particle physics experiment at the Deutsches Elektronen Synchrotron in Hamburg contained more than 1,300 rules and approximately 12,000 facts (see Behrens U., Flasiński M., et al.: Recent developments of the ZEUS expert system. IEEE Trans. Nuclear Science 43 (1996), pp. 65–68).
 
23
The rule-matching phase consumes about 90 \(\%\) of time of a single cycle.
 
24
Charles L. Forgy—a researcher in the area of rule-based systems, a Ph.D. student of Allen Newell. He designed OPS5, which was the first language used for constructing rule-based systems applied in practice.
 
25
In Latin rete means net.
 
26
Rules play a role, which is analogous to the productions of generative grammars.
 
Metadaten
Titel
Rule-Based Systems
verfasst von
Mariusz Flasiński
Copyright-Jahr
2016
DOI
https://doi.org/10.1007/978-3-319-40022-8_9