Σχεδίαση επέκτασης συστήματος μετατροπής προτάσεων φυσικής γλώσσας σε κατηγορηματική λογική πρώτης τάξης και αντίστροφα
Η εργασία αυτή αποσκοπεί στη μελέτη για τη βελτίωση και επέκταση του συστήματος μετατροπής προτάσεων κατηγορηματικής λογικής πρώτης τάξης σε φυσική γλώσσα FOLtoNL, υλοποιημένο στο προγραμματιστικό περιβάλλον Jess. Για το λόγο αυτό μελετάται αρχικά η λογική και ο λογισμός πρώτης τάξης καθώς και η...
Main Author: | Μαλαμίτσης, Ρωμανός Απόστολος |
---|---|
Other Authors: | Malamitsis, Romanos Apostolos |
Language: | Greek |
Published: |
2021
|
Subjects: | |
Online Access: | http://hdl.handle.net/10889/15033 |
Similar Items
-
A language that is an amalgam of propositional dynamic logic and description logic
by: Τσούτσα, Παρασκευή
Published: (2014) -
Επαγωγικός λογικός προγραμματισμός : μια διδακτική προσέγγιση
by: Καραμουτζογιάννη, Ζωή
Published: (2012) -
Υλοποίηση κατασκευαστικών μοντέλων αναθεώρησης πεποιθήσεων
by: Σταθοπούλου, Ευανθία
Published: (2019) -
Υλοποίηση διαδικτυακού προσομοιωτή για αλγορίθμους επίλυσης προβλημάτων SAT
by: Χαρατσάρης, Δημήτριος
Published: (2013) -
Διερευνώντας τη δυνατότητα κατανόησης πτυχών της φύσης της επιστημονικής γνώσης παράλληλα με την κατανόηση βιολογικών εννοιών στην πρώτη σχολική ηλικία
by: Λαουρδέκη, Αγγελική
Published: (2020)