Please use this identifier to cite or link to this item:
http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/13843
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Ευάγγελος Τζανής | |
dc.date.accessioned | 2018-07-23T14:22:35Z | - |
dc.date.available | 2018-07-23T14:22:35Z | - |
dc.date.issued | 2003-7-17 | |
dc.date.submitted | 2003-12-1 | |
dc.identifier.uri | http://artemis-new.cslab.ece.ntua.gr:8080/jspui/handle/123456789/13843 | - |
dc.description.abstract | O πυρήνας της τροπικής λογικής είναι ελκυστικά απλός: περιέχει την προτασιακή λογικήκαι έναν νέο σύνδεσμο με συνέπεια να αποτελεί ένα επαρκώς ορισμένο κομμάτι της πρωτοβάθμιαςλογικής(\tl{Melvin Fitting}).\\Η υβριδική λογική είναι είδος τροπικής λογικής με τον επιπλέονμηχανισμό αναφοράς στους κόσμους ενός \tl{Kripke} μοντέλου. Για παράδειγμα , στην προτασιακήυβριδική λογική προσθέτουμε ένα δεύτερο είδος ατομικών τύπων. Τα ονόματα. Η ιδέα: κάθε όνομαείναι αληθές μόνο σε ένα κόσμο ενός μοντέλου. Επεκτείνουμε τη βασική υβριδική λογική με τοσύμβολο για την ικανοποιησιμότητα $\at{}{}$ (\tl{at}). Τα προηγούμενα είναι θέματα τουέκτου κεφαλαίου. Στο έβδομο κεφάλαιο περιλαμβάνονται προχωρημένα θέματαυβριδικής λογικής: Πολυπλοκότητα, \tl{Beth's Definability}, \tl{Craig's Interpolation}και Αμφιπροσομοίωση (\tl{bisimulation}).\\Προκειμένου να κατανοήσουμε τις τεχνικές και τιςμεθοδολογίες που χρησιμοποιούνται στην υβριδική λογική μελετάμε τα εξής θέματα:\begin{itemize}\item {\bf Κεφάλαιο 1ο :} Πρωτοβάθμια Γλώσσα. Η εργασία του \tl{Fitting} στο πρόβλημα της επίλυσης (\tl{resolution}).\item {\bf Κεφάλαιο 2 και 3:} Παιχνίδια, μια σύντομη εισαγωγή προκειμένου:\begin{itemize}\item να ορίσουμε την τροπική και την υβριδική.\item να προσδιορίσουμε την κλάση πολυπλοκότητας του προβλήματος της ικανοποιησιμότητας.\end{itemize}\item {\bf Κεφάλαιο 4:} Βασική τροπική Λογική. Αμφιπροσομοίωση. \tl{p-morphism}. Πολυπλοκότητα. Η εργασία του\tl{Fitting} σχετικά με τα ταμπλό της τροπικής λογικής.\item {\bf Κεφάλαιο 5:} Εφαρμοσμένες τροπικές λογικές και η σχέση τους με την υβριδική λογική. ΠεριγραφικήΛογική. Χρονική Λογική.\end{itemize} | |
dc.language | Greek | |
dc.subject | μαθηματική λογική (mathematical logic) | |
dc.title | Υβριδική Λογική (hybrid Logic) | |
dc.type | Diploma Thesis | |
dc.description.pages | 114 | |
dc.contributor.supervisor | Ζάχος Ευστάθιος | |
dc.department | Τομέας Τεχνολογίας Πληροφορικής & Υπολογιστών | |
dc.organization | ΕΜΠ, Τμήμα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών | |
Appears in Collections: | Διπλωματικές Εργασίες - Theses |
Files in This Item:
File | Size | Format | |
---|---|---|---|
DT2003-0067.ps | 900.54 kB | Postscript | View/Open |
Items in Artemis are protected by copyright, with all rights reserved, unless otherwise indicated.