Montague grammar
http://dbpedia.org/resource/Montague_grammar an entity of type: Abstraction100002137
Η γραμματική του Μόνταγκιου (αγγλικά: Montague grammar) είναι μια προσέγγιση στη σημασιολογία των φυσικών γλωσσών που πήρε το όνομά της από τον Αμερικανό επιστήμονα της λογικής Ρίτσαρντ Μόνταγκιου. Η γραμματική του Μόνταγκιου βασίζεται στην τυπική λογική και ειδικότερα στην κατηγορηματική λογική υψηλότερης τάξης και το λ-λογισμό και χρησιμοποιεί έννοιες της μέσω . Ο Μόνταγκιου υπήρξε πρωτοπόρος αυτής της προσέγγισης κατά τη δεκαετία του 1960 και στην αρχή της δεκαετίας του 1970.
rdf:langString
Montague grammar is an approach to natural language semantics, named after American logician Richard Montague. The Montague grammar is based on mathematical logic, especially higher-order predicate logic and lambda calculus, and makes use of the notions of intensional logic, via Kripke models. Montague pioneered this approach in the 1960s and early 1970s.
rdf:langString
モンタギュー文法（モンタギューぶんぽう）は、自然言語の意味論へのアプローチの一つ。アメリカ合衆国の論理学者リチャード・モンタギューの名を採って名付けられた。
rdf:langString
Gramatyka Montague (semantyka Montague) – teoria semantyki języka naturalnego, zaproponowana w latach 60. i 70. przez Richarda Montague; od tego czasu podlegała modyfikacjom. Bazuje na teorii modeli formalizacja semantyki języka naturalnego. Jej częścią był język formalny zapisu, jak również charakterystyczny zestaw reguł języka, rządzących składnią. Bazuje na logice formalnej. Zakłada, że języki naturalne (takie jak angielski) mogą być traktowane w ten sam sposób jak języki formalne. Kluczowym zagadnieniem jest relacja pomiędzy syntaktyką a semantyką. Znaczenie wypowiedzi zależy zarówno od znaczenia poszczególnych części zdania, jak i od sposobu, w jaki zostały połączone.
rdf:langString
蒙塔古文法（英語：Montague grammar），又譯為蒙太古文法、蒙太格文法，由美國邏輯學家理查德·蒙塔古提出，用來研究自然語言語義學。他認為自然語言與形式語言在基本文法邏輯上是一致的，於1970年至1973年間提出一系列論文，形成蒙塔古文法，可用於自然語言處理。 理查德·梅里特·蒙塔古生於美国加州史塔克顿，美国数学家与哲学家。
rdf:langString
يمثل نحو منتاغيو (MG من Montague grammar) ذروة المعالجة المنطقية للغات، فلم تعد الدلالة تابعة للتركيب كما في نموذج تشومسكي، ولم يعد التركيب تابعا للدلالة كما في الدلالة التوليدية، فقد أفلح نحو منتاغيو في أن يوحد ما بين التركيب والدلالة على أساس من وجود علاقة «واحد إلى واحد» ما بين القواعد التركيبية والقواعد الدلالية ووضع الأساليب المنهجية لاشتقاق معنى الجملة مباشرة من معاني عناصرها التركيبية. استند نحو منتاغيو على المنطق الطوري والمنطق الزمني ومنطق المستندات، واتخد من النحو المقولي وسيلته لصياغة تمتيلاته اللغوية التركيبية- الدلالية.
rdf:langString
Граматика Монтегю являє собою підхід до семантики природних мов, названа на честь американського логіка . Граматика Монтегю заснована на , особливо на логіці предикатів вищих порядків та лямбда численні, і використовує поняття , за допомогою моделей Кріпке. Монтегю започаткував цей підхід у 1960-их та на початку 1970-их. Крістофер Баркер пов'язав аналіз квантифікації, зроблений Монтегю, з поняттям продовження (continuation) у семантиці мов програмування.
rdf:langString
rdf:langString
نحو مونتاغيو
rdf:langString
Γραμματική Μόνταγκιου
rdf:langString
モンタギュー文法
rdf:langString
Montague grammar
rdf:langString
Gramatyka Montague
rdf:langString
蒙塔古語法
rdf:langString
Граматика Монтегю
xsd:integer
709308
xsd:integer
1122837128
rdf:langString
يمثل نحو منتاغيو (MG من Montague grammar) ذروة المعالجة المنطقية للغات، فلم تعد الدلالة تابعة للتركيب كما في نموذج تشومسكي، ولم يعد التركيب تابعا للدلالة كما في الدلالة التوليدية، فقد أفلح نحو منتاغيو في أن يوحد ما بين التركيب والدلالة على أساس من وجود علاقة «واحد إلى واحد» ما بين القواعد التركيبية والقواعد الدلالية ووضع الأساليب المنهجية لاشتقاق معنى الجملة مباشرة من معاني عناصرها التركيبية. لقد حسم ريتشارد مونتاغيو بذالك قضية محورية في ما يخص علاقة التركيب بالدلالة وقد نجح في تطبيق نموذجه على شريحة كبيرة من نحو اللغة الإنجليزية، ليسقط بذالك الحاجز الذي يفصل بين اللغات الصورية (لغة المنطق والرياضيات) واللغات الطبيعية (الإنجليزية وغيرها)، وهو ما أدى بدوره الي إسقاط الحاجز بين اللغات الطبيعية واللغات الاصطناعية المستخدمة في الحاسوب (كلغات البرمجة ولغات التخاطب مع قواعد البيانات). استند نحو منتاغيو على المنطق الطوري والمنطق الزمني ومنطق المستندات، واتخد من النحو المقولي وسيلته لصياغة تمتيلاته اللغوية التركيبية- الدلالية.
rdf:langString
Η γραμματική του Μόνταγκιου (αγγλικά: Montague grammar) είναι μια προσέγγιση στη σημασιολογία των φυσικών γλωσσών που πήρε το όνομά της από τον Αμερικανό επιστήμονα της λογικής Ρίτσαρντ Μόνταγκιου. Η γραμματική του Μόνταγκιου βασίζεται στην τυπική λογική και ειδικότερα στην κατηγορηματική λογική υψηλότερης τάξης και το λ-λογισμό και χρησιμοποιεί έννοιες της μέσω . Ο Μόνταγκιου υπήρξε πρωτοπόρος αυτής της προσέγγισης κατά τη δεκαετία του 1960 και στην αρχή της δεκαετίας του 1970.
rdf:langString
Montague grammar is an approach to natural language semantics, named after American logician Richard Montague. The Montague grammar is based on mathematical logic, especially higher-order predicate logic and lambda calculus, and makes use of the notions of intensional logic, via Kripke models. Montague pioneered this approach in the 1960s and early 1970s.
rdf:langString
モンタギュー文法（モンタギューぶんぽう）は、自然言語の意味論へのアプローチの一つ。アメリカ合衆国の論理学者リチャード・モンタギューの名を採って名付けられた。
rdf:langString
Gramatyka Montague (semantyka Montague) – teoria semantyki języka naturalnego, zaproponowana w latach 60. i 70. przez Richarda Montague; od tego czasu podlegała modyfikacjom. Bazuje na teorii modeli formalizacja semantyki języka naturalnego. Jej częścią był język formalny zapisu, jak również charakterystyczny zestaw reguł języka, rządzących składnią. Bazuje na logice formalnej. Zakłada, że języki naturalne (takie jak angielski) mogą być traktowane w ten sam sposób jak języki formalne. Kluczowym zagadnieniem jest relacja pomiędzy syntaktyką a semantyką. Znaczenie wypowiedzi zależy zarówno od znaczenia poszczególnych części zdania, jak i od sposobu, w jaki zostały połączone.
rdf:langString
蒙塔古文法（英語：Montague grammar），又譯為蒙太古文法、蒙太格文法，由美國邏輯學家理查德·蒙塔古提出，用來研究自然語言語義學。他認為自然語言與形式語言在基本文法邏輯上是一致的，於1970年至1973年間提出一系列論文，形成蒙塔古文法，可用於自然語言處理。 理查德·梅里特·蒙塔古生於美国加州史塔克顿，美国数学家与哲学家。
rdf:langString
Граматика Монтегю являє собою підхід до семантики природних мов, названа на честь американського логіка . Граматика Монтегю заснована на , особливо на логіці предикатів вищих порядків та лямбда численні, і використовує поняття , за допомогою моделей Кріпке. Монтегю започаткував цей підхід у 1960-их та на початку 1970-их. Теза Монтегю полягала у тому, що природні мови та формальні мови можна аналізувати за допомогою одного інструментарію. У своїй роботі «Універсальна граматика» (1970) він писав: «На мою думку, не існує важливих теоретичних відмінностей між природними мовами і штучними мовами логіки: я вважаю можливим осягнути синтаксис і семантику обох цих видів мов за допомогою однієї природної і математично точної теорії. У цьому моя позиція відрізняється від деяких філософів, але, думаю, узгоджується зі школою Ноама Чомскі і його послідовників». Крістофер Баркер пов'язав аналіз квантифікації, зроблений Монтегю, з поняттям продовження (continuation) у семантиці мов програмування.
xsd:nonNegativeInteger
10904