O poszukiwaniu jednorożców, czyli sematyka możliwych światów w gramatyce Montague

• Autorzy: Hajnicz E.

Warianty tytułu

EN

Seeking unicorn: possible worlds semantics in Montague grammar

• Języki publikacji: PL

Abstrakty

PL

Niniejszy raport opisuje własności formalne gramatyki Montague, jakie ujawniły się podczas tworzenia polskiej wersji formalizmu. Najpierw prezentowane są techniki przedefiniowywania typu obiektów oraz tzw. postulaty znaczeniowe, które umożliwiają przekształcanie wyrażeń formalizmu na postać reprezentującą znaczenie wypowiedzeń języka naturalnego w sposób bardziej intuicyjny. Na koniec omawiane są zjawiska, dla których ten potężny mechanizm został poniekąd stworzony: byty hipotytyczne i przykładowy czasownik wiedzy wiedzieć.

EN

The present report describes formal properties of Montague grammar which have appeared during elaboration of the polish version of the formalism. First, techniques of redefining of object types and so called meaning postulates are presented. They enable us to transform expressions of the logic onto the form representing meaning of the natural language expressions in more intuistic way. Some limitations of the formalism are discussed. Last but not least, there are handled phenomena, for which this powerful intenssional phormalism was elaborated: hypothetical beings and knowledge verbs represented by the verb believe

Słowa kluczowe

PL

logiki intensjonalne; semantyka języka naturalnego; podejście teoriomodelowe

EN

natural language semantics; intesional logic; model-theoretic approach

• Wydawca: Instytut Podstaw Informatyki PAN
• Czasopismo: Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk
• Rocznik: 2006
• Tom: Nr 995
• Strony: 1--78
• Opis fizyczny: Bibliogr. 20 poz., rys.

Twórcy

autor

Hajnicz E.

• Instytut Podstaw Informatyki PAN ul. Ordona 21 01-237 Warszawa Polska,

Bibliografia

• Ajdukiewicz, K. (1935) Die syntaktische Konnexitat, Studia Philosophica l s. 1-27.
• Allen, J.F. (1984) Towards a general theory of action and time, Artificial Intelligence 23(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, s. 3-14
• Bennett, M. (1976) A variation and extension of a Montague fragment of English, w B. Parteee (red.) Montague grammar, Academic Press, New York, s. 119-164
• Dowty, D.R., Wall, R.E. & Peters, St. (1981) Introduction to Montague semantics, Kluwer Academic Publishers, Dordrecht
• Galton, A. (1990) A critical examination of Allen's theory of action and time, Artificial Intelligence 42 (2-3), s. 159-188
• Grzegorczyk, A. Zarys logiki matematycznej, PWN, Warszawa
• Hajnicz, E. (2003) Przegląd formalnych metod semantycznych, Prace IPI PAN Nr. 965, Warszawa
• Hajnicz, E. (2006a) Syntaktyczna i semantyczna analiza wybranych konstrukcji języka polskiego w gramatyce Montague, Prace IPI PAN Nr. 965, Warszawa
• Hajnicz, E. (2006b) Adapatcja gramatyki Montague dla języka polskiego, w przygotowaniu
• Kripke, S. (1959) A completeness theorem in modal logic, Journal of Symbolic Logic 24, s. 1-14
• Kripke, S. (1963) Semantical analysis of modal logic I: normal modal propositional calculi, Zeitschrift für Math. Logic und Grundlagen der Math. 9, s. 67-96
• Kripke, S. (1965) Semantical analysis of modal logic II: non normal modal propositional calculi, w: The theory o f models, North-Holland Publishing, s. 206-220
• 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 societa e nella tecnica, red. B. Visentini i in., Edizioni di Communita, 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 ibid
• 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, s. 221-242; przedruk ibid
• Przepiórkowski, A,, Kupść, A., Marciniak, M. i Mykowiecka, A. (2002) Formalny opis języka polskiego. Teoria i implementacja, Akademicka Oficyna Wydawnicza EXIT, Warszawa
• Rodman, R. (1976) Scope phenomena, "movement transformations" and Montague grammar, w B. Parteee (red.) Montague grammar, Academic Press, New York, s. 165-176
• Thomason, R.H. (1976) Some extentions of Montague grammar, w B. Parteee (red.) Montague grammar, Academic Press, New York, s. 77-117