Ανάπτυξη μοντέλων ηθικής συμπεριφοράς τεχνητής νοημοσύνης με χρήση Deontic Logic

Ζαφειρακόπουλος, Δημήτριος; Zafeirakopoulos, Dimitrios

dc.contributor.author	Ζαφειρακόπουλος, Δημήτριος	el
dc.contributor.author	Zafeirakopoulos, Dimitrios	en
dc.date.accessioned	2019-03-06T09:46:18Z
dc.date.available	2019-03-06T09:46:18Z
dc.date.issued	2019-03-06
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/48354
dc.identifier.uri	http://dx.doi.org/10.26240/heal.ntua.16292
dc.rights	Αναφορά Δημιουργού-Μη Εμπορική Χρήση-Όχι Παράγωγα Έργα 3.0 Ελλάδα	*
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/3.0/gr/	*
dc.subject	Δεοντική λογική	el
dc.subject	Τεχνητή νοημοσύνη	el
dc.subject	Ηθική των μηχανών	el
dc.subject	Μοντέλο	el
dc.subject	Αντίφαση	el
dc.title	Ανάπτυξη μοντέλων ηθικής συμπεριφοράς τεχνητής νοημοσύνης με χρήση Deontic Logic	el
heal.type	bachelorThesis
heal.classification	Τεχνητή νοημοσύνη	el
heal.language	el
heal.access	free
heal.recordProvider	ntua	el
heal.publicationDate	2018-11-15
heal.abstract	Αυτή η διπλωματική εργασία έχει ως αντικείμενο μελέτης την ανάπτυξη μεθοδολογιών και τυποποίηση μοντέλων που αποσκοπούν στην εξασφάλιση σωστής ηθικά συμπεριφοράς αυτόνομων μονάδων τεχνητής νοημοσύνης με αποδείξιμο τρόπο μέσω χρήσης προτάσεων δεοντικής λογικής. Στο πρώτο μέρος της διπλωματικής εργασίας θα γίνει μια συνοπτική παρουσίαση των βασικών αρχών της δεοντικής λογικής καθώς και στους στόχους που έχει ο χώρος της ηθικής των μηχανών . Στη συνέχεια θα παρουσιαστούν μερικές προσεγγίσεις που αναπτύχθηκαν στα πλαίσια αυτής της διπλωματικής για την εξασφάλιση της επιθυμητής συμπεριφοράς και έπειτα θα παρουσιαστούν συγκεκριμένα μοντέλα , με εστίαση στον ιατρικό χώρο και στο χώρο της αυτοκίνησης, τα οποία αξιοποιώντας τις προαναφερθείσες προσεγγίσεις προσπαθούν να εξασφαλίσουν την επίτευξη των στόχων που έχουν τεθεί με τρόπο μάλιστα που είναι αποδείξιμα συνεπής, σε επίπεδο λογικής τυποποίησης.	el
heal.abstract	This thesis has as its focus of study the development of methodologies and the formalization of models that aim at ensuring a correct ethical behavior of autonomous units of artificial intelligence, in a provable way by using deontic logic statements. In the first part, the basic ideas of deontic logic and the goals of machine ethics will be concisely presented. Then some approximations, which aim at ensuring the desirable behavior, that were developed within the thesis will be presented along with some specific models , which focus on the field of medicine and self-driving cars, by utilizing the above mentioned approximations to ensure the satisfaction of the goals that have been set in a way that is provably correct, as far as logical formalization is concerned	en
heal.advisorName	Στεφανέας, Πέτρος	el
heal.committeeMemberName	Στεφανέας, Πέτρος	el
heal.committeeMemberName	Σταφυλοπάτης, Ανδρέας-Γεώργιος	el
heal.committeeMemberName	Παπασπύρου, Νικόλαος	el
heal.academicPublisher	Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών. Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών	el
heal.academicPublisherID	ntua
heal.numberOfPages	137 σ.
heal.fullTextAvailability	true