Ανάπτυξη επιστημονικών θεωριών βιολογίας στο πλαίσιο της υπολογιστικής λογικής: αναπαράσταση της ενδοκυτταρικής διαδικασίας της απόπτωσης με χρήση απαγωγικού λογικού μοντέλου

Abstract

Σκοπός της παρούσας διπλωματικής διατριβής είναι μια προσέγγιση του θέματος της μοντελοποίησης των βιολογικών συστημάτων για λογαριασμό της έρευνας σχετικά με την καρκινογένεση. Αφού διατυπωθούν οι βασικές αρχές της Βιολογίας, της επιστήμης της Λογικής και του Απαγωγικού Λογικού Προγραμματισμού, θα παρουσιαστεί μια πρόταση για αναπαράσταση του ενδοκυτταρικού περιβάλλοντος και των σηματοδοτικών μονοπατιών, με στόχο τη διερεύνηση της αποτυχίας για μεταγωγή του σήματος της απόπτωσης και πραγμάτωση του προγραμματισμένου θανάτου των κυττάρων. Η μοντελοποίηση, που δομείται πάνω στις αρχές του απαγωγικού λογισμού, θα επικεντρωθεί στην επεξήγηση πειραμάτων in-vitro σχετικά με την επίδραση συγκεκριμένων φαρμακευτικών ουσιών και στην διεξαγωγή πειραμάτων in silico, με στόχο την εξαγωγή συμπερασμάτων σχετικά με την διαδικασία της απόπτωσης, αλλά και την επίδραση συγκεκριμένων φαρμακευτικών ουσιών. Επιπρόσθετα, παρουσιάζεται αναλυτικά σύστημα που δομήθηκε με βάση τις αρχές της απαγωγικής λογικής μοντελοποίησης, ενώ δίνονται συγκεκριμένα παραδείγματα για κάθε περίπτωση που αναλύεται στο παρόν πόνημα.