Summary: Logikprogrammierung
J¨urgen Giesl
Wintersemester 2010/2011
Lehr- und Forschungsgebiet Informatik 2
RWTH Aachen
c J¨urgen Giesl, giesl@informatik.rwth-aachen.de
Inhaltsverzeichnis
1 Einf¨uhrung 4
2 Grundlagen der Pr¨adikatenlogik 12
2.1 Syntax der Pr¨adikatenlogik . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2.2 Semantik der Pr¨adikatenlogik . . . . . . . . . . . . . . . . . . . . . . . . . . 16
3 Resolution 21
3.1 Skolem­Normalform . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
3.2 Herbrand­Strukturen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
3.3 Grundresolution . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
3.4 Pr¨adikatenlogische Resolution und Unifikation . . . . . . . . . . . . . . . . . 37
3.5 Einschr¨ankungen der Resolution . . . . . . . . . . . . . . . . . . . . . . . . . 45
3.5.1 Lineare Resolution . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
3.5.2 Input­ und SLD­Resolution . . . . . . . . . . . . . . . . . . . . . . . 49
4 Logikprogramme 55

Source: Ábrahám, Erika - Fachgruppe Informatik, Rheinisch Westfälische Technische Hochschule Aachen (RWTH)

Collections: Computer Technologies and Information Sciences