![Page 1: Kapitel 11 - · 3 Kapitel 11 G. Görz, Informatik 8 Zur Rolle der Logik in den Wissenschaften •Frommer Wunsch? Logic is crucial to the understanding of science, for every educated](https://reader030.vdokument.com/reader030/viewer/2022041205/5d588a4488c993a96f8b8520/html5/thumbnails/1.jpg)
1
Kapitel 11:Anwendungen der Logik in denFormalwissenschaften
Friedrich-Alexander-Universität Erlangen-Nürnberg
Department Informatik
G. Görz, Informatik 8Kapitel 11
Quellen:
© Inhetveen (Kap. 7),Pereira/Shieber; Vorlesungsunterlagenvon FAU–Inf2/Schneider,Inf8/Beckstein [jetzt FSU Jena]
![Page 2: Kapitel 11 - · 3 Kapitel 11 G. Görz, Informatik 8 Zur Rolle der Logik in den Wissenschaften •Frommer Wunsch? Logic is crucial to the understanding of science, for every educated](https://reader030.vdokument.com/reader030/viewer/2022041205/5d588a4488c993a96f8b8520/html5/thumbnails/2.jpg)
2
G. Görz, Informatik 8Kapitel 11
Inhalt
• Anwendungen der Logik in den Formalissenschaften
... anhand zweier ausgewählter Beispiele:
• Logik und Beweisen in der Mathematik
• Formale Linguistik
![Page 3: Kapitel 11 - · 3 Kapitel 11 G. Görz, Informatik 8 Zur Rolle der Logik in den Wissenschaften •Frommer Wunsch? Logic is crucial to the understanding of science, for every educated](https://reader030.vdokument.com/reader030/viewer/2022041205/5d588a4488c993a96f8b8520/html5/thumbnails/3.jpg)
3
G. Görz, Informatik 8Kapitel 11
Zur Rolle der Logik in den Wissenschaften• Frommer Wunsch?
Logic is crucial to the understanding of science, for every educatedperson is trained in logic, as well as in grammar, and thesedisciplines provide techniques of analysis and a technicalvocabulary that permeate scientific writing. At the practical level,logic provides the training necessary for participation in thedisputations that are a central feature of instruction, and whosestructure - with arguments for and against a thesis, followed by aresolution - is reflected in many written works. The core of thelogic curriculum provides the material for the study of types ofpredication, the analysis of simple propositions and their relationsof inference and equivalence, the analysis of modal propositions,categorical and modal syllogisms, fallacies, dialectical topics, andscientific reasoning.
Quelle: Leicht paraphrasierter Einleitungstext zur mittelalterlichenLogik aus der "Routledge Encyclopedia of Philosophy"
![Page 4: Kapitel 11 - · 3 Kapitel 11 G. Görz, Informatik 8 Zur Rolle der Logik in den Wissenschaften •Frommer Wunsch? Logic is crucial to the understanding of science, for every educated](https://reader030.vdokument.com/reader030/viewer/2022041205/5d588a4488c993a96f8b8520/html5/thumbnails/4.jpg)
4
G. Görz, Informatik 8Kapitel 11
Logik und Beweisen in der Mathematik
• Das Ableiten mathematischer Sätze aus Axiomen machtkeineswegs den ganzen Sinn des Beweisens solcher Sätze aus,sondern ein Beweis soll Gründe für die Wahrheit oder Gültigkeitdes bewiesenen Satzes liefern.(C. Thiel)
• Die Kenntnis von Symbolisierungstechniken und Dialogregeln kanndas Verständnis mathematischer Texte erleichtern, insbesondere,wenn die Logik als ein Hilfsmittel verstanden wird, in geregeltenDiskursen – Dialogen – über die Geltung von Behauptungen zuunterscheiden.
• Zur Erinnerung: Gentzens "Natürliches Schließen", orientiertam mathematischen Beweisen.
• Illustration anhand eines Beispiels aus Inhetveen, Kap. 7.2(dort s.a. weitere).
![Page 5: Kapitel 11 - · 3 Kapitel 11 G. Görz, Informatik 8 Zur Rolle der Logik in den Wissenschaften •Frommer Wunsch? Logic is crucial to the understanding of science, for every educated](https://reader030.vdokument.com/reader030/viewer/2022041205/5d588a4488c993a96f8b8520/html5/thumbnails/5.jpg)
5
G. Görz, Informatik 8Kapitel 11
Logik und Beweisen in der Mathematik
• Beispiel aus einem Lehrbuch der Differential- undIntegralrechnung:
,,Wenn eine unendliche Folge von Zahlen a1, a2, a3, ..., an, ...gegeben ist und wenn es eine weitere Zahl g gibt, derart, dass injedes noch so kleine um g abgegrenzte Intervall alle Zahlen an mitAusnahme von höchstens endlich vielen (d.h. von einem gewissenWert des Index n an alle) hineinfallen, so sagen wir: die Zahl g istder Grenzwert der Zahlenfolge a1, a2, a3, ..., an, ..., oder: dieZahlenfolge a1, a2,... konvergiert gegen g; in Zeichen:
⇒
"g. alimn
n
=!"
!
Vg
limn " #
an = g Vg
$% > 0
VN
$n >N
|an- g| < %
![Page 6: Kapitel 11 - · 3 Kapitel 11 G. Görz, Informatik 8 Zur Rolle der Logik in den Wissenschaften •Frommer Wunsch? Logic is crucial to the understanding of science, for every educated](https://reader030.vdokument.com/reader030/viewer/2022041205/5d588a4488c993a96f8b8520/html5/thumbnails/6.jpg)
6
G. Görz, Informatik 8Kapitel 11
Fortsetzung im Lehrbuchtext:
"Es ist nützlich, sich zu vergegenwärtigen, dass jede konvergenteZahlenfolge beschränkt ist; d.h., zu jeder Zahlenfolge a1, a2, a3, ...,für welche ein Grenzwert ξ existiert, gibt es eine von nunabhängige positive Zahl M, so dass für alle an der Folge |an| < Mgilt.
Aus unseren Definitionen folgt dieser Satz leicht: Sicher gibt esnämlich einen Index N, so dass für n > N immer |an - ξ| < 1 ist.Unter den N Zahlen |a1 - ξ|, |a2 - ξ|, ... |aN - ξ| sei A die größte.Dann dürfen wir M = |ξ| + A + 1 setzen. Denn es ist sicher nachder Definition von A die Ungleichung |an - ξ| < A + 1 für n = 1, 2,..., N erfüllt, während für n > N gilt |an - ξ| < 1 ≤ A + 1."
ξ hieß eben nochg!
![Page 7: Kapitel 11 - · 3 Kapitel 11 G. Görz, Informatik 8 Zur Rolle der Logik in den Wissenschaften •Frommer Wunsch? Logic is crucial to the understanding of science, for every educated](https://reader030.vdokument.com/reader030/viewer/2022041205/5d588a4488c993a96f8b8520/html5/thumbnails/7.jpg)
7
G. Görz, Informatik 8Kapitel 11
Unter der Voraussetzung der Existenz einer konvergenten Folge sollgelten:
Damit ist die Ausgangsstellung des zu führenden Dialoges klar. Sielautet
!
"# > 0
VN
"n >N
(|an- g| < #) $ VM > 0
"n
(|an| < M)
!
VM > 0
"n
(|an| < M)
Beispiel aus der Infinitesimalrechnung(Forts.)
![Page 8: Kapitel 11 - · 3 Kapitel 11 G. Görz, Informatik 8 Zur Rolle der Logik in den Wissenschaften •Frommer Wunsch? Logic is crucial to the understanding of science, for every educated](https://reader030.vdokument.com/reader030/viewer/2022041205/5d588a4488c993a96f8b8520/html5/thumbnails/8.jpg)
8
G. Görz, Informatik 8Kapitel 11
Beispiel aus der Infinitesimalrechnung(Forts.)
• Für diese Ausgangsstellung ist eine Gewinnstrategie zu finden.
• Das kann nicht allein mit logischen Mitteln gelingen:
Im konkreten Fall müssen wir noch die Dreiecksungleichung zuHilfe nehmen.
• Man könnte sie in geeigneter Form als zusätzliche Hypothesedes Opponenten in die Anfangsstellung aufnehmen.
• Hier soll der Einfachheit halber der Proponent dort, wo er dieDreiecksungleichung braucht, einfach damit rechnen(s.u. Z. 6 und 8).
![Page 9: Kapitel 11 - · 3 Kapitel 11 G. Görz, Informatik 8 Zur Rolle der Logik in den Wissenschaften •Frommer Wunsch? Logic is crucial to the understanding of science, for every educated](https://reader030.vdokument.com/reader030/viewer/2022041205/5d588a4488c993a96f8b8520/html5/thumbnails/9.jpg)
9
G. Görz, Informatik 8Kapitel 11
Beispiel aus der Infinitesimalrechnung(Forts.)
• Zum Beweis:
• P greift mit ε0 (= 1, schematisch!?!) an (2).
• Mit "Sicher gibt es…" wird die Opponentenbehauptungreformuliert.
• In (4) folgen die Definitionen; dann erfolgt im Text einÜbergang zu (6) bzw. (8) ohne explizite Erwähnung – jedochVerwendung ! – der Dreiecksungleichung und … hört einfachauf (wieso geht das?).
• Die zu zeigende letzte Ungleichung in (4) bleibt im Beweiseinfach weg. Im Dialog kann der Beweis jedoch ohne weiteresvervollständigt werden (6) – in der Fallunterscheidung stehendie Verteidigungen, die P auf den Angriff in (5) noch schuldigist.
![Page 10: Kapitel 11 - · 3 Kapitel 11 G. Görz, Informatik 8 Zur Rolle der Logik in den Wissenschaften •Frommer Wunsch? Logic is crucial to the understanding of science, for every educated](https://reader030.vdokument.com/reader030/viewer/2022041205/5d588a4488c993a96f8b8520/html5/thumbnails/10.jpg)
10
G. Görz, Informatik 8Kapitel 11
RechnenmitDreiecks-ungleich.
hierauch!
![Page 11: Kapitel 11 - · 3 Kapitel 11 G. Görz, Informatik 8 Zur Rolle der Logik in den Wissenschaften •Frommer Wunsch? Logic is crucial to the understanding of science, for every educated](https://reader030.vdokument.com/reader030/viewer/2022041205/5d588a4488c993a96f8b8520/html5/thumbnails/11.jpg)
11
G. Görz, Informatik 8Kapitel 11
Ein großes Beispiel für das DiaLogic-Programm: Wurzel aus 2 ist irrational
q)))(2tp)(2s(q
p (2
ts2
2
qpVVVV =!=¬!=¬
!
"u(V
t(2t = u2) # V
s(2s = u))
!
"x"
y"
z(2x = y2 # 2z = y $ 2z2 = x)
falls gilt (Hypothesen):
![Page 12: Kapitel 11 - · 3 Kapitel 11 G. Görz, Informatik 8 Zur Rolle der Logik in den Wissenschaften •Frommer Wunsch? Logic is crucial to the understanding of science, for every educated](https://reader030.vdokument.com/reader030/viewer/2022041205/5d588a4488c993a96f8b8520/html5/thumbnails/12.jpg)
12
G. Görz, Informatik 8Kapitel 11
Wurzel aus 2 ist irrational; *** Irrationality of sqrt 2declare sort natdeclare constant 2 nat
declare variable p nat \ declare variable q nat \ declare variable r natdeclare variable s nat \ declare variable t nat \ declare variable u natdeclare variable x nat \ declare variable y nat \ declare variable z nat
declare function * (nat nat) -> nat infix 3 4 *declare function ^ (nat nat) -> nat infix 6 5 ^declare predicate = (nat nat) infix =
hypothesis A1 ALL u ((EXI t 2 * t = u ^ 2) SUB (EXI s 2 * s = u))hypothesis A2 ALL x ALL y ALL z ((2 * x = y ^ 2 AND 2 * z = y)
SUB 2 * z ^ 2 = x)
thesis NOT EXI p EXI q (2 * q ^ 2 = p ^ 2 AND NOT ((EXI s 2 * s = p)AND (EXI s 2 * s = q)))
set attack limit 2
![Page 13: Kapitel 11 - · 3 Kapitel 11 G. Görz, Informatik 8 Zur Rolle der Logik in den Wissenschaften •Frommer Wunsch? Logic is crucial to the understanding of science, for every educated](https://reader030.vdokument.com/reader030/viewer/2022041205/5d588a4488c993a96f8b8520/html5/thumbnails/13.jpg)
13
G. Görz, Informatik 8Kapitel 11
![Page 14: Kapitel 11 - · 3 Kapitel 11 G. Görz, Informatik 8 Zur Rolle der Logik in den Wissenschaften •Frommer Wunsch? Logic is crucial to the understanding of science, for every educated](https://reader030.vdokument.com/reader030/viewer/2022041205/5d588a4488c993a96f8b8520/html5/thumbnails/14.jpg)
14
G. Görz, Informatik 8Kapitel 11
![Page 15: Kapitel 11 - · 3 Kapitel 11 G. Görz, Informatik 8 Zur Rolle der Logik in den Wissenschaften •Frommer Wunsch? Logic is crucial to the understanding of science, for every educated](https://reader030.vdokument.com/reader030/viewer/2022041205/5d588a4488c993a96f8b8520/html5/thumbnails/15.jpg)
15
G. Görz, Informatik 8Kapitel 11
Formale Linguistik• Theorie der formalen Sprachen und Automaten
• vielfältige Anwendungen in der Informatik, z.B.Programmiersprachen-Interpretation und -Übersetzung.
• Anwendung auf "natürliche" Sprachen
• Ansatz: "English as a Formal Language" (Richard Montague).
• Linguistische Abstraktionsebenen
• Ordnung (Phonologie, Morphologie, Syntax) – grammatischeStruktur
• Inhalt (Semantik) – textuelle Bedeutung
• Gebrauch (Pragmatik und Diskurs) --- kontextuelle, situierteBedeutung, u.a.
Beherrschung der Komplexität durch Modularisierung.
• Fundamentales Problem: Ambiguität auf allen linguistischen Ebenen.
• Im Folgenden: Fokussierung auf grammatische Analyse!
![Page 16: Kapitel 11 - · 3 Kapitel 11 G. Görz, Informatik 8 Zur Rolle der Logik in den Wissenschaften •Frommer Wunsch? Logic is crucial to the understanding of science, for every educated](https://reader030.vdokument.com/reader030/viewer/2022041205/5d588a4488c993a96f8b8520/html5/thumbnails/16.jpg)
16
G. Görz, Informatik 8Kapitel 11
Formale SprachenDefinitionen:
• Eine formale Sprache ist ein System von endlich vielen Zeichen undendlich vielen Regeln, wobei die Regeln in irgendeiner Weise festlegen,welche Zeichenfolgen zur Sprache gehören sollen und welche nicht.
• Eine Chomsky-Grammatik ist gegeben durch G = (T,N,P,S). Dabei sind• T, N endliche Mengen (T ∩ N = Ø, V := T ∪ N) [von Zeichen]• P eine endliche Teilmenge von V* × V*• S ∈ N
• Bezeichnungen:• T terminales Alphabet• N nichtterminales Alphabet• V Alphabet• V* Menge aller aus Elementen von V durch Konkatenation
erzeugbaren Zeichenketten (freie Halbgruppe mit e als neutralemElement)
• P Produktionen• S Startsymbol, Axiom
NoamChomsky(geb. 1928)
© Schneider (hjs)
![Page 17: Kapitel 11 - · 3 Kapitel 11 G. Görz, Informatik 8 Zur Rolle der Logik in den Wissenschaften •Frommer Wunsch? Logic is crucial to the understanding of science, for every educated](https://reader030.vdokument.com/reader030/viewer/2022041205/5d588a4488c993a96f8b8520/html5/thumbnails/17.jpg)
17
G. Görz, Informatik 8Kapitel 11
Kontextfreie Grammatik
• Eine allgemeine Chomsky-Grammatik erlaubt, dass mehrelementigeZeichenketten ersetzt werden.
• Eine Chomsky-Grammatik G = (T, N, P, S) heißt kontextfrei, wenn aufder linken Seite der Produktionen stets genau ein (nichtterminales)Symbol steht: P ⊂ N × V*
• Die kontextfreien Grammatiken entsprechen derBackus-Naur-Form:
Ausschnitt aus der Chomsky-Hierarchie
© hjs
![Page 18: Kapitel 11 - · 3 Kapitel 11 G. Görz, Informatik 8 Zur Rolle der Logik in den Wissenschaften •Frommer Wunsch? Logic is crucial to the understanding of science, for every educated](https://reader030.vdokument.com/reader030/viewer/2022041205/5d588a4488c993a96f8b8520/html5/thumbnails/18.jpg)
18
G. Görz, Informatik 8Kapitel 11
Beispiel: Kontextfreie Grammatik
• Kontextfreie ("Phrasenstruktur"-) Grammatik für einfache englische Sätze
• Grammatik:
Sentence ::= NounPhrase VerbPhraseNounPhrase ::= Det Noun OptRel | PropNounOptRel ::= that VerbPhrase | εVerbPhrase ::= Trans Verb NounPhrase | IntransVerbPropNoun ::= terry | john | mary | shrdlu | ...Det ::= the | its | a | every | ...Noun ::= program | fish | woman | man | student | ...IntransVerb ::= halts | walks | ...TransVerb ::= writes | eats | sees | loves | ...
• Terminal sind in diesem Beispiel alle mit einem Kleinbuchstabenbeginnenden Wörter.
• Beispielsatz: “every student writes a program that halts”
© hjs
⇐ ab hier:"Lexikalische Regeln"
![Page 19: Kapitel 11 - · 3 Kapitel 11 G. Görz, Informatik 8 Zur Rolle der Logik in den Wissenschaften •Frommer Wunsch? Logic is crucial to the understanding of science, for every educated](https://reader030.vdokument.com/reader030/viewer/2022041205/5d588a4488c993a96f8b8520/html5/thumbnails/19.jpg)
19
G. Görz, Informatik 8Kapitel 11
Ableitbarkeit
Definitionen:
• y heißt direkt ableitbar aus x mittels p ∈ P: x y genaudann,
(Vw, u, v, z ∈ V*) (x = wuz ∧ y = wvz ∧ p = (u, v))
• y heißt direkt ableitbar aus x in G: x y genau dann, wenn
(Vp ∈ P) (x y)
• x → y , wenn G klar ist.
p
!
G
!
p
!
![Page 20: Kapitel 11 - · 3 Kapitel 11 G. Görz, Informatik 8 Zur Rolle der Logik in den Wissenschaften •Frommer Wunsch? Logic is crucial to the understanding of science, for every educated](https://reader030.vdokument.com/reader030/viewer/2022041205/5d588a4488c993a96f8b8520/html5/thumbnails/20.jpg)
20
G. Görz, Informatik 8Kapitel 11
AbleitbarkeitDefinitionen:
• y heißt ableitbar aus x in G: x y, wenn gilt:
Vn ≥ 0 Vw0, w1, ..., wn ∈ V* (x = w0
∧ Λ1 ≤ i ≤ n (wi-1 wi)
∧ y = wn)
• Beispiel:
S → NP VP → PN VP → terry VP → terry TV NP
→ terry writes NP → terry writes Det N OptRel
→ terry writes a N OptRel → terry writes a program OptRel
G
!
G
*
!
![Page 21: Kapitel 11 - · 3 Kapitel 11 G. Görz, Informatik 8 Zur Rolle der Logik in den Wissenschaften •Frommer Wunsch? Logic is crucial to the understanding of science, for every educated](https://reader030.vdokument.com/reader030/viewer/2022041205/5d588a4488c993a96f8b8520/html5/thumbnails/21.jpg)
21
G. Görz, Informatik 8Kapitel 11
Ableitbarkeit
• Menge der erzeugten Zeihenreihen:
• ist entscheidbar, ist für allgemeine Chomsky-Grammatiken
nicht entscheidbar.
• ist für kontextfreie Grammatiken effizient entscheidbar.
• Beispiel 1:
S → NP VP → PN VP → terry VP → terry TV NP
→ terry writes NP → terry writes Det N OptRel
G
!G
*
!
G
*
!
© hjs
![Page 22: Kapitel 11 - · 3 Kapitel 11 G. Görz, Informatik 8 Zur Rolle der Logik in den Wissenschaften •Frommer Wunsch? Logic is crucial to the understanding of science, for every educated](https://reader030.vdokument.com/reader030/viewer/2022041205/5d588a4488c993a96f8b8520/html5/thumbnails/22.jpg)
22
G. Görz, Informatik 8Kapitel 11
Ableitbarkeit
• Beispiel 2:
S → NP VP → PN VP → PN TV NP
→ terry TV NP → terry writes NP → terry writes Det N OptRel
• Eine Ableitung heißt kanonisch, wenn immer das am weitestenlinks stehende nichtterminale Symbol ersetzt wird.
• Ein Ableitungsbaum ist eine graphische Darstellung einerAbleitung, wobei die unwesentlichen Mehrdeutigkeiten entfallen.
© hjs
![Page 23: Kapitel 11 - · 3 Kapitel 11 G. Görz, Informatik 8 Zur Rolle der Logik in den Wissenschaften •Frommer Wunsch? Logic is crucial to the understanding of science, for every educated](https://reader030.vdokument.com/reader030/viewer/2022041205/5d588a4488c993a96f8b8520/html5/thumbnails/23.jpg)
23
G. Görz, Informatik 8Kapitel 11
Ableitungsbaum
© hjs
![Page 24: Kapitel 11 - · 3 Kapitel 11 G. Görz, Informatik 8 Zur Rolle der Logik in den Wissenschaften •Frommer Wunsch? Logic is crucial to the understanding of science, for every educated](https://reader030.vdokument.com/reader030/viewer/2022041205/5d588a4488c993a96f8b8520/html5/thumbnails/24.jpg)
24
G. Görz, Informatik 8Kapitel 11
Syntaxanalyse mit Prolog
© hjs
![Page 25: Kapitel 11 - · 3 Kapitel 11 G. Görz, Informatik 8 Zur Rolle der Logik in den Wissenschaften •Frommer Wunsch? Logic is crucial to the understanding of science, for every educated](https://reader030.vdokument.com/reader030/viewer/2022041205/5d588a4488c993a96f8b8520/html5/thumbnails/25.jpg)
25
G. Görz, Informatik 8Kapitel 11
Syntaxanalyse mit Prolog
© hjs
![Page 26: Kapitel 11 - · 3 Kapitel 11 G. Görz, Informatik 8 Zur Rolle der Logik in den Wissenschaften •Frommer Wunsch? Logic is crucial to the understanding of science, for every educated](https://reader030.vdokument.com/reader030/viewer/2022041205/5d588a4488c993a96f8b8520/html5/thumbnails/26.jpg)
26
G. Görz, Informatik 8Kapitel 11
Syntaxanalyse mit Prolog
© hjs
![Page 27: Kapitel 11 - · 3 Kapitel 11 G. Görz, Informatik 8 Zur Rolle der Logik in den Wissenschaften •Frommer Wunsch? Logic is crucial to the understanding of science, for every educated](https://reader030.vdokument.com/reader030/viewer/2022041205/5d588a4488c993a96f8b8520/html5/thumbnails/27.jpg)
27
G. Görz, Informatik 8Kapitel 11
Syntaxanalyse mit Prolog
• Der Satz ist als Sammlung von connects-Fakten in die Datenbasiseinzutragen.Aber: Die beiden Beispiele dürfen nicht gleichzeitig dort stehen!
• Regeln zum Satzbau (Pereira/Shieber):
© hjs
![Page 28: Kapitel 11 - · 3 Kapitel 11 G. Görz, Informatik 8 Zur Rolle der Logik in den Wissenschaften •Frommer Wunsch? Logic is crucial to the understanding of science, for every educated](https://reader030.vdokument.com/reader030/viewer/2022041205/5d588a4488c993a96f8b8520/html5/thumbnails/28.jpg)
28
G. Görz, Informatik 8Kapitel 11
Syntaxanalyse mit Prolog
• Lexikalische Regeln:
© hjs
![Page 29: Kapitel 11 - · 3 Kapitel 11 G. Görz, Informatik 8 Zur Rolle der Logik in den Wissenschaften •Frommer Wunsch? Logic is crucial to the understanding of science, for every educated](https://reader030.vdokument.com/reader030/viewer/2022041205/5d588a4488c993a96f8b8520/html5/thumbnails/29.jpg)
29
G. Görz, Informatik 8Kapitel 11
Syntaxanalyse mit Prolog
© hjs
![Page 30: Kapitel 11 - · 3 Kapitel 11 G. Görz, Informatik 8 Zur Rolle der Logik in den Wissenschaften •Frommer Wunsch? Logic is crucial to the understanding of science, for every educated](https://reader030.vdokument.com/reader030/viewer/2022041205/5d588a4488c993a96f8b8520/html5/thumbnails/30.jpg)
30
G. Görz, Informatik 8Kapitel 11
Syntaxanalyse mit Prolog
© hjs
![Page 31: Kapitel 11 - · 3 Kapitel 11 G. Görz, Informatik 8 Zur Rolle der Logik in den Wissenschaften •Frommer Wunsch? Logic is crucial to the understanding of science, for every educated](https://reader030.vdokument.com/reader030/viewer/2022041205/5d588a4488c993a96f8b8520/html5/thumbnails/31.jpg)
31
G. Görz, Informatik 8Kapitel 11
Syntaxanalyse mit PrologBeispiel:
© hjs
![Page 32: Kapitel 11 - · 3 Kapitel 11 G. Görz, Informatik 8 Zur Rolle der Logik in den Wissenschaften •Frommer Wunsch? Logic is crucial to the understanding of science, for every educated](https://reader030.vdokument.com/reader030/viewer/2022041205/5d588a4488c993a96f8b8520/html5/thumbnails/32.jpg)
32
G. Görz, Informatik 8Kapitel 11
Syntaxanalyse mit Prolog
… Ergebnisse als
Strukturbäume:
© hjs
![Page 33: Kapitel 11 - · 3 Kapitel 11 G. Görz, Informatik 8 Zur Rolle der Logik in den Wissenschaften •Frommer Wunsch? Logic is crucial to the understanding of science, for every educated](https://reader030.vdokument.com/reader030/viewer/2022041205/5d588a4488c993a96f8b8520/html5/thumbnails/33.jpg)
33
G. Görz, Informatik 8Kapitel 11
Syntaxanalyse: Kongruenzprüfung
• Grenzen der bisherigen Lösung: Die Grammatik akzeptiert auch"terry write a program that halts"⇒ Kongruenzprüfung (Kasus, Numerus, Genus) !!
Hier ist auch dieGeneralisierungbei denlexikalischenRegeln realisiert.
pn/2 ≠ pn/1 !
![Page 34: Kapitel 11 - · 3 Kapitel 11 G. Görz, Informatik 8 Zur Rolle der Logik in den Wissenschaften •Frommer Wunsch? Logic is crucial to the understanding of science, for every educated](https://reader030.vdokument.com/reader030/viewer/2022041205/5d588a4488c993a96f8b8520/html5/thumbnails/34.jpg)
34
G. Görz, Informatik 8Kapitel 11
Syntaxanalyse: Kongruenzprüfung
![Page 35: Kapitel 11 - · 3 Kapitel 11 G. Görz, Informatik 8 Zur Rolle der Logik in den Wissenschaften •Frommer Wunsch? Logic is crucial to the understanding of science, for every educated](https://reader030.vdokument.com/reader030/viewer/2022041205/5d588a4488c993a96f8b8520/html5/thumbnails/35.jpg)
35
G. Görz, Informatik 8Kapitel 11
Definite Clause Grammar (DCG)
• Das Hinschreiben der Positionsparameter kann automatisiertwerden.
• DCG-Notation (wird übersetzt) : Infixoperator ' ––> '
![Page 36: Kapitel 11 - · 3 Kapitel 11 G. Görz, Informatik 8 Zur Rolle der Logik in den Wissenschaften •Frommer Wunsch? Logic is crucial to the understanding of science, for every educated](https://reader030.vdokument.com/reader030/viewer/2022041205/5d588a4488c993a96f8b8520/html5/thumbnails/36.jpg)
36
G. Görz, Informatik 8Kapitel 11
Definite Clause Grammar (DCG)
![Page 37: Kapitel 11 - · 3 Kapitel 11 G. Görz, Informatik 8 Zur Rolle der Logik in den Wissenschaften •Frommer Wunsch? Logic is crucial to the understanding of science, for every educated](https://reader030.vdokument.com/reader030/viewer/2022041205/5d588a4488c993a96f8b8520/html5/thumbnails/37.jpg)
37
G. Görz, Informatik 8Kapitel 11
Computerlinguistik…
• Erweiterung um grammatische Phänomene:
• Verbformen, Hilfsverben
• Fragesätze: Ja-/Nein-Fragen, wh-Fragen
• Passiv
• Allgemeine Relativsätze
• Lückenkonstruktionen …
• Semantische Analyse: "Übersetzungssemantik" NL → FOL
• Grundannahme: Kompositionalität der "logischen Form"("Frege-Prinzip").
• Zuordnung von (funktionalen) Regeln zur Konstruktion logischerFormen zu den Regeln der Grammatik, ausgehend von basalenlogischen Formen im Lexikon ("semantischen Lexikoneinträgen").
• Sinn und Bedeutung ("meaning and reference"):Semantische Auswertung durch logische Inferenz.
![Page 38: Kapitel 11 - · 3 Kapitel 11 G. Görz, Informatik 8 Zur Rolle der Logik in den Wissenschaften •Frommer Wunsch? Logic is crucial to the understanding of science, for every educated](https://reader030.vdokument.com/reader030/viewer/2022041205/5d588a4488c993a96f8b8520/html5/thumbnails/38.jpg)
38
G. Görz, Informatik 8Kapitel 11
Semantische Komposition:Stark vereinfachtes Beispiel