Applied Temporal Analysis : A Complete Run of the FraCaS Test SuiteFraCaS Test Suite

Jean-Philippe Bernardy; Stergios Chatzikyriakidis

Applied Temporal Analysis : A Complete Run of the FraCaS Test SuiteFraCaS Test Suite Taò¥minlovchi vaqt: 以时析之:FraCaS 试套件全行

Jean-Philippe Bernardy, Stergios Chatzikyriakidis

Abstract

In this paper, we propose an implementation of temporal semantics that translates syntax trees to logical formulas, suitable for consumption by the Coq proof assistant. The analysis supports a wide range of phenomena including : temporal references, temporal adverbs, aspectual classes and progressives. The new semantics are built on top of a previous system handling all sections of the FraCaS test suite except the temporal reference section, and we obtain an accuracy of 81 percent overall and 73 percent for the problems explicitly marked as related to temporal reference. To the best of our knowledge, this is the best performance of a logical system on the whole of the FraCaS.

Abstract

In hierdie papier voorstel ons 'n implementering van tydelike semantieke wat sintaks bome na logiese formule vertaling, geskik vir verbruik deur die Coq bevestig assistent. Die analisie ondersteun 'n wyde reeks van fenomene, insluitend: tydelike verwysings, tydelike adverbies, aspektiewe klasse en progressives. Die nuwe semantieke is gebou op die bo van 'n vorige stelsel wat alle dele van die FraCaS toets suite behandel, behalwe die tydelike verwysing seksie, en ons kry 'n presisie van 81 persent totaal en 73 persent vir die probleem uitgelyk gemerk as verwante met tydelike verwysing. Op die beste van ons kennis is dit die beste prestasie van 'n logiese stelsel op die hele van die FraCaS.

Abstract

በዚህ ፕሮግራም፣ የሲንካስቲ ዛፎችን ለሎጂካዊ ፎውላሎች እንዲያስተካክሉ፣ በCoq ማስታወቂያ ተቃዋሚ እንዲጠቀም የሚገባውን የጊዜው ሰሜቲካን ማስፈለግ እናስባለን፡፡ ትምህርት፣ የጊዜው ተግባር፣ የጊዜው ትምህርት፣ የፊደል ደረጃዎች እና ግንኙነት ይጨመርበታል፡፡ አዲስ ስምናሽኮች በክፍለ ጊዜ ካልሆነ በቀር የፍሬካS ፈተና ክፍሎች ሁሉ በመቀበል ላይ ተሠርተዋል፤ በጊዜው የክፍለ ክፍል ክፍል ሲቀር አዲስ ስምናቄዎች በሙሉ 81 በመቶው እና 73 በመቶኛ ክፍተት በተለየ ጥያቄ ላይ የተደረገ ነው፡፡ ከውቀታችን ሁሉ በላጭ ይህ የግንኙነት ስርዓት ነው፡፡

Abstract

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

Abstract

Bu kağızda, Coq kanıt asistanının istifadə üçün uyğun syntaks ağaclarını logik formüllərə çevirən temporal semantik işləməsini təklif edirik. Analizi, müxtəlif məlumatlar, vaxtlı reklamlar, aspekti sınıflar və progressivlər dahil olmaqla geniş bir dəyişiklik dəstəklərini dəstəkləyir. Yeni semantik keçmiş sistemin üstündə FraCaS test suitinin bütün bölümlərini müəyyən edir. Lakin temporal referans bölümündən başqa, biz 81%-dən və 73%-dən müəyyən edilmiş problemlərə müəyyən edilmiş olaraq dəyişiklik alırıq. Bizim elmimizin ən yaxşısına gəldikdə, bu FraCaS bütün sisteminin ən yaxşısıdır.

Abstract

В настоящата статия предлагаме внедряване на времева семантика, която превежда синтаксисните дървета в логически формули, подходящи за консумация от асистента за проверка на Кок. Анализът поддържа широк спектър от явления, включително: времеви препратки, времеви adverbи, аспектуални класове и прогресивни. Новата семантика е изградена върху предишна система, която обработва всички секции от теста с изключение на времевата референтна секция, и получаваме точност от 81% общо и 73% за проблемите, изрично маркирани като свързани с времевата референция. Доколкото знаем, това е най-доброто представяне на логическа система в цялата FraCaS.

Abstract

এই কাগজটিতে আমরা সাময়িক সেমান্টিক্সের ব্যবস্থা প্রস্তাব করি যা সিন্ক্যাক্স গাছগুলোকে লজিক ফর্মুলার অনুবাদ করে, যা কোক প্রমা বিশ্লেষণ বিস্তারিত বিভিন্ন ব্যাপারগুলোকে সমর্থন করে, যার মধ্যে রয়েছে সাময়িক উল্লেখ, সাময়িক বিজ্ঞাপন, প্রাক্তন ক্লা ফ্রাকাস পরীক্ষার স্যুটের সকল অংশ ব্যতীত নতুন সেম্যান্টিক্সের উপর নির্মাণ করা হয়েছে এবং সাময়িক রেফারেন্স বিভাগের সাথে পরিষ্কার করা হয়েছে এবং আমরা সাধারণত ৮১ শতাংশ এবং আমাদের জ্ঞানের সবচেয়ে ভালোভাবে এটা ফ্রাকাসের পুরো বৈশিষ্ট্য ব্যবস্থার সবচেয়ে ভালো প্রদর্শন।

Abstract

འོག་གི་ཤོག་བུ་འདིའི་ནང་དུ་ང་ཚོས་ཀྱིས་དུས་མཚམས་སུ་འཇུག་འདོགས་པའི་ཚོར་བ་སྐྱེས་ཚོའི་ནང་གི་ཡིག དབྱེ་ཞིབ་འདིས་གནད་དོན་པའི་དུས་ཚོད་རྣམས་ཀྱི་ཁྱད་ཚད་ཆེ་བ་ལ་རྒྱབ་སྐྱོར་བྱེད་ཀྱི་ཡོད། semantics་གསར་བ་འདི་སྔོན་གྱི་མ་ལག་གི་ལག་ལེན་པ་ཞིག་གིས་བཀོལ་སྤྱོད་མི་ཆ་ཚང་མཉམ་དུ་བཏོན་ཡོད། ང་ཚོའི་ཤེས་ཚད་དགའ་ཤོས་ཤོས་ཚད་ལྡན་ནི་(FraCaS)ཡི་གྲངས་རིག་གི་མ་ལག་གི་གྲངས་ཤོས་ཤིག་རེད།

Abstract

U ovom papiru predlažemo provedbu privremenih semantika koji prevodi sintaksične drveće u logičke formule, odgovarajuće za potrošnju pomoćnika za dokaze Coq-a. Analiza podržava širok niz fenomena uključujući: privremene referencije, privremene reklame, aspektualne klase i progresivne. Novi semantici su izgrađeni na vrhu prethodnog sistema koji se bavi svim dijelovima testnog apartmana FraCaS osim privremenog referentnih sekcija, i dobijamo preciznost od 81 procenata ukupno i 73 procenata za probleme koje su jasno označene kao povezane sa privremenom referencijom. Za najbolje od našeg znanja, ovo je najbolji izvršak logičkog sistema na cijelom FraCaS-u.

Abstract

En aquest paper, proposem una implementació de semàntica temporal que traduis arbres de sintaxi en fórmules lògiques, apropiades per al consum per l'assistent de prova Coq. L'anàlisi suporta una gran varietat de fenomens que inclouen: referències temporals, adverbs temporals, classes aspectuals i progressius. The new semantics are built on top of a previous system handling all sections of the FraCaS test suite except the temporal reference section, and we obtain an accuracy of 81 percent overall and 73 percent for the problems explicitly marked as related to temporal reference. Segons el nostre coneixement, aquest és el millor rendiment d'un sistema lògic en tot el FraCaS.

Abstract

V tomto článku navrhujeme implementaci časové sémantiky, která překládá syntaxi stromy do logických vzorců, vhodných pro spotřebu Coq proof asistentem. Analýza podporuje širokou škálu jevů, včetně časových odkazů, časových příslovců, aspektových tříd a progresivních. Nová sémantika je postavena na vrcholu předchozího systému zpracovávajícího všechny sekce testovací sady FraCaS kromě časové referenční sekce a získáváme přesnost celkově 81 procent a 73 procent pro problémy explicitně označené jako související s časovou referencí. Podle našich nejlepších znalostí je to nejlepší výkon logického systému na celém FraCaS.

Abstract

I denne artikel foreslår vi en implementering af tidssemantik, der oversætter syntakstræer til logiske formler, egnede til forbrug af Coq proof assistent. Analysen understøtter en bred vifte af fænomener, herunder: tidsreferencer, tidsadverber, aspektuelle klasser og progressive. Den nye semantik er bygget oven på et tidligere system, der håndterer alle sektioner af FraCaS testsuiten undtagen tidsreferencesektionen, og vi opnår en nøjagtighed på 81 procent samlet og 73 procent for de problemer, der udtrykkeligt er markeret som relateret til tidsreference. Så vidt vi ved, er dette den bedste ydeevne af et logisk system på hele FraCaS.

Abstract

In diesem Beitrag schlagen wir eine Implementierung temporaler Semantik vor, die Syntaxbäume in logische Formeln übersetzt, die für den Coq-Proof-Assistenten geeignet sind. Die Analyse unterstützt eine breite Palette von Phänomenen, darunter: zeitliche Bezüge, zeitliche Adverbien, aspektuelle Klassen und Progressive. Die neue Semantik basiert auf einem früheren System, das alle Abschnitte der FraCaS-Testsuite außer dem zeitlichen Referenzabschnitt behandelt, und wir erhalten eine Genauigkeit von 81 Prozent insgesamt und 73 Prozent für die Probleme, die explizit als zeitliche Referenz gekennzeichnet sind. Nach bestem Wissen ist dies die beste Leistung eines logischen Systems im gesamten FraCaS.

Abstract

Στην παρούσα εργασία, προτείνουμε μια εφαρμογή της χρονικής σημασιολογίας που μεταφράζει τα συντακτικά δέντρα σε λογικούς τύπους, κατάλληλους για κατανάλωση από τον βοηθό απόδειξης Coq. Η ανάλυση υποστηρίζει ένα ευρύ φάσμα φαινομένων συμπεριλαμβανομένων: χρονικών αναφορών, χρονικών επιθέσεων, οπτικών τάξεων και προοδευτικών. Η νέα σημασιολογία είναι χτισμένη πάνω σε ένα προηγούμενο σύστημα που χειρίζεται όλες τις ενότητες της σειράς δοκιμών εκτός από το τμήμα χρονικής αναφοράς, και αποκτούμε μια ακρίβεια 81 τοις εκατό συνολικά και 73 τοις εκατό για τα προβλήματα που επισημαίνονται ρητά ως σχετικά με χρονική αναφορά. Από όσο γνωρίζουμε, αυτή είναι η καλύτερη απόδοση ενός λογικού συστήματος στο σύνολο του FraCaS.

Abstract

En este artículo, proponemos una implementación de semántica temporal que traduce árboles sintácticos a fórmulas lógicas, adecuadas para el consumo por parte del asistente de pruebas de Coq. El análisis admite una amplia gama de fenómenos que incluyen: referencias temporales, adverbios temporales, clases aspectuales y progresivos. La nueva semántica se basa en un sistema anterior que maneja todas las secciones del conjunto de pruebas de FrACAS, excepto la sección de referencia temporal, y obtenemos una precisión del 81 por ciento en general y del 73 por ciento para los problemas marcados explícitamente como relacionados con la referencia temporal. Según nuestro conocimiento, este es el mejor rendimiento de un sistema lógico en todo el FrACAS.

Abstract

Käesolevas töös pakume välja ajalise semantika rakendamist, mis tõlgib süntaksipuud loogilisteks valemiteks, mis sobivad tarbimiseks Coq tõendi assistendi poolt. Analüüs toetab mitmesuguseid nähtusi, sealhulgas: ajalised viited, ajalised adverbid, aspektuaalsed klassid ja progressiivsed. Uus semantika põhineb eelmisel süsteemil, mis käsitleb FraCaS testikomplekti kõiki sektsioone, välja arvatud ajalise viite sektsiooni, ning saavutame täpsuse 81 protsenti üldiselt ja 73 protsenti probleemide puhul, mis on selgesõnaliselt märgitud ajalise viitega seotud. Meie teadmiste kohaselt on see kogu FraCaS-i loogilise süsteemi parim tulemus.

Abstract

در این کاغذ، ما پیشنهاد می‌کنیم که عملیات سیمانتیک موقتی را که درختان سینتکس را به فرمول‌های منطقی ترجمه می‌کند، مناسب برای مصرف توسط دستیار مدرک کوک است. این تحلیل یک مجموعه گسترده از پدیده‌هایی را پشتیبانی می‌کند که شامل: ارتباط‌های موقتی، آفرینش‌های موقتی، کلاس‌های منحصری و پیشرفت‌ها است. سیماناتیک جدید بر روی یک سیستم قبلی ساخته می شوند که همه بخش‌ها از سویتهای آزمایش FraCaS به جز بخش ارتباط موقتی بسته می‌شوند، و ما دقیق 81 درصد در کل و 73 درصد برای مشکلات که مشکلات مشخص شده به عنوان ارتباط با ارتباط موقتی نشان داده می‌شوند. برای بهترین دانش ما این بهترین عملکرد یک سیستم منطقی در کل فراکاس است.

Abstract

Tässä työssä ehdotamme ajallisen semantiikan toteutusta, joka kääntää syntaksipuut loogisiksi kaavoiksi, jotka soveltuvat Coq proof assistentin käyttöön. Analyysi tukee monenlaisia ilmiöitä, kuten ajallisia viittauksia, ajallisia adverbeja, aspektiaalisia luokkia ja progressiivisia. Uusi semantiikka rakentuu aiemman järjestelmän päälle, joka käsittelee kaikkia FraCaS-testisarjan osia lukuun ottamatta aikaviiteosiota, ja saamme 81 prosentin tarkkuuden ja 73 prosentin tarkkuuden ongelmiin, jotka on nimenomaisesti merkitty ajalliseen viitekehykseen liittyviksi. Tietojemme mukaan tämä on koko FraCaS:n loogisen järjestelmän paras suorituskyky.

Abstract

Dans cet article, nous proposons une implémentation de la sémantique temporelle qui traduit les arbres syntaxiques en formules logiques, adaptées à la consommation par l'assistant de preuve Coq. L'analyse prend en charge un large éventail de phénomènes, notamment : les références temporelles, les adverbes temporels, les classes aspectuelles et les progressifs. La nouvelle sémantique repose sur un système précédent gérant toutes les sections de la suite de tests FrACAS à l'exception de la section de référence temporelle, et nous obtenons une précision globale de 81 pour cent et de 73 pour cent pour les problèmes explicitement marqués comme étant liés à la référence temporelle. À notre connaissance, il s'agit de la meilleure performance d'un système logique sur l'ensemble des FRACA.

Abstract

Sa pháipéar seo, molaimid cur i bhfeidhm shéimeantaic ama a aistríonn crainn chomhréire go foirmlí loighciúla, atá oiriúnach le caitheamh ag an gcúntóir cruthúnas Coq. Tacaíonn an anailís le raon leathan feiniméin lena n-áirítear: tagairtí ama, dobhriathar ama, ranganna gné agus forásach. Tógtar an tséimeantaic nua ar bharr córais roimhe seo a láimhseáil gach cuid den tsraith tástála FraCaS ach amháin an rannóg tagartha ama, agus faightear cruinneas 81 faoin gcéad san iomlán agus 73 faoin gcéad do na fadhbanna atá marcáilte go sainráite mar a bhaineann le tagairt ama. Chomh fada agus is eol dúinn, is é seo an fheidhmíocht is fearr de chóras loighciúil ar an iomlán FraCaS.

Abstract

Ga wannan takardan, Munã goyyade in zartar da sheanti masu yiwuwa da ake fassara itãcen syntaxewa zuwa formulan logical, mai daidai ga amfani da mataimaki na Coq. Anarari yana ƙarfafa da wasu abu mai yawa, kamar: misãlai masu amfani da wagon mutane, masu shawara da ake lokaci, darafõfi da shiryoyi. An samar da shirin semantiki na zaman wani na'ura da aka yi amfani da duk ƙungiyõyi na matsayin jarraba FraCaS fãce rabon maganar lokaci, kuma za'a sami taƙaitaccen tsari na asilimin 81 da asilimin 73 ga masu cikin ma'abun da aka ƙayyade wajen bayani da aka yi wa'anar amfani da wa lokaci. To the best of our knowledge, this is the best performance of a logical system on the whole of the FraCaS.

Abstract

בעיתון הזה, אנו מציעים הפעולה של סמנטיקה זמנית שמתרגמת עצי סינטקס לתורפות הגיוניות, מתאימות לצרכה על ידי עוזר הוכחה קוק. הניתוח תומך על מגוון רחב של תופעות כולל: התייחסות זמניות, פרסומות זמניות, שיעורי פרספקטיביים ומתקדמות. הסמנטיקה החדשה נבנתה על מערכת קודמת שמטפלת בכל חלקים של סוויטת הבדיקות FraCaS חוץ מהחלק התייחסות הזמנית, ואנחנו מקבלים מדויקה של 81 אחוזים באופן כללי ו-73 אחוזים עבור הבעיות מסומנות באופן ברור כקשורות לתייחסות זמנית. למיטב הידע שלנו, זו ההופעה הטובה ביותר של מערכת הגיונית בכל פרייקאס.

Abstract

इस पेपर में, हम अस्थायी शब्दार्थ के कार्यान्वयन का प्रस्ताव करते हैं जो वाक्यविन्यास के पेड़ों को तार्किक सूत्रों में अनुवाद करता है, जो कोक प्रूफ सहायक द्वारा खपत के लिए उपयुक्त है। विश्लेषण सहित घटनाओं की एक विस्तृत श्रृंखला का समर्थन करता है: अस्थायी संदर्भ, अस्थायी क्रियाविशेषण, पहलू वर्गों और प्रगतिशील। नए शब्दार्थ अस्थायी संदर्भ अनुभाग को छोड़कर FraCaS परीक्षण सूट के सभी वर्गों को संभालने वाली पिछली प्रणाली के शीर्ष पर बनाए गए हैं, और हम अस्थायी संदर्भ से संबंधित समस्याओं के लिए कुल मिलाकर 81 प्रतिशत और 73 प्रतिशत की सटीकता प्राप्त करते हैं। हमारे ज्ञान का सबसे अच्छा करने के लिए, यह FraCaS के पूरे पर एक तार्किक प्रणाली का सबसे अच्छा प्रदर्शन है।

Abstract

U ovom papiru predlažemo provedbu privremenih semantika koji prevodi sintaksične drveće u logičke formule, odgovarajuće za potrošnju pomoćnik dokaza Coq-a. Analiza podržava širok niz fenomena uključujući: privremene referencije, privremene reklame, aspektualne klase i progresivne nastave. Novi semantici su izgrađeni na vrhu prethodnog sustava koji se bavi svim dijelovima apartmana za testiranje FraCaS osim privremenog referentnog odjela, a mi dobijamo to čnost od 81 posto ukupno i 73 posto za probleme koje su jasno označene kao povezane s privremenom referencijom. Za najbolje od našeg znanja, ovo je najbolji izvod logičkog sustava na cijelom FraCaS-u.

Abstract

Jelen tanulmányban olyan időszemantika implementációját javasoljuk, amely a szintaxisfákat logikai képletekké fordítja le, amelyek alkalmasak a Coq proof asszisztens által történő fogyasztásra. Az elemzés számos jelenséget támogat, beleértve: időbeli referenciákat, időbeli határozókat, aspektuális osztályokat és progresszíveket. Az új szemantika egy korábbi rendszerre épül, amely a FraCaS tesztcsomag minden szakaszát kezeli, kivéve az időbeli referencia szakaszt, és összességében 81 százalékos pontosságot és 73 százalékos pontosságot érünk el a kifejezetten időbeli referenciaként jelölt problémákra. Legjobb tudásunk szerint ez egy logikai rendszer legjobb teljesítménye az egész FraCaS-en.

Abstract

Այս թղթի մեջ մենք առաջարկում ենք ժամանակական սեմանտիկայի կիրառումը, որը փոխակերպում է սինտաքսի ծառերը տրամաբանական բանաձևերի, որոնք համապատասխանում են Կոքսի ապացույցի օգնականի սպառման համար: The analysis supports a wide range of phenomena including: temporal references, temporal adverbs, aspectual classes and progressives. Նոր սեմանտիկան կառուցվում է նախորդ համակարգի վրա, որը վերահսկում է Ֆրաքսաս փորձարկումների բոլոր հատվածները բացառությամբ ժամանակական հատվածի, և մենք ստանում ենք ընդհանուր 81 տոկոսի ճշմարտությունը և 73 տոկոսի այն խնդիրների համար, որոնք բացահայտորեն նշված են որպես Մեր գիտելիքներից լավագույն պատճառով, սա Լոգիական համակարգի լավագույն արդյունքն է ՖրաԿԱՍի ամբողջ աշխարհում:

Abstract

In this paper, we propose an implementation of temporal semantics that translates syntax trees to logical formulas, suitable for consumption by the Coq proof assistant. Analisis mendukung jangkauan luas fenomena termasuk: referensi temporal, iklan temporal, kelas aspektual dan progresif. Semantik baru dibangun di atas sistem sebelumnya yang menangani semua bagian dari suite tes FraCaS kecuali bagian referensi temporal, dan kita mendapatkan akurasi 81 persen secara keseluruhan dan 73 persen untuk masalah yang secara eksplicit ditandai sebagai berhubungan dengan referensi temporal. Untuk yang terbaik dari pengetahuan kita, ini adalah prestasi terbaik dari sistem logis di seluruh FraCaS.

Abstract

In questo articolo, proponiamo un'implementazione di semantica temporale che traduce alberi di sintassi in formule logiche, adatte al consumo da parte dell'assistente Coq proof. L'analisi supporta una vasta gamma di fenomeni tra cui: riferimenti temporali, avverbi temporali, classi aspettive e progressivi. La nuova semantica è costruita sulla cima di un sistema precedente che gestisce tutte le sezioni della suite di test FraCaS tranne la sezione di riferimento temporale, e otteniamo un'accuratezza complessiva dell'81% e del 73% per i problemi esplicitamente contrassegnati come relativi al riferimento temporale. Per quanto ne sappiamo, questa è la migliore prestazione di un sistema logico su tutto il FraCaS.

Abstract

本稿では、Coq証明アシスタントによる消費に適した構文木を論理式に変換する時間意味論の実装を提案する。分析は、時間的参照、時間的副詞、アスペクトクラス、プログレッシブを含む幅広い現象をサポートしています。新しいセマンティクスは、時間参照セクションを除くFraCaSテストスイートのすべてのセクションを処理する以前のシステムの上に構築されており、時間参照に関連すると明示的にマークされた問題に対して、全体で81パーセント、73パーセントの精度を取得します。私たちの知る限りでは、これはFraCaS全体における論理システムの最高のパフォーマンスです。

Abstract

Nang paper iki, kita supaya aplikasi semanti kapan-kapan iki luwih apik lan ingkang sampeyan luwih dumateng, nggawe barang nggawe seneng pisan seneng pisan seneng dipunangé kebebasan mulasar Coq. Genjer semanti sing dibutuhke buku kelompok sistem sing dumadhi iki, iso ngewehku gawe sektor FraCaS tentang kanggo ngilangno sektor dianggonane, ngregani anu dhéwé wis kelompok saboh barang akhar munti Panjenengan langkung saé awakdhéwé, iki lak wong liya sistem logik nang angkang FraCaS gak dhéwé.

Abstract

ამ დოკუნში ჩვენ მოგვეყვებით ტემპალური სიმენტიკის გამოყენება, რომელიც სინტაქსის ხელებს ლოგიკური ფორმულებში, რომელიც შესაძლებელია გამოყენებისთვის, რომელიც Coq-ს დაწყ ანალიზია უფრო დიდი ფენომენების განმავლობას დაეხმარებს: ტემპალური რეფენციები, ტემპალური რებერბები, აპექტიური კლასები და პროგრესიგები. ახალი სემენტიკები წინა სისტემის მარცხენა, რომელიც FraCaS ტესტის სექტის ყველა ნაწილის წევრების წევრებით, მაგრამ ტემპალური რეფერენციის წევრებით, და ჩვენ მივიღეთ 81 პროცენტის წევრებით და 73 პროცენტის წევ ჱა ნაი-ეჲბპვრჲ ჲრ ნაქთრვ ჱნანთწ, რჲგა ვ ნაი-ეჲბპარა ოპაგთრვლნჲჟრ ნა ლჲდთფნა ჟთჟრვმა ნა უვლთწ ტპაკაS.

Abstract

Бұл қағазда, біз синтаксис ағаштарын логикалық формулаларға аударатын уақытша семантикалық көмекшісін қолдану үшін қолданылады. Анализ көп пайдалануларды қолдайды: уақытша сілтемелер, уақытша белгілер, аспективтік класс және прогрессивндер. Жаңа семантикалық фракас сынақтарының барлық бөлшектерін уақытша сілтеме бөлшегінен басқа, алдыңғы жүйесінің үстінен құрылады. Біз 81 пайызы және 73 пайызы уақытша сілтемесімен байланысты мәселелерді көрсетеді. Біздің біліміміздің ең жақсы жағдай, Бұл ФракаS жүйесінің ең жақсы әсері.

Abstract

본고에서 우리는 문법 트리를 논리 공식으로 전환시켜 Coq 증명 조수가 사용하기에 적합한 시제 의미의 실현을 제시했다.이 분석은 시간 지칭, 시간 부사, 체류와 진행식을 포함한 광범위한 현상을 지원한다.새로운 의미는 FraCas 테스트 세트의 모든 부분(시간 참고 부분 제외)을 처리하는 이전 시스템을 토대로 81%의 전체 정확도와 73%의 명확한 시간 참고와 관련된 문제의 정확도를 얻었다.FraCas 전체에서 논리 시스템의 가장 좋은 표현으로 알고 있습니다.

Abstract

Šiame dokumente siūlome įgyvendinti laikiną semantiką, kuri sintaksinius medžius paverčia loginėmis formulėmis, tinkamomis Coq atsparumo asistento vartojimui. Analizė remia įvairius reiškinius, įskaitant: laiko nuorodas, laiko prieštaravimus, aspektines klases ir progresuojančius reiškinius. Naujoji semantika yra sukurta virš ankstesnės sistemos, kuri tvarko visus FraCaS bandymų komplekto skirsnius, išskyrus laiko atskaitos skirsnį, ir mes gauname iš viso 81 proc. tikslumą ir 73 proc. problemų, aiškiai pažymėtų kaip susijusių su laiko atskaita. Mūsų žiniomis tai yra geriausias logiškos sistemos veiksmingumas visame FraCaS sektoriuje.

Abstract

Во овој весник предлагаме спроведување на температурната семантика која ги преведува синтаксичните дрвја во логични формули, соодветни за потрошуваое од страна на помошникот на доказот на Кок. Анализата поддржува широк опсег на феномени, вклучувајќи: температурни референции, температурни аварберби, аспектуални класи и прогресивни. Новите семантики се изградени врз претходниот систем кој ги раководи сите делови од тестот на FraCaS освен температурниот референциски дел, и добиваме точност од 81 проценти вкупно и 73 проценти за проблемите експлицитно означени како поврзани со температурната референција. Според нашето знаење, ова е најдобрата изведба на логичен систем на целиот Фракас.

Abstract

ഈ പത്രത്തില്‍ ഞങ്ങള്‍ നേരത്തെ സെമാന്റിക്കുകളുടെ പ്രവർത്തിപ്പിക്കാന്‍ പ്രായശ്ചിത്തമാക്കുന്നു. അത് സിന്റാക്സ് വൃക്ഷങ്ങളെ അന്വേഷണം ഒരു വിശാലമായ സംഭവങ്ങളെ പിന്തുണയ്ക്കുന്നു; സമയ വിവരങ്ങള്‍, സമയാവധി വിവരങ്ങള്‍, സാധാരണ ക്ലാസുകളും പ്രോഗഗസ്വീകരികളും. ഫ്രാക്കാസ് ടെസ്റ്റ് സ്യൂട്ടിന്റെ എല്ലാ ഭാഗങ്ങളെയും കൈകാര്യം ചെയ്യുന്ന പുതിയ സെമാന്‍റിക്സിന്റെ മുകളില്‍ നിര്‍മ്മിക്കപ്പെട്ടിരിക്കുന്നു. സമയ വിവരങ്ങളു നമ്മുടെ അറിവിന്‍റെ ഏറ്റവും നല്ലതിന് ഇതാണ് ഫ്രാക്കാസിന്‍റെ മുഴുവന്‍ ലോഗിക്കല്‍ സിസ്റ്റത്തിന്‍റെ ഏറ്റവും നല്ല പ്ര

Abstract

Энэ цаасан дээр бид Синтаксис модыг логикийн томъёолд орлуулж, Coq баталгааны тусламжтайгаар хэрэглэх хэрэгтэй цаг хугацааны хэмжээсүүдийг хэрэглэхэд тусалдаг. Шалгуулалт нь олон үзэгдлийг дэмжиж байна: цаг хугацааны санал, хугацааны реклам, аспектийн хичээл, хөгжүүлэлт. Шинэ хэмжээсүүд нь өмнөх системийн дээр бүх хэсгийг FraCaS тестийн шалгалтын хувьд хугацааны давхар хэсэг бусад бүх хэсгийг удирдаж байна. Бид хугацааны давхар холбоотой асуудлуудын тулд 81 хувь болон 73 хувь нь тодорхой тодорхой тодорхой тодо Хамгийн сайн мэдлэгтэй нь энэ нь ФракаS-ын бүх логикийн системийн хамгийн сайн үйл ажиллагаа.

Abstract

Dalam kertas ini, kami cadangkan pelaksanaan semantik sementara yang menerjemahkan pokok sintaks ke formula logik, sesuai untuk konsumsi oleh pembantu bukti Coq. Analisis menyokong julat luas fenomena termasuk: rujukan sementara, saran sementara, kelas aspektual dan progresif. Semantik baru dibangun di atas sistem sebelumnya yang mengendalikan semua seksyen Suit ujian FraCaS kecuali seksyen rujukan sementara, dan kita mendapat ketepatan 81 peratus keseluruhan dan 73 peratus untuk masalah yang ditandai secara eksplicit sebagai berkaitan dengan rujukan sementara. Untuk yang terbaik dari pengetahuan kita, ini adalah prestasi terbaik dari sistem logik di seluruh FraCaS.

Abstract

F’dan id-dokument, qed nipproponu implimentazzjoni ta’ semantika temporali li tittraduċi siġar tas-sintaks għal formuli loġiċi, adattati għall-konsum mill-assistent tal-prova Coq. L-analiżi tappoġġja firxa wiesgħa ta’ fenomeni inklużi: referenzi temporali, avverbs temporali, klassijiet aspettwali u progressivi. Is-semantika l-ġdida tinbena fuq sistema preċedenti li timmaniġġja s-sezzjonijiet kollha tas-sett tat-test FraCaS minbarra s-sezzjoni ta’ referenza temporali, u inkisbu preċiżjoni ta’ 81 fil-mija b’mod ġenerali u 73 fil-mija għall-problemi mmarkati espliċitament bħala relatati mar-referenza temporali. Għall-a ħjar għarfien tagħna, din hija l-aħjar prestazzjoni ta’ sistema loġika fil-FraCaS kollha.

Abstract

In dit artikel stellen we een implementatie van temporele semantiek voor die syntaxisbomen vertaalt naar logische formules, geschikt voor consumptie door de Coq proof assistant. De analyse ondersteunt een breed scala aan fenomenen, waaronder: temporele verwijzingen, temporele bijwoorden, aspectuele klassen en progressieve. De nieuwe semantiek is gebouwd op een vorig systeem dat alle secties van de FraCaS testsuite behandelt, behalve de temporele referentiesectie, en we verkrijgen een nauwkeurigheid van 81 procent over het algemeen en 73 procent voor de problemen die expliciet zijn gemarkeerd als gerelateerd aan temporele verwijzing. Voor zover wij weten is dit de beste prestatie van een logisch systeem over het geheel van de FraCaS.

Abstract

I denne papiret foreslår vi ein implementering av mellombels semantikk som translaterer syntakstrær til logiske formlar, som er passande for bruk av Coq-beviser-assistenten. Analysen støttar eit brett område av fenomenar, inkludert: temporale referanser, temporale reklame, aspektklasser og progressivar. Den nye semantikaren blir bygd på toppen av eit førre systemet som handterar alle deler av FraCaS-testsuiten, unntatt den tidlegare referansen, og vi får noko nøyaktighet på 81 prosent overalt og 73 prosent for problema som er eksplisitt merkt som relatert til tidlegare referanse. Dette er den beste utviklinga av eit logisk system på hele FraCaS.

Abstract

W niniejszym artykule proponujemy implementację semantyki temporalnej, która przekłada drzewa składni na logiczne formuły, odpowiednie do konsumpcji przez asystenta Coq proof. Analiza wspiera szeroki zakres zjawisk, w tym: odniesienia czasowe, przysłówki czasowe, klasy aspektowe i progresywne. Nowa semantyka została zbudowana na wierzchu poprzedniego systemu obsługującego wszystkie sekcje pakietu testowego FraCaS z wyjątkiem sekcji odniesienia czasowego i uzyskujemy dokładność 81 procent ogólnie i 73 procent dla problemów wyraźnie oznaczonych jako związanych z odniesieniem czasowym. Według naszej najlepszej wiedzy jest to najlepsza wydajność systemu logicznego w całości FraCaS.

Abstract

Neste artigo, propomos uma implementação de semântica temporal que traduz árvores sintáticas em fórmulas lógicas, adequadas para consumo pelo assistente de prova Coq. A análise suporta uma ampla gama de fenômenos, incluindo: referências temporais, advérbios temporais, classes aspectuais e progressistas. A nova semântica é construída em cima de um sistema anterior que lida com todas as seções do conjunto de testes FraCaS, exceto a seção de referência temporal, e obtemos uma precisão geral de 81% e 73% para os problemas explicitamente marcados como relacionados à referência temporal. Até onde sabemos, este é o melhor desempenho de um sistema lógico em todo o FraCaS.

Abstract

În această lucrare, propunem o implementare a semanticii temporale care traduce copacii sintaxiali în formule logice, potrivite pentru consum de asistentul Coq proof. Analiza susține o gamă largă de fenomene, inclusiv: referințe temporale, adverbe temporale, clase aspectuale și progresive. Noua semantică este construită pe partea de sus a unui sistem anterior care gestionează toate secțiunile suitei de test FraCaS cu excepția secțiunii de referință temporală, și obținem o acuratețe de 81% total și 73% pentru problemele marcate explicit ca legate de referință temporală. Din câte știm, aceasta este cea mai bună performanță a unui sistem logic pe întregul FraCaS.

Abstract

В этой статье мы предлагаем реализацию временной семантики, которая преобразует синтаксические деревья в логические формулы, подходящие для использования помощником по доказательствам Coq. Анализ поддерживает широкий спектр явлений, в том числе: временные ссылки, временные наречия, аспектные классы и прогрессивные. Новая семантика построена на основе предыдущей системы, обрабатывающей все разделы набора тестов FraCaS, за исключением временного эталонного раздела, и мы получаем точность 81 процент в целом и 73 процента для проблем, явно отмеченных как связанные с временной ссылкой. Насколько нам известно, это лучшая производительность логической системы в целом по FraCaS.

Abstract

මේ පත්තරේ අපි ප්‍රශ්නයක් කරනවා කොක් සාක්ෂි සහායකයෙන් ප්‍රශ්නය කරන්න පුළුවන් විදිහට වාර්තාවක් ගස් වලට පරිවර්තනය කරන් විශ්ලේෂණය ප්‍රමාණයක් ප්‍රමාණයක් සහතිකරනවා: කාලය ප්‍රමාණයක්, කාලය ප්‍රමාණයක්, ප්‍රමාණ ප්‍රමාණයක් සහ ප්‍ර The new semantics are building on the tops of a preceding system handling all regions of the FreCaS testing suite except the tempral references partition, and we got an Accracy of 81% overall and 73% for the difflicts expressly Marked as ties to tempral references. අපේ දැනගන්න හොඳම දේවල්, මේක තමයි ෆ්‍රාකාස් වලින් ලෝජික පද්ධතියේ හොඳම ප්‍රමාණයක්.

Abstract

V prispevku predlagamo implementacijo časovne semantike, ki prevaja sintaksna drevesa v logične formule, primerne za porabo pomočnika za preverjanje Coq. Analiza podpira širok spekter pojavov, vključno s časovnimi referencami, časovnimi priložki, aspektivnimi razredi in progresivnimi. Nova semantika je zgrajena na vrhu prejšnjega sistema, ki obravnava vse dele FraCaS testiranja, razen časovnega referenčnega dela, in pridobimo natančnost 81 odstotkov skupno in 73 odstotkov za probleme, ki so eksplicitno označeni kot povezane s časovnim referenčnim referenčnim delom. Kolikor vemo, je to najboljša zmogljivost logičnega sistema na celotnem FraCaS.

Abstract

Qoraalkan waxaynu soo jeedaynaa in lagu soo dejiyo semantika waqtiga ah oo lagu turjumo geedaha canshuurta si loo sameeyo formulada logical ah oo u eg isticmaalka caawiyaha caddeynta Coq. Baaritaanku wuxuu kaalmeeyaa waxyaabo badan oo kala duduwan, kuwaas oo ka mid ah: horumarinta waqtiga ah, shirkadaha wakhtiga ku meelgaarka ah, fasalka kaleba iyo horumarinta. Isticmaalka cusub waxaa lagu dhisay nidaamka hore oo xafiiska jardiinada FraCaS oo dhan ka shaqeeya qeybaha lagu tijaabiyo ee waqtiga lagu soo jeedo mooyaane, waxaana helaynaa saexar qiyaastii 81 boqolkiiba oo dhan iyo boqolkiiba 73 boqolkiiba ee dhibaatooyinka loo caddeeyey oo la xiriira reference waqtiga ah. Tan waxaa ugu wanaagsan aqoonteenna, taasi waa habaarka ugu wanaagsan nidaam cajiil ah ee FrakaS oo dhan.

Abstract

In this paper, we propose an implementation of temporal semantics that translates syntax trees to logical formulas, suitable for consumption by the Coq proof assistant. Analiza mbështet një gamë të gjerë fenomenesh duke përfshirë: referenca temporale, reklamë temporale, klasa aspektuale dhe progresive. Semantika e re është ndërtuar mbi një sistem të mëparshëm që trajton të gjitha seksionet e suitës së provave FraCaS, përveç seksionit të referencës temporale, dhe ne marrim një saktësi prej 81 përqind në përgjithësi dhe 73 përqind për problemet që janë shënuar eksplicitalisht si lidhur me referencën temporale. Për më të mirën e njohurive tona, kjo është shfaqja më e mirë e një sistemi logjik në të gjithë FraCaS.

Abstract

U ovom papiru predlažemo provedbu temporalnih semantika koja prevodi sintaks drveća u logičke formule, odgovarajuće za potrošnju pomoćnika za dokaze Coq-a. Analiza podržava širok niz fenomena uključujući: privremene referencije, privremene reklame, aspektualne klase i progresivne. Nove semantike su izgrađene na vrhu prethodnog sistema koji vodi sve dijelove testnog apartmana FraCaS osim privremenog referentnog sektora, i dobijamo tačnost od 81 posto ukupno i 73 posto za probleme koje su izrazito označene kao povezane sa privremenom referencijom. Za najbolje od našeg znanja, ovo je najbolja izvršnost logičkog sistema na cijelom FraCaS-u.

Abstract

I denna uppsats föreslår vi en implementering av temporal semantik som översätter syntaxträd till logiska formler, lämpliga för konsumtion av Coq proof assistent. Analysen stödjer ett brett spektrum av fenomen inklusive: temporala referenser, temporala adverb, aspektuella klasser och progressiva. Den nya semantiken är byggd ovanpå ett tidigare system som hanterar alla delar av FraCaS testsviten utom tidsreferenssektionen, och vi får en noggrannhet på 81 procent totalt och 73 procent för de problem som uttryckligen markerats som relaterade till tidsreferens. Så vitt vi vet är detta den bästa prestandan för ett logiskt system på hela FraCaS.

Abstract

Katika karatasi hii, tunapendekeza utekelezaji wa mifumo ya muda ambao unatafsiri miti ya kodi kwa ajili ya mifumo ya kisasa, inayofaa kwa matumizi na msaidizi wa ushahidi wa Coq. Uchambuzi unaunga mkono aina mbalimbali ya mambo ikiwa ni pamoja na: maoni ya muda, matangazo ya muda, darasa la mambo na maendeleo. Mitandiko mpya imejengwa juu ya mfumo uliopita akikabiliwa na vifaa vyote vya jaribio la FraCaS isipokuwa sehemu ya maoni ya muda, na tunapata uhakika wa asilimia 81 kwa jumla na asilimia 73 kwa matatizo yanayoonyesha yanayohusiana na matukio ya muda. Kwa ufahamu mzuri zaidi, hii ni ufanisi bora wa mfumo wa kisaikolojia wote wa FraCaS.

Abstract

இந்த காகிதத்தில், நாம் தற்காலிக பெம்மென்டிக் செயல்படுத்தலை பரிந்துரைக்கிறோம். அது ஒத்திசைக்கல் மரங்களை தொடர்ந்து தொடர்பு வடி ஆராய்ச்சி நிறைய விவரங்களுக்கு ஆதரிக்கும்: நேர குறிப்புகள், தற்காலிக விருப்பங்கள், விளைவாட்டு வகுப்புகள் மற்றும் மு முந்தைய அமைப்பின் மேல் புதிய அமைப்பு உருவாக்கப்பட்டுள்ளது தற்காலிக க குறிப்பிட்ட குறிப்பிட்ட பிரிவின் அனைத்து பிரிவுகளையும் கையாளும். மேலும் நேரம் குறி எங்கள் அறிவின் சிறந்த முறையில், இது பிராக்காஸ் முழுவதும் ஒரு தொழில்நுட்பம் அமைப்பின் சிறந்த செயல்பாடு.

Abstract

Bu kagyzda, biz wagtyň semantikleriniň implementasyny teklip edip, ol sintaks agaçlary logik formalara terjime eden, Coq proof asistanlarynyň tüketmesine mümkin. Analyz çykyş bolan düzümleri golaýlaýar: wagt derejesi, zamany reklamlar, aspekt klaslary we progressiýaler. Täze semantika öňki sistemiň üstünde FraCaS test suitiniň ähli bölümlerini temporal referans bölüminden başga bu şekilde guruldylar. Biz 81 prosent we 73 prosent diýip hasaplanýarys. Bildiğimiz en iyi göre, bu FraCaS'in tüm mantıklı sisteminin en iyi performansı.

Abstract

اس کاغذ میں، ہم ایک موقت سیمانٹیکس کی عملومات کی پیشنهاد کرتے ہیں جو سینٹکس درختوں کو منطقی فرمول میں ترجمہ کرتا ہے، جو Coq proof مددگار کے ذریعہ مصرف کے لئے مناسب ہے. تحلیل نے ایک گھیری دفعے کی مدد کی ہے: موقت رسالہ، موقت رسالہ، منظور کلاس اور پیشرفت کے ساتھ۔ نوی سیمانٹیک ایک پہلے سیسٹم پر بنائے گئے ہیں جو FraCaS تست سوئٹ کے تمام قسمتوں کو بغیر temporal reference section کے، اور ہم 81 فیصد کل اور 73 فیصد کے مطابق مشکلات کے لئے معلوم ہوتے ہیں جو temporal reference کے مطابق مشکلات کے ساتھ مشخص ہوتے ہیں. ہمارے بہترین علم کے لئے یہ ایک منطقی سیسٹم کی بہترین عمل ہے جو تمام فرکاس کے بارے میں ہے.

Abstract

Bu qogʻozda biz vaqt semantika ishlatishni talab qilamiz. Bu sintaktika daraxtlarni logical formulalarga tarjima qiladi. Analysi chegara bogʻliq mavjud narsalarni qoʻllash: vaqt parametrlari, vaqt taʼminlovchilar, aspektlar sinflari va taʼminlovchilar. Yangi semantik oldingi tizimning yuqorida, FraCaS sinov sonini hamma qismlarni boshqarish uchun yaratiladi. Vaqt qanchalik bogʻ'liq boʻlgan muammolar bilan aniqlangan muammolar uchun 81 foiz umumiy va 73 foizga 73 foiz keladi. Bizning eng yaxshi aniqligimiz uchun bu hamma FraCaS'ning logical tizimning eng yaxshi bajarishi.

Abstract

Trong tờ giấy này, chúng tôi đề nghị một sự tiến hành theo ngữ nghĩa thời gian chuyển các cây cú pháp thành các công thức logic, phù hợp với việc tiêu thụ của trợ lý. Phân tích hỗ trợ một loạt các hiện tượng bao gồm: Tham khảo về thời gian, phó từ thời gian, lớp học và những tiến sĩ. Những mẫu chữ mới được xây dựng trên đỉnh của một hệ thống trước đây xử lý tất cả các phần của dãy thử nghiệm FraCaS ngoại trừ phần thời gian tham khảo, và chúng tôi đạt được độ chính xác của 81 phần trăm và 73 phần trăm cho các vấn đề rõ ràng được đánh dấu như là liên quan đến thời gian. Theo kiến thức tốt nhất của chúng tôi, đây là hiệu quả tốt nhất của một hệ thống logic trong toàn bộ FraCaS.

Abstract

本文中,发一时语义,转语法树为逻辑公式,宜Coq证助手用。博采者,时参时副词,aspectual类渐进式。新语义立于理FraCaS试套件之所有(时参之外)前系统之上,明标以时参之,总体准确率为81%,与时参之准确率为73%。以吾所知,此逻辑系统全FraCaS之最善者也。

Anthology ID:: 2021.iwcs-1.2
Volume:: Proceedings of the 14th International Conference on Computational Semantics (IWCS)
Month:: June
Year:: 2021
Address:: Groningen, The Netherlands (online)
Venue:: IWCS
SIG:: SIGSEM
Publisher:: Association for Computational Linguistics
Note:
Pages:: 11–20
Language:
URL:: https://aclanthology.org/2021.iwcs-1.2
DOI:
Bibkey:
Cite (ACL):: Jean-Philippe Bernardy and Stergios Chatzikyriakidis. 2021. Applied Temporal Analysis : A Complete Run of the FraCaS Test SuiteFraCaS Test Suite. In Proceedings of the 14th International Conference on Computational Semantics (IWCS), pages 11–20, Groningen, The Netherlands (online). Association for Computational Linguistics.
Cite (Informal):: Applied Temporal Analysis : A Complete Run of the FraCaS Test SuiteFraCaS Test Suite (Bernardy & Chatzikyriakidis, IWCS 2021)
Copy Citation:
PDF:: https://aclanthology.org/2021.iwcs-1.2.pdf
Terminologies:

PDF Cite Search Translate