Στατιστικός έλεγχος υποθέσεων και ερμηνεία με χρήση μη-μονότονης λογικής

Ασημάκης, Νικόλαος; Asimakis, Nikolaos

dc.contributor.author	Ασημάκης, Νικόλαος	el
dc.contributor.author	Asimakis, Nikolaos	en
dc.date.accessioned	2018-10-11T09:24:31Z
dc.date.available	2018-10-11T09:24:31Z
dc.date.issued	2018-10-11
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/47777
dc.identifier.uri	http://dx.doi.org/10.26240/heal.ntua.16068
dc.rights	Default License
dc.subject	LPwNF	el
dc.subject	Γοργίας	el
dc.subject	Prolog	el
dc.subject	R	el
dc.subject	Java	el
dc.subject	Στατιστικός έλεγχος υποθέσεων	el
dc.subject	Έλεγχος ανεξαρτησίας X2	el
dc.subject	Ακριβής έλεγχος Fisher	el
dc.subject	LPwNF	en
dc.subject	Gorgias	en
dc.subject	Prolog	en
dc.subject	R	en
dc.subject	Java	en
dc.subject	Statistical hypothesis testing	en
dc.subject	Chi-Square Independence Test	en
dc.subject	Fisher's exact test	en
dc.title	Στατιστικός έλεγχος υποθέσεων και ερμηνεία με χρήση μη-μονότονης λογικής	el
dc.title	Statistical hypothesis testing and interpretation using non-monotonic logic	en
heal.type	bachelorThesis
heal.classification	Λογικός προγραμματισμός	el
heal.classification	Logic programming	en
heal.classification	Prolog (Computer program language)	el
heal.classification	Prolog (Computer program language)	en
heal.classificationURI	http://data.seab.gr/concepts/7171e267fbcc84f770805934c821e7a634e1b08f
heal.classificationURI	http://data.seab.gr/concepts/7171e267fbcc84f770805934c821e7a634e1b08f
heal.classificationURI	http://id.loc.gov/authorities/subjects/sh85107397
heal.classificationURI	http://id.loc.gov/authorities/subjects/sh85107397
heal.language	el
heal.access	free
heal.recordProvider	ntua	el
heal.publicationDate	2018-07-03
heal.abstract	Αντικείμενο αυτής της διπλωματικής εργασίας είναι η παρουσίαση μίας μεθοδολογίας για ανάπτυξη εφαρμογών που κάνουν χρήση της λογικής της επιχειρηματολογίας. Πιο συγκεκριμένα θα χρησιμοποιήσουμε το σύστημα Γοργίας που υλοποιεί τις ιδέες του Λογικού Προγραμματισμού χωρίς Άρνηση σαν Αποτυχία (Logic Programming without Negation as Failure, LPwNF) και τις συνδυάζει με την λογική απαγωγή. Σαν παράδειγμα αυτής της μεθοδολογίας θα αναπτύξουμε μία εφαρμογή που θα κάνει στατιστικό έλεγχο υποθέσεων αφού επιλέξει τον σωστό στατιστικό έλεγχο ανάλογα με τα χαρακτηριστικά του δείγματος και θα δίνει στον χρήστη μία απάντηση επιχειρηματολογώντας σαν μαθηματικός.	el
heal.abstract	In this thesis diploma we present a methodology for developing software applications that use argumentation logic. Specifically we will use the Gorgias argumentation framework that implements Logic Programming without Negation as Failure (LPwNF) and combines the ideas of preference reasoning and abduction. As an example of this methodology we will develop an application that performs statistical hypothesis testing, after it has selected the proper statistical test depending on the characteristics of the sample, and replies to the user with a valid argument as a mathematician.	en
heal.advisorName	Στεφανέας, Πέτρος	el
heal.committeeMemberName	Στεφανέας, Πέτρος	el
heal.committeeMemberName	Κολέτσος, Ιωάννης	el
heal.committeeMemberName	Αρβανιτάκης, Αλέξανδρος	el
heal.academicPublisher	Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών	el
heal.academicPublisherID	ntua
heal.numberOfPages	88 σ.	el
heal.fullTextAvailability	true