Przegląd formalnych metod semantycznych

• Autorzy: Hajnicz E.

Warianty tytułu

EN

A survey of formal semantic methods

• Języki publikacji: PL

Abstrakty

PL

Niniejsze opracowanie zawiera przegląd trzech formalizmów, służących do reprezentacji semantyki j. naturalnych, opartych na teorii modeli. Są to: Semantyka Montague, Teoria Reprezentacji Dyskursu (ang. Discourse Reprezention Theory (DRT)) oraz Semantyka oparta na zasobach leksykalnych (ang. Lexical Resource Semantics (LRS)). Dla każdego z tych rozwiązań przedstawiamy formalizm logiczny będący jego podstawą, przykładową gramatykę dla (ograniczonego) fragmentu j. angielskiego oraz zbiór zasad translacji rozbiorów gramatycznych uzyskanych w wybranej gramatyce na właściwy formalizm. Na koniec prezentowane jest porównanie prezentowanych podejść.

EN

This report contains a survey of three formalisms serving to represent natural language semantics and based on model theory. We choose Montague Semantics, Discourse Representation Theory (DRT) and Lexical Resource Semantics (LRS). For every solution, we present logical formalism it is based on, an exemplary grammar for a (limited) fragment of English and a set of rules of translation of syntactic analysis obtained in a chosen grammar onto the appropriate formalism. Finally, we present a comparison of the solutions under presentation.

Słowa kluczowe

PL

semantyka j. naturalnego; formalizmy logiczne; podejście teoriomodelowe

EN

natural language semantics; logic formalisms; model theoretic approach

• Wydawca: Instytut Podstaw Informatyki PAN
• Czasopismo: Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk
• Rocznik: 2003
• Tom: Nr 965
• Strony: 1--102
• Opis fizyczny: Bibliogr. 50 poz., rys.

Twórcy

autor

Hajnicz E.

• Instytut Podstaw Informatyki Polskiej Akademii Nauk Ordona 21, 01-237 Warszawa,

Bibliografia

• Ajdukiewicz, K. (1935) Die syntakische Konnexität, Studia Philosophica 1, s. 1-27. Przetłumaczone jako: Syntactic connexion, w S. McCall (red.) (1967) Polish Logic, Clarendon Press, Oxford, s. 207-231
• Allen, J.F. (1984) Towards a general theory of action and time, Artificial Intelligence 13(2), s. 123-154
• Artale, A. & Franconi, E. (1994) A computational approach for a description logic of time and action, Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning, Bonn, Germany, Morgan Kaufmann Publishers, s. 3-14
• Bach, E. (1968) Nouns and noun phrases w E. Bach i R.T. Harms (red.) Universals of linguistic theory, s. 91-122,Holt, Rinehart & Winston, New York
• Barwise, J. (1981) Scenes and other situations, The Journal of Philosophy 78, s. 369-397
• Barwise, J. i Perry, J. (1983) Sittuations and Attitudes, MIT Press, Cambrridge, MA
• Cooper, R. (1993) Generalized quantifiers and resource situations, w P. Aczel, D.Israele, Y. Katagiri i S. Peters (red.) Situation theory and its applications, vol. 3, CSLI Publications, Stanford, CA, s. 191-212
• de Saussure, F. (1959) Corse in general linguistics, McGrow-Hill, New York
• Dowty, D.R., Wall, R.E. & Peters, St. (1981) Introduction to Montague semantics, Kluwer Academic Publishers, Dordrecht
• Gallin, D. (1975) Intensional and higher-order modal logics, North-Holland, Amsterdam
• Galton, A. (1990) A critical examination of Allen’s theory of action and time, Artificial Intelligence 42 (2-3), s. 159-188
• Gawron, M. i Peters, S. (1990) Anaphora and quantification in Sitaution Semantics, CSLI Lecture Notes 19, Stanford, CA,
• Groenendijk, J. i Stokhof, M. (1991) Dynamic predicate logic, Linguistics and Philosophy 14, s. 39-100
• Grzegorczyk, A. Zarys logiki matematycznej, PWN, Warszawa
• Heim. I. (1982) The semantics of definite and indefinite noun phrases, praca doktorska, University of Massachusests, Amherst
• Kamp, H. (1981) A theory of truth and semantic representation, Formal methods in the study of language, red. J. Groenendijk i in., Mathematisch Centrum, Amsterdam
• Kamp, H. & Reyle, U. (1991) A calculus for first order discourse representation structures, Arbeitspapiere des Sonderforschungsbereichs 340, nr. 16, IMS Stuttgart
• Kamp, H. & Reyle, U. (1993) From discoruse to logic, Kluwer, Dordrecht
• Kripke, S. (1959) A completeness theorem in modal logic, Journal of Symbolic Logic 24, pp. 1-14
• Kripke, S. (1963) Semantical analysis of modal logic I: normal modal prepositional calculi, Zeitschrift für Math. Logic und Grundlagen der Math. 9, pp. 67-96
• Kripke, S. (1965) Semantical analysis of modal logic II: non normal modal prepositional calculi, w: The theory of models, North-Holland Puplishing, Amsterdam, pp. 206-220
• Landman, F. (1986a) Pegs and alecs, w J.Y. Halpern (red.) Proceedings of the Fifth Conference on Theoretical Aspects of Reasoning about Knowledge, Monterey, CA, Morgan Kaufmann Publishers, s. 45-61
• Landman, F. (1986b) Towards a theory of information, praca doktorska, University of Amstrdam
• Marciniak, M. (1999) Toward a binding theory in Polish, w R.D.Borsley i A. Przepiórkowski (red.) Slavic in HPSG, CSLI Publications, Stanford, CA, s. 125-147
• Marciniak, M. (2001) Algorytmy implementacyjne syntaktycznych reguł koreferncji zaimków dla języka polskiego w terminach HPSG, praca doktorska, Instytut Podstaw Informatyki PAN
• Marciszewski, W. (1987) (red.) Logika formalna. Zarys encyklopedyczny z zastosowaniem do informatyki i lingwistyki, Państwowe Wydawnictwo Naukowe, Warszawa
• McDermott, D. (1982) A temporal logic for reasoning about processes and plans, Cognitive Science 6, s. 101-155
• Montague. R. (1970a) English as a formal language, w Linguaggi nella societá e nella técnica, red. B. Visentini i in., Edizioni di Community, Milan; przedruk w Thomason, R. (red.) (1974) Formal philosophy, selected papers of Richard Montague, Yale University Press, New Haven
• Montague, R. (1970b) Universal grammar. Theoria 36: przedruk w Thomason, R. (red.) (1974) Formal philosophy, selected papers of Richard Montague, Yale University Press, New Haven
• Montague, R. (1973) The proper treatment of quantification in ordinary English, w Approaches to natural language: proceedings of the 1970 Stanford workshop of grammar and semantics, red. J.Hintikka, J.Moravcsik & P.Suppes, Reidel, Dordrecht, str. 221-242; przedruk w Thomason, R. (red.) (1974) Formal philosophy, selected papers of Richard Montague, Yale University Press, New Haven
• Pollard, C. i Sag, I.A. (1987) Information-based syntax and semantics, vol. I: Fundamentals, CSLI Publications, Stanford, CA
• Pollard. C. i Sag, I.A. (1994) Head-driven Phrased Structured Grammar, Chicago University Press / CSLI Publications, Chicago, IL
• Przepiórkowski, A., Kupść, A., Marciniak, M. i Mykowiecka, A. (2002) Formalny opis języka polskiego. Teoria i implementacja. Akademicka Oficyna Wydawnicza Exit, Warszawa
• Richter, F. (1999) „RSRL for HPSG”. w V. Kordoni (red.) Tübingen Studies in Head-Driven Phrase Structure Grammar, Arbaitspapiere des SFB 340, Nr. 132. Yol. 1, Universität Tübingen, s. 74-115
• Richter, F. (2000) A mathematical formalism for linguistic theories with an application in Head-driven Phrase Structure Grammar, praca doktorska, Universität Tübingen
• Richter, F. i Sailer, M. (1999a) Underspecified semantics in HPSG w H. Bunt i R. Muskens (red.) Computing Meaning, Studies in Linguistics an Philosophy, Klüver Academic Publishers, s. 95-112
• Richter. F. i Sailer, M. (1999b) A lexicalist collocation analysis of sentential negation and negative concord in French, w V. Kordoni (red.) Tübingen Studies in Head-Driven Phrase Structure Grammar, Arbaitspapiere des SFB 340, Nr. 132, Volume 1, Universität Tübingen, s. 231-300
• Richter, F. i Sailer, M. (1999c) LF conditions on expressions of Ty2: an HPSG analysis of negative concord in Polish, w R.D. Borsley i A. Przepiórkowski (red.) Slavic in HPSG, CSLI Publications. Stanford, CA, s. 247-282
• Richter, F., Sailer, M. (2001a) On the left periphery of german finite sentences, w W.D. Meuerers i T. Kiss (red.) Constraint lased approaches to qerman syntax. CSLI Publications, Stanford. CA., s. 257-300
• Richter, F., Sailer, M. (2001b); Polish negation and Lexical Resource Semantics, w G.-J. Kruijti, L.S.Moss i R.T. Oehrle (red.), Proceedings FG-MOL 2001 nr. 53 w Electronic Notes in Theorietical Computer Science (w druku)
• Richter, F., Sailer. M. (2003) Basic concepts of Lexical Resource Semantics (w przygotowaniu)
• Richter, F., Sailer, M. i Penn, G. (1999) A formal interpretation of relations and quantification in HPSG. w G. Bouma i in. (red.) Constraints and resources in natural language syntax and semantics. CSLI Publications, Stanford, CA, s. 281-298
• Rosenbaum, P. (1967) The grammar of english predicate compliment constructions, MIT Press, Cambridge, MA Sailer, M. (2000) Combinatorial semantics and idiomatic expressions in Head-Driven Phrase Structure Grammar, praca doktorska, Eberhard-Karls-Universität Tübingen, Seminar für Sprachwissenschaft
• Shoham, Y. (1987) Reasoning about change: time and causation from the standpoint of artificial intelligence, praca doktorska, Yale University
• Szałas, A. (1992) Zarys dedukcyjnych metod automatycznego wnioskowania. Akademicka Oficyna Wydawnicza RM, Warszawa
• van Benthem, J.F.A.K. (1983a) The logic of time, D. Reidel Publishing Company, Dordrecht, Holland
• van Benthem, J.F.A.K. (1983b) Modal logic and classical logic. Bibliopolis
• van Benthem. J.F.A.K. (1984) Correspondence theory, w D.Gabbay, F.Guenthner (red.) Handbook of philosophical logic, vol. 2, s. 167-247
• van Eijck, J. & Kamp, H. (1997) Representing discourse in context, w Handbook of logic and language, red. J. van Benthem k A. ter Meulen, Elsevier Science
• Veltman, F. (1991) Defaults in update semantics, Technical report, Department of Philosophy, University of Amsterdam