Η παρούσα εργασία εκπονήθηκε στο πλαίσιο του μαθήματος "Τεχνητή Νοημοσύνη" του χειμερινού εξαμήνου 2024-25 στο Οικονομικό Πανεπιστήμιο Αθηνών. Tο παρόν έγγραφο αφορά το Β’ μέρος της, όπου σκοπός είναι η ανάπτυξη δύο ξεχωριστών προγραμμάτων που αξιοποιούν τον αλγόριθμο forward chaining, για την απόδειξη προτάσεων βάσει γεγονότων και κανόνων που αποθηκεύονται σε μια βάση γνώσης. Την εργασία έχουν επιμεληθεί οι φοιτήτριες Αναΐς Φαρχάτ, Ελένη Αντωνιάδη Τσαραμπουλίδη, Στυλιανή Μουμτζή.

Απαιτήσεις Java Development Kit (JDK) 8 ή μεταγενέστερη έκδοση.

Εγκατάσταση Κατέβασμα του έργου: Κατεβάστε ή κλωνοποιήστε το αποθετήριο του έργου στον υπολογιστή σας.

Μεταγλώττιση Για να μεταγλωττίσετε το έργο σε λογισμικό windows, ανοίξτε στο τερματικό το path για την άσκηση που θέλετε (firstexercise ή secondexcercise) και χρησιμοποιήστε την εντολή: javac Main.java Αυτό θα μεταγλωττίσει όλα τα αρχεία .java που χρησιμοποιούνται από την Main.

Εκτέλεση Για να εκτελέσετε το πρόγραμμα, χρησιμοποιήστε την εντολή: java Main Αυτό θα ξεκινήσει το πρόγραμμα και θα σας ζητήσει να εισάγετε την πρόταση που θέλετε να αποδείξετε. Ο αλγόριθμος θα αναζητήσει την πρόταση στη βάση γνώσης και θα επιστρέψει κατάλληλο μήνυμα, ανάλογα με το αν μπορεί να αποδειχτεί.