FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2940218706> ?p ?o ?g. }

• W2940218706 abstract "Θεωρούμε τις δύο υπάρχουσες εκτατικές προσεγγίσεις στη σημασιολογία των θετικών λογικών προγραμμάτων ανώτερης τάξης, προταθείσες από τον W. W. Wadge και τον M. Bezem αντίστοιχα. Η πρώτη προσέγγιση χρησιμοποιεί κλασικά εργαλεία από τη θεωρία πεδίων ενώ η δεύτερη στηρίζεται στις συντακτικές οντότητες που εμφανίζονται στο πρόγραμμα και βασίζεται στην επεξεργασία του βασικού αναπτύγματος του προγράμματος. Οι σχέσεις μεταξύ των δύο προσεγγίσεων δεν είχαν ως τώρα διερευνηθεί, ενώ μόνο η προσέγγιση του Wadge είχε επεκταθεί ώστε να εφαρμοστεί σε προγράμματα ανώτερης τάξης με άρνηση. Δείχνουμε ότι οι σημασιολογίες του Wadge και του Bezem συμπίπτουν για μία ευρεία και ενδιαφέρουσα κλάση προγραμμάτων, τα οποία δεν περιλαμβάνουν υπαρξιακά ποσοτικοποιημένες μεταβλητές στα σώματα των προτάσεων. Σημειώνουμε ότι έχουν επίσης ουσιαστικές διαφορές, οι οποίες γίνονται εμφανείς όταν επεκτείνουμε την θεωρούμενη γλώσσα ώστε να επιτρέπονται υπαρξιακές μεταβλητές. Επιπλέον, εστιάζουμε στη λιγότερο ανεπτυγμένη ερευνητική κατεύθυνση εκ των δύο, δηλαδή τη σημασιολογία του Bezem, και προσαρμόζουμε για πρώτη φορά την τεχνική του Bezem ώστε να ορίσουμε μία εκτατική σημασιολογία για λογικά προγράμματα ανώτερης τάξης με άρνηση. Για τον σκοπό αυτό, αξιοποιούμε την απειρότιμη προσέγγιση στην άρνηση-μέσω-αποτυχίας. Από την άλλη, δείχνουμε ότι o συνδυασμός της τεχνικής με τη σημασιολογία σταθερού μοντέλου ή με την καλώς θεμελιωμένη σημασιολογία, αποτυγχάνει να παράξει εκτατικές σημασιολογίες, στη γενική περίπτωση. Αναλύουμε τις αιτίες αυτής της αποτυχίας και ισχυριζόμαστε ότι μία τρίτιμη λογική δεν μπορεί να διαχωρίσει μεταξύ τους ορισμένα κατηγορήματα, τα οποία έχουν διαφορετική συμπεριφορά μέσα σε ένα πρόγραμμα, αλλά τυγχάνει να εμφανίζονται ως πανομοιότυπες τρίτιμες σχέσεις. Τέλος, ορίζουμε για πρώτη φορά τις έννοιες της στρωματοποίησης και της τοπικής στρωματοποίησης για λογικά προγράμματα ανώτερης τάξης με άρνηση. Αποδεικνύουμε ότι κάθε στρωματοποιημένο πρόγραμμα έχει ένα διακριτό εκτατικό μοντέλο, το οποίο μπορεί να κατασκευαστεί ισοδύναμα μέσω της καλώς θεμελιωμένης, της σταθερής ή της απειρότιμης σημασιολογίας. Επιπλέον, δείχνουμε ότι αυτό το μοντέλο δεν αποδίδει ποτέ την άγνωστη τιμή αληθείας. Τα αποτελέσματα αυτά αναδεικνύουν τη σπουδαιότητα και την καλή φύση των στρωματοποιημένων προγραμμάτων, που ήταν ως τώρα γνωστή μόνο στην περίπτωση των λογικών προγραμμάτων πρώτης τάξης." @default.
• W2940218706 created "2019-04-25" @default.
• W2940218706 creator A5021836196 @default.
• W2940218706 creator A5052186541 @default.
• W2940218706 date "2021-08-31" @default.
• W2940218706 modified "2023-09-24" @default.
• W2940218706 title "Semantics of negation in extensional higher-order logic programming" @default.
• W2940218706 cites W1590388140 @default.
• W2940218706 cites W1591526886 @default.
• W2940218706 cites W1979966822 @default.
• W2940218706 cites W2111353076 @default.
• W2940218706 cites W2169914765 @default.
• W2940218706 cites W2798485127 @default.
• W2940218706 doi "https://doi.org/10.12681/eadd/44199" @default.
• W2940218706 hasPublicationYear "2021" @default.
• W2940218706 type Work @default.
• W2940218706 sameAs 2940218706 @default.
• W2940218706 citedByCount "0" @default.
• W2940218706 crossrefType "dissertation" @default.
• W2940218706 hasAuthorship W2940218706A5021836196 @default.
• W2940218706 hasAuthorship W2940218706A5052186541 @default.
• W2940218706 hasBestOaLocation W29402187061 @default.
• W2940218706 hasConcept C127001435 @default.
• W2940218706 hasConcept C127313418 @default.
• W2940218706 hasConcept C128838566 @default.
• W2940218706 hasConcept C136137745 @default.
• W2940218706 hasConcept C151730666 @default.
• W2940218706 hasConcept C156325763 @default.
• W2940218706 hasConcept C184337299 @default.
• W2940218706 hasConcept C199360897 @default.
• W2940218706 hasConcept C2185349 @default.
• W2940218706 hasConcept C33923547 @default.
• W2940218706 hasConcept C41008148 @default.
• W2940218706 hasConcept C77928131 @default.
• W2940218706 hasConceptScore W2940218706C127001435 @default.
• W2940218706 hasConceptScore W2940218706C127313418 @default.
• W2940218706 hasConceptScore W2940218706C128838566 @default.
• W2940218706 hasConceptScore W2940218706C136137745 @default.
• W2940218706 hasConceptScore W2940218706C151730666 @default.
• W2940218706 hasConceptScore W2940218706C156325763 @default.
• W2940218706 hasConceptScore W2940218706C184337299 @default.
• W2940218706 hasConceptScore W2940218706C199360897 @default.
• W2940218706 hasConceptScore W2940218706C2185349 @default.
• W2940218706 hasConceptScore W2940218706C33923547 @default.
• W2940218706 hasConceptScore W2940218706C41008148 @default.
• W2940218706 hasConceptScore W2940218706C77928131 @default.
• W2940218706 hasLocation W29402187061 @default.
• W2940218706 hasOpenAccess W2940218706 @default.
• W2940218706 hasPrimaryLocation W29402187061 @default.
• W2940218706 hasRelatedWork W1511110679 @default.
• W2940218706 hasRelatedWork W1532306186 @default.
• W2940218706 hasRelatedWork W1561664582 @default.
• W2940218706 hasRelatedWork W1601169590 @default.
• W2940218706 hasRelatedWork W1756530980 @default.
• W2940218706 hasRelatedWork W1762092019 @default.
• W2940218706 hasRelatedWork W1975980014 @default.
• W2940218706 hasRelatedWork W2113956592 @default.
• W2940218706 hasRelatedWork W2953243930 @default.
• W2940218706 hasRelatedWork W4297967938 @default.
• W2940218706 isParatext "false" @default.
• W2940218706 isRetracted "false" @default.
• W2940218706 magId "2940218706" @default.
• W2940218706 workType "dissertation" @default.