نسيم فرانسيز

نسيم فرانسيز ( بالعبرية : נסים פרנסיז ؛ ولد في 19 يناير 1944 في بلغاريا) هو أستاذ إسرائيلي فخري في كلية علوم الحاسوب في التخنيون ، ورئيس سابق لمختبر اللغويات الحاسوبية في الكلية. ^{[ 1 ]}

حصل على درجة البكالوريوس في الرياضيات والفلسفة من الجامعة العبرية في القدس عام 1965. وبعد خدمته العسكرية في جيش الدفاع الإسرائيلي ، درس في قسم الرياضيات التطبيقية في معهد وايزمان في رحوفوت ، وحصل على درجة الماجستير عام 1971.

وواصل دراسته هناك وحصل على درجة الدكتوراه في عام 1976 تحت إشراف البروفيسور أمير بنويلي . ^{[ 2 ]}

في عام 1991، أصبح أستاذاً متفرغاً في كلية علوم الحاسوب في معهد التخنيون، ومن عام 1996 إلى عام 2006، ترأس مختبر اللغويات الحاسوبية في الكلية. شغل فرانسيز كرسي بنك لئومي في علوم الحاسوب في الكلية من عام 2000 حتى عام 2010، حين تقاعد من التخنيون بصفة أستاذ فخري. ^{[ 2 ]}

عمل فرانسيز في مركز آي بي إم العلمي في حيفا بين عامي 1981 و1982، وبعد عام في مركز أبحاث آي بي إم-تي جيه واتسون في يوركتاون هايتس، نيويورك ، الولايات المتحدة الأمريكية، كعالم زائر. وفي الفترة من 1983 إلى 1985، عمل على تصميم وتنفيذ بيئة برمجة برولوج في مركز آي بي إم العلمي في حيفا. كما عمل كعالم زائر في شركة الإلكترونيات الدقيقة وتكنولوجيا الحاسوب (MCC) في أوستن، تكساس ، الولايات المتحدة الأمريكية، خلال صيفيّ 1986 و1987، ومن 1989 إلى 1990. وفي عام 1997، عمل كعالم زائر في مركز الرياضيات والمعلوماتية (CWI) في أمستردام . ^{[ 2 ]}

كما كان محررًا ضيفًا (مع إيان برات هارتمان) لعدد خاص من مجلة Studia Logica Logic and Natural Language، 2012. ^{[ 3 ]}

خلال إجازاته التفرغية وإجازاته الصيفية، عمل فرانسيز باحثًا مشاركًا في مختبر أيكن للحوسبة بجامعة هارفارد صيفَي 1981 و1982. كما كان عالمًا زائرًا في أكاديمية آبو، توركو، فنلندا (1988)، وفي قسم علوم الحاسوب بجامعة أوتريخت ، هولندا (1992). شغل فرانسيز منصب أستاذ زائر فخري في قسم علوم الحاسوب بجامعة مانشستر (1996-1997)، وباحثًا زائرًا أول في مركز أبحاث الحوسبة البشرية، قسم المعلوماتية ، جامعة إدنبرة (2002) ^{[ 4 ]} ، وفي كلية علوم الحاسوب بجامعة سانت أندروز (2007). ^{[ 2 ]}

تشمل أبحاث فرانسيز علوم الحاسوب النظرية ، والمنطق الصوري ، واللغويات الحاسوبية . ^{[ 5 ]}

ركزت أبحاث فرانسيز الأولية على دلالات لغات البرمجة ، والتحقق من البرامج، ونظرية التزامن. ^{[ 6 ] [ 2 ]} وقدّم صياغات رسمية دقيقة للإنصاف في الأنظمة المتزامنة، وطوّر أساليب للاستدلال حول الجدولة، والحيوية، وعدم الحتمية في البرامج الموزعة. وقدّم كتابه المؤثر " الإنصاف" (1986) ^{[ 7 ]} وكتابه الدراسي "التحقق من البرامج " (1992) معالجات منهجية للأساليب والأدوات اللازمة لإثبات صحة البرامج، بما في ذلك الأنظمة المتزامنة والموزعة. ^{[ 8 ]} وفي هذه الفترة، ساهم أيضًا في البرمجة المنطقية ونشر أبحاثًا حول التحقق المباشر من خصائص البرامج، كما في مجلة "أكتا إنفورماتيكا " (1983). ^{[ 9 ]}

في تسعينيات القرن العشرين، وسّع فرانسيز نطاق أبحاثه لتشمل اللغويات الحاسوبية، مركزًا على التمثيل الرسمي لنحو اللغة الطبيعية ودلالاتها. ^{[ 10 ]} وقد عمل على قواعد نحوية قائمة على التوحيد ، بما في ذلك قواعد النحو الوظيفي المعجمي (LFG) وقواعد النحو القائمة على بنية العبارة (HPSG)، مساهمًا في أسسها النظرية وتطبيقاتها اللغوية.

منذ أوائل العقد الأول من القرن الحادي والعشرين، برز فرانسيز كشخصية رائدة في تطوير الدلالات القائمة على نظرية البرهان، وهي بديل للدلالات الشرطية الصادقة التي تُعرّف المعنى من خلال قواعد الاستدلال. وقد طبّق فرانسيز الدلالات القائمة على نظرية البرهان على ظواهر اللغة الطبيعية مثل غموض نطاق المُكمِّم، وتعديل الصفات، وتقييد المجال، والحجج المحذوفة، والاستلزام الذي يحجبه السياق. ^{[ 4 ]} وقد أدخل عمله مفهوم الثنائية ، موسعًا أنظمة البرهان لمعالجة التأكيد والإنكار بشكل متناظر، كما طوّر قيمًا دلالية قائمة على نظرية البرهان للمعاملات المنطقية. ^{[ 11 ]}

بالتوازي مع ذلك، ساهم في تطوير قواعد اللغة المنطقية النوعية، مستكشفًا كيفية استخدام هياكل الوظيفة-الوسيط لتعيين القيم الدلالية تركيبيًا، بما يتماشى مع مبدأ السياق لفريجه. وقد ركز هذا النهج على المعنى كما تحدده قواعد الإدخال في الاستدلال الطبيعي بدلاً من الدلالات النظرية النموذجية. ^{[ 12 ]}

قدم كتابه الذي شارك في تأليفه مع شولي وينتنر، بعنوان "قواعد التوحيد " (2011)، مقدمة رياضية دقيقة لهذا المجال، وقد تم الاستشهاد به على نطاق واسع. ^{[ 13 ]}

في السنوات الأخيرة، أولى فرانسيز اهتمامًا كبيرًا للمنطق الترابطي ، وهو فرع غير كلاسيكي من الأنظمة المنطقية التي ترفض مفارقات الاستلزام في المنطق الكلاسيكي، مثل مبدأ "إذا لم يكن أ، فإن أ يستلزم ب". ^{[ 14 ]} يطور عمله أسسًا نظرية للبرهان في الاستدلال الترابطي، بما يتماشى مع برنامجه الأوسع نطاقًا لتعريف المعنى من خلال قواعد الاستدلال. وقد تُوِّج هذا المسار البحثي بكتابه " نظرة على المنطق الترابطي" (2021)، الذي يقدم عرضًا منهجيًا لهذا المجال، ويضع المبادئ الترابطية في سياق تاريخ المنطق، ويستكشف أهميتها للتطبيقات الفلسفية والحاسوبية. ^{[ 15 ]}

• نيسيم فرانسيز ، الباحث العلمي من جوجل
• نسيم فرانسيز في مشروع علم الأنساب الرياضي
• نسيم فرانسيز ، في خادم ببليوغرافيا DBLP