صورنة اللغة العربية مقاربات ونماذج

 

Formalization of the Arabic language

approaches and models

د. يحيى بن أحمد عبد الله اللتيني

الكلمات مفتاحية: صورنة - المجموعات الرياضية – حساب لامدا – متجه الكلمات – المتجه الزاوي.

بحث منشور

المستخلص:

 يتطرق هذا البحث إلى بيان توظيف بعض المسائل الرياضية في صورنة اللغة العربية التي تعد المرحلة الهامة قبل حوسبتها حتى نصل بها إلى قالب يتماشى ولغة الحاسوب. ويهدف البحث إلى عرض نماذج لتحويل البنى اللغوية إلى بنى رياضية مجردة. لما تتميز به الرياضيات من موضوعية صارمة يمكن أن تلج بها اللغة إلى الحاسوب ويتعامل بها بنجاعة عالية. وقد اكتفيت بثلاثة نماذج رياضية وهي المجموعات الرياضية وعلاقاتها، وحساب التفاضل والتكامل، والجداء الديكارتي (المتجه الزاوي) لحساب متجه الكلمة word vector.

وخلص البحث إلى أنه يمكن الإفادة من المجموعات الرياضية في تمثيل بعض الشروط النحوية كما فيما يجمع جمع مذكر سالم، وبيّن محللCCG كيفية الكشف عن السلوك المنطقي للجمل والكشف عن التوليد الدلالي وكيفية التعرف على الجمل الأصلية والجمل التي تخرج عن السياق الدلالي. وأخيرا كشف البحث عن أهمية استخدام حساب الكلمات ووزنها في النص وكيف يمكن بذلك الحساب (المتجه الزاوي) تحديد المجال الذي يندرج فيه النص.

Abstract:

This research deals with the explanation of the employment of some mathematical problems in the imagery of the Arabic language, which is an important stage before its computerization, until we reach a template that matches the language of the computer by transforming linguistic structures into abstract mathematical structures. This is due to the fact that mathematics is characterized by its strict objectivity, through which language can be accessed by computer and deal with it with high efficiency. I have mentioned three mathematical models which are the mathematical sets and their collations, the calculus, and the Cartesian product (the angular vector).

The research concluded that the mathematical sets can be used to represent some grammatical conditions, as in what combines the Salem masculine plural, and the CCG Parsing to detect the logical behavior of sentences, detect semantic generation, and how to identify original sentences and sentences that go out of the semantic context. Finally, the research revealed the importance of using counting words and their weight in the text, and how this calculation (Angular velocity) can determine the field in which the text falls.

Kay words: Formalism –– Mathematical Sets - Lamda calculus - Word direct – Angular vector.


المصادر والمراجع

المراجع العربية:

باهي، حسان: اللغة والمنطق بحث في المفارقات. دار الأمان. الرباط.2015م

الحباشة، صابر: علاقة اللسانيات بالرياضيات، رهانات أم عقبات؟: مجلة المخاطبات. تونس العدد 5، فبراير 2013م

العزاوي، أبو بكر 2014.: المنطق واللغة مدخل نظري مطبعة طوب بريس. الرباط.

اللحياني، سرور (2010): خصائص الرأس الفعلي وظواهر من انتظام المعجم، منشورات كلية الآداب والفنون والإنسانيات، منوبة.

اللتيني، يحيى 2018: أسس صناعة المعجم المحوسب. دار كنوز للتوزيع والنشر. الأردن.

المالكي، طارق: الاستدلال في المنطق وتطبيقاته في اللسانيات. دار كنوز. الأردن.2018.

المراجع الأجنبية:    

Bach, Emmon, Oehrle, Richard, and Wheeler, Deirdre eds. 1987. Categorial Grammars and Natural Language Structures. Dordrecht: D. Reidel

David Eddington 2008: linguistics and the scientific method. Southwest journal of linguistics, volume 27, number 2 (2008).

David N. Perkins: Software Goes to School: Teaching for Understanding with New Technologies. New York Oxford university Press 1995

Dever.J.2006. "compositionality" In E. Lepore & B. Smith (eds.), The Oxford Handbook of Philosophy of Language. Oxford University Press.

Geoffrey K. Pullum and Andras Kornai2008 Final version :Mathematical Linguistics

Gregoire D ´ etrez and Aarne Ranta: Smart Paradigms and the Predictability and Complexity of Inflectional Morphology

Partee, Barbara H. 1999. "Semantics" in R.A. Wilson and F.C. Keil, eds., The MIT Encyclopedia of the Cognitive Sciences. Cambridge, MA: The MIT Press

Raffaella Bernardi: Computational Linguistics: Lambda Calculus and NL .KRDB, Free University of Bozen-Bolzano.

Solomon Marcus 1967: Algebraic Linguistics; Analytical Models. Academic press new york and London 

Turing, A. M. (December 1937). "Computability and λ-Definability". The Journal of Symbolic Logic. 2 (4): 153–163. doi:10.2307/2268280. JSTOR 2268280

Van Benthem, Johan, and Alice G. B. ter Meulen. 2010. Handbook of logic and language. 2d ed. Amsterdam and New York: Elsevier Science

Y. Bar-Hillel, 1962: Four lectures on algebraic linguistics and machine translation. A revised version of a series of lectures given in July, 1962, before a NATO advanced summer institute of automatic translation of languages, in Venice, Italy.

 

المواقع الالكترونية:

موقع المبرمج العربي

 https://arabicprogrammer.com/article/79741264314/

Bibliography

 Al-ʿAzāwi, Abu Bakr : Logic and language theoretical introduction 2014. (in Arabic) Rabat: publications of Toub Bris.

 Al-Habāsha, Ṣābir: The relationship of linguistics to mathematics, bets or obstacles? (in Arabic) al-Mukhātabāt Journal. Tunisia: issue 5, Febuary 2013.

 Al-Latīnī, Yahya 2018: Foundations of a Computerized Arabic Lexicon. (in Arabic) Jordan: Dār Kunūz.

Al-Lihyānī, Surur (2010): Actual head characteristics and phenomena of lexical regularity, (in Arabic).  Manouba: publications of college of Arts and Humanities.

Al-Maliki, Tariq: Inference in Logic and its Applications in Linguistics. (in Arabic).  Jordan: Dār Kunuz, 2018.

Bāhi, Hasān: Language and logic: a search for paradoxes. (in Arabic). Rabat: Dār al-Amān, 2015. 

حقوق الطبع الجامعة الإسلامية بالمدينة المنورة © 2024