Frametheorie
SoSe2012
Organisatorisches
Dozentin: Wiebke Petersen
Sitzungen: Mi. 14.30-16 Uhr in Raum 23.21.02.54
Sprechstunde: Mi. 16:30-17:30 in Raum 23.21.04.45
Telefon: 81-15295
Literaturempfehlung
Teile der Literatur sind nur im geschützten Bereich zu finden.- Baader, F. (2003): The Description Logic Handbook (2003)
- Carpenter, B. (1992): The Logic of Typed Feature Structures. Cambridge University Press, 1992.
- Keller, B. (1993): Feature Logics, Infinitary Descriptions and Grammar. CSLI, 1993.
- Löbner, S. (Slides):'Evidence for frames from natural anguage'. To appear in T. Gamerschlag, D. Gerland, R. Osswald, W. Petersen(eds.), Proceedings of the 2009 Conference on Concept types and Frames at Düsseldorf.
(To appear 1) - Löbner, S. (to appear 2):'Functional Concepts and Frames'.(To appear 2).
- Penn, G. (2000): The Algebraic Structure of Attributed Type Signatures. PhD thesis, Carnegie Mellon University, 2000.
- Petersen, W. (2007): Representation of Concepts as Frames. In: The Baltic International Yearbook of Cognition, Logic and Communication, Vol. 2, 151-170. (2007)
- Petersen, Wiebke ; Werning, Markus (2007): Conceptual Fingerprints: Lexical Decomposition by Means of Frames – a Neuro-cognitive Model. In: Polovina, Simon; Hill, Richard; Priss, Uta (eds.): Conceptual Structures: Knowledge Architectures for Smart Applications (ICCS 2007). LNAI 4604, 415-428, Springer.
- Antrag des SFB991 (Die einzelnen Anträge finden sich in den Einzelprojekten)
- Rounds, W. C. (1997): Feature logics. In J. van Benthem & A. ter Meulen (eds.): Handbook of Logic and Language. Elsevier, 1997.
- Shieber, S. M. (1986): An Introduction to Unification-Based Approaches to Grammar. CSLI, 1986.
- Sowa, JF (2000): Knowledge Representation (2000)
Sitzungen
| Datum | Thema | Literatur | |
|---|---|---|---|
| 04.04.2012 | Vorbesprechung | ||
| 11.04.2012 | Handout 1 | Petersen (2007) Löbner (Slides) |
|
| 18.04.2012 | Grundlagen | Petersen (2007) Löbner (Slides) |
|
| 02.05.2012 | Präsentation | Übungsaufgabe | |
| 09.05.2012 | Merkmalstrukturen | ||
| 16.05.2012 | Feature Logic | - Carpenter Kapitel 1 Basics (bis S.50) - Kapitel 6. Appr.+Typing (S. 77-108) lesen, drucken & mitbringen - Auszug Habil lesen (Kapitel 2.2) |
|
| 23.05.2012 | Unifikation, abstrakte und konkrete Merkmalstrukturen | ||
| 30.05.2012 | Wohlgetyptheit | ||
| 06.06.2012 | Ãœbungen zu Merkmastrukturen; Framegraphen | Hausaufgabe (Abgabe am 20.6., Gruppenarbeit erlaubt) | |
| 13.06.2012 | - Logikskript von Löbner (Besonders wichtig: Kapitel 1-5, 9-12) - Logikskript der Logiktutoren (als Vorbereitung für Description Logic) |
||
| 20.06.2012 | Grundlagen Description Logic - Link zu den Folien |
- Ãœbungszettel abgeben!
- Zur Vorbereitung der kommenden Sitzung lesen Sie bitte: - A Description Logic Primer - Foundations of Description Logics |
|
| 27.06.2012 | Sebastian Rudolph zu Despcription Logic | ACHTUNG! Einmalig Abweichender Raum: 23.21.02.26 | |
| 04.07.2012 | Conceptual Graphs und Framesemantik - Folien zu Conceptual Graphs (Patricia Naumann) - Folien zur Framesemantik (Thobias Quaß | Musterlösung zur Hausaufgabe (Marie-Luise Fischer, Teile von Oliver Hanraths) | |
| 11.07.2012 | Compositionale Nominalisierung; Tanja Osswald und Daniel Schulzek |