Mathematica-based natural language processing in applied mechanics
The probably novel possibility of using the computer algebra system Mathematica in NLP (natural language processing) is briefly studied in few elementary applications from applied mechanics. At first, Buchberger’s Mathematica-based Theorema system was found able to lead to a completely natural proof...
Κύριος συγγραφέας: | |
---|---|
Άλλοι συγγραφείς: | |
Μορφή: | Conference (paper) |
Γλώσσα: | English |
Έκδοση: |
2018
|
Θέματα: | |
Διαθέσιμο Online: | http://www.des.upatras.gr/amm/ioakimidis/personal/papers/ang1-p094--fullpaper.pdf http://hdl.handle.net/10889/10851 |
id |
nemertes-10889-10851 |
---|---|
record_format |
dspace |
spelling |
nemertes-10889-108512022-09-05T20:18:22Z Mathematica-based natural language processing in applied mechanics Επεξεργασία φυσικής γλώσσας βασιζόμενη στη Mathematica στην εφαρμοσμένη μηχανική Ioakimidis, Nikolaos Ιωακειμίδης, Νικόλαος Applied mechanics Natural language processing Computational semantics Mathematica Theorema Prolog Εφαρμοσμένη μηχανική Επεξεργασία φυσικής γλώσσας Υπολογιστική σημασιολογία Mathematica Theorema Prolog The probably novel possibility of using the computer algebra system Mathematica in NLP (natural language processing) is briefly studied in few elementary applications from applied mechanics. At first, Buchberger’s Mathematica-based Theorema system was found able to lead to a completely natural proof of an elementary propositional-type example from applied mechanics. The same system, Theorema, was also found useful for the syntactic analysis of related very simple sentences, a classical field of application of the Prolog logic-oriented language. The next step has been to use Prolog itself as an external package to Mathematica. Finally, elementary NLP has been achieved directly with Mathematica. The present results show that NLP is within Mathematica’s reach, offering the further advantage of performing symbolic computations (contrary to logic-oriented languages). Therefore, probably, gradually, Mathematica (independently of Theorema and Prolog) could lead to an automated environment of both text and formula checking (including symbols and computations) in applied mechanics and mechanical engineering in general. Μελετάται σύντομα η πιθανώς νέα δυνατότητα της χρήσεως του συστήματος υπολογιστικής άλγεβρας Mathematica στην ΕΦΓ (επεξεργασία φυσικής γλώσσας) μέσω μερικών στοιχειωδών εφαρμογών από την εφαρμοσμένη μηχανική. Καταρχήν, το σύστημα Theorema του Buchberger, που βασίζεται στη Mathematica, βρέθηκε ότι είναι ικανό να οδηγήσει σε μια πλήρως φυσική απόδειξη ενός στοιχειώδους παραδείγματος προτασιακού τύπου από την εφαρμοσμένη μηχανική. Το ίδιο σύστημα, το Theorema, βρέθηκε επίσης ότι είναι χρήσιμο για τη συντακτική ανάλυση σχετικών πολύ απλών προτάσεων, που είναι ένα κλασικό πεδίο εφαρμογής της προσανατολισμένης στη λογική γλώσσας Prolog. Το επόμενο βήμα υπήρξε η χρήση της ίδιας της Prolog σαν εξωτερικού πακέτου στη Mathematica. Τελικά, επιτεύχθηκε στοιχειώδης ΕΦΓ κατευθείαν με τη Mathematica. Τα παρόντα αποτελέσματα δείχνουν ότι η ΕΦΓ βρίσκεται μέσα στις δυνατότητες της Mathematica, που προσφέρει το περαιτέρω πλεονέκτημα της εκτελέσεως συμβολικών υπολογισμών (αντίθετα με τις γλώσσες που είναι προσανατολισμένες στη λογική). Επομένως, πιθανώς, βαθμιαία, η Mathematica (ανεξάρτητα από το Theorema και την Prolog) θα μπορούσε να οδηγήσει σε ένα αυτοματοποιημένο περιβάλλον ελέγχου τόσο κειμένου όσο και τύπων (συμπεριλαμβάνοντας σύμβολα και υπολογισμούς) στην εφαρμοσμένη μηχανική και στην επιστήμη του μηχανολόγου μηχανικού γενικότερα. 2018-01-03T09:29:55Z 2018-01-03T09:29:55Z 17–20 September 2001 Conference (paper) http://www.des.upatras.gr/amm/ioakimidis/personal/papers/ang1-p094--fullpaper.pdf http://hdl.handle.net/10889/10851 en ASME – Greek Section, First National Conference on Recent Advances in Mechanical Engineering application/pdf |
institution |
UPatras |
collection |
Nemertes |
language |
English |
topic |
Applied mechanics Natural language processing Computational semantics Mathematica Theorema Prolog Εφαρμοσμένη μηχανική Επεξεργασία φυσικής γλώσσας Υπολογιστική σημασιολογία Mathematica Theorema Prolog |
spellingShingle |
Applied mechanics Natural language processing Computational semantics Mathematica Theorema Prolog Εφαρμοσμένη μηχανική Επεξεργασία φυσικής γλώσσας Υπολογιστική σημασιολογία Mathematica Theorema Prolog Ioakimidis, Nikolaos Mathematica-based natural language processing in applied mechanics |
description |
The probably novel possibility of using the computer algebra system Mathematica in NLP (natural language processing) is briefly studied in few elementary applications from applied mechanics. At first, Buchberger’s Mathematica-based Theorema system was found able to lead to a completely natural proof of an elementary propositional-type example from applied mechanics. The same system, Theorema, was also found useful for the syntactic analysis of related very simple sentences, a classical field of application of the Prolog logic-oriented language. The next step has been to use Prolog itself as an external package to Mathematica. Finally, elementary NLP has been achieved directly with Mathematica. The present results show that NLP is within Mathematica’s reach, offering the further advantage of performing symbolic computations (contrary to logic-oriented languages). Therefore, probably, gradually, Mathematica (independently of Theorema and Prolog) could lead to an automated environment of both text and formula checking (including symbols and computations) in applied mechanics and mechanical engineering in general. |
author2 |
Ιωακειμίδης, Νικόλαος |
author_facet |
Ιωακειμίδης, Νικόλαος Ioakimidis, Nikolaos |
format |
Conference (paper) |
author |
Ioakimidis, Nikolaos |
author_sort |
Ioakimidis, Nikolaos |
title |
Mathematica-based natural language processing in applied mechanics |
title_short |
Mathematica-based natural language processing in applied mechanics |
title_full |
Mathematica-based natural language processing in applied mechanics |
title_fullStr |
Mathematica-based natural language processing in applied mechanics |
title_full_unstemmed |
Mathematica-based natural language processing in applied mechanics |
title_sort |
mathematica-based natural language processing in applied mechanics |
publishDate |
2018 |
url |
http://www.des.upatras.gr/amm/ioakimidis/personal/papers/ang1-p094--fullpaper.pdf http://hdl.handle.net/10889/10851 |
work_keys_str_mv |
AT ioakimidisnikolaos mathematicabasednaturallanguageprocessinginappliedmechanics AT ioakimidisnikolaos epexergasiaphysikēsglōssasbasizomenēstēmathematicastēnepharmosmenēmēchanikē |
_version_ |
1771297290205528064 |