Υλοποίηση σε C λύσεων για τον πρόβλημα επιπτώσεων και συγκριτικά αποτελέσματα

Abstract

Η παρούσα πτυχιακή εργασία αναφέρεται σε ένα από τα πιο δύσκολα προβλήματα στον τομέα ρομποτικής, της τεχνολογίας λογισμικού καθώς και των βάσεων δεδομένων, το πρόβλημα της διακλάδωσης. Το πρόβλημα αυτό αναφέρεται στην περιεκτική περιγραφή των έμμεσων επιδράσεων μιας πράξης υπό την ύπαρξη περιορισμών. Ξεκινώντας, δόθηκε παράδειγμα του προβλήματος χρησιμοποιώντας ένα απλό κύκλωμα και δείχθηκε ότι υπάρχουν έμμεσες συνέπειες λόγω ύπαρξης περιορισμών ακεραιότητας. Καταλήγοντας, σαν λύσεις παρουσιάστηκαν η προσέγγιση της ελάχιστης διαφοροποίησης, η κατηγοριοποίηση των ροών και οι αιτιώδεις σχέσεις.

This project refers to one of the most challenging problems in robotics, software engineering and databases, the ramification problem. This problem relates to the comprehensive description of the indirect effects of an action in the presence of restrictions. In the beginning, an example of the problem was given using a simple circuit and it was shown that there are indirect consequences because of the existence of integrity constraints. In conclusion, solutions were presented such as the minimal change approach, the categorization of fluents and the causal relationships.