تكييف نظام طريقة برايل البرتغالية إلى دلالات رسمية

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

Since the seminal work of Richard Montague in the 1970s, mathematical and logic tools have successfully been used to model several aspects of the meaning of natural language. However, visually impaired people continue to face serious difficulties in getting full access to this important instrument. Our paper aims to present a work in progress whose main goal is to provide blind students and researchers with an adequate method to deal with the different resources that are used in formal semantics. In particular, we intend to adapt the Portuguese Braille system in order to accommodate the most common symbols and formulas used in this kind of approach and to develop pedagogical procedures to facilitate its learnability. By making this formalization compatible with the Braille coding (either traditional and electronic), we hope to help blind people to learn and use this notation, essential to acquire a better understanding of a great number of semantic properties displayed by natural language.