Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Logikprogrammierung Jurgen Giesl
 

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