| dc.contributor.advisor | Konstantopoulos, Stasinos | |
| dc.contributor.advisor | Κωνσταντόπουλος, Στασινός | |
| dc.contributor.author | Vandorou, Eirini | |
| dc.date.accessioned | 2021-07-12T10:08:07Z | |
| dc.date.available | 2021-07-12T10:08:07Z | |
| dc.date.issued | 2021-06 | |
| dc.identifier.uri | https://dione.lib.unipi.gr/xmlui/handle/unipi/13557 | |
| dc.identifier.uri | http://dx.doi.org/10.26267/unipi_dione/980 | |
| dc.format.extent | 64 | el |
| dc.language.iso | en | el |
| dc.publisher | Πανεπιστήμιο Πειραιώς | el |
| dc.title | Reasoning on figures of theoretical geometry theorems | el |
| dc.title.alternative | Συμπερασμός επί των σχημάτων των θεωρημάτων της θεωρητικής γεωμετρίας | el |
| dc.type | Master Thesis | el |
| dc.contributor.department | Σχολή Τεχνολογιών Πληροφορικής και Επικοινωνιών. Τμήμα Ψηφιακών Συστημάτων | el |
| dc.description.abstractEN | One of the most basic problems scientist need and want to solve using computers is,
the process of solving mathematical problems. While addition, subtraction and
multiplication seem fairly easy calculations to do, as one dives into mathematics and the
calculations advance, the problems become more and more thought depleting. In this
sense, having a system with the ability to solve mathematical problems varying in
discipline and structure, would be nice to have. For example, in geometry in most cases
calculations are part base and a combination of functional and logic programming for
the implementation. The first step, from our perception, was to create a machine-readable
language in which we could describe the Euclid's theorems. After that, we used
this language to generate the theorems' constructions. Then we generated all possible
premises needed for a relevant conclusion, given the construction. | el |
| dc.corporate.name | National Centre for Scientific Research "Demokritos" | el |
| dc.contributor.master | Τεχνητή Νοημοσύνη - Artificial Intelligence | el |
| dc.subject.keyword | ATP | el |
| dc.subject.keyword | Automated deduction | el |
| dc.subject.keyword | Euclid | el |
| dc.subject.keyword | Euclid's "Elements" | el |
| dc.subject.keyword | Clojure | el |
| dc.subject.keyword | Prolog | el |
| dc.subject.keyword | Logic programming | el |
| dc.date.defense | 2021-06-30 | |
