Χαιρετάκης Σ. Ιωάννης Κωνσταντίνος Chairetakis S. Ioannis ...
Χαιρετάκης Σ. Ιωάννης Κωνσταντίνος Chairetakis S. Ioannis ...
Χαιρετάκης Σ. Ιωάννης Κωνσταντίνος Chairetakis S. Ioannis ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Κεφάλαιο 1: Ανασκόπηση βιβλιογραφίας<br />
χρησιμοποιείται στον κλάδο της Τεχνητής Νοημοσύνης για την τυπική<br />
<strong>Σ</strong>υμπερασματολογία/<strong>Σ</strong>υλλογιστική (Reasoning) εννοιών/αρχών ενός πεδίου εφαρμογής και<br />
χρησιμεύουν για την εξαγωγή λογικών συμπερασμάτων από τις Οντολογίες και τον <strong>Σ</strong>ημασιολογικό Ιστό<br />
ή γενικότερα σε κάποια βάση γνώσης.<br />
Ένα από τα χαρακτηριστικά των γλωσσών που δουλεύουν με Περιγραφική Λογική είναι ότι είναι<br />
εξοπλισμένες με τυπική και βασισμένη στην λογική σημασιολογία, κάτι που δεν συνέβαινε παλαιότερα.<br />
Οι Περιγραφικές Λογικές υποστηρίζουν πρότυπα εξαγωγής συμπερασμάτων που συναντώνται σε<br />
πολλές εφαρμογές των ευφυών συστημάτων επεξεργασίας πληροφοριών, τα οποία επίσης<br />
χρησιμοποιούνται από τους ανθρώπους για να δομήσουν και να κατανοήσουν τον κόσμο: ταξινόμηση<br />
των εννοιών και των ατόμων. Η ταξινόμηση των εννοιών καθορίζει τις σχέσεις<br />
υπερεννοιών/υποεννοιών (που λέγονται σχέσεις υπαγωγής) μεταξύ των εννοιών μιας συγκεκριμένης<br />
ορολογίας και ως εκ τούτου επιτρέπει σε κάποιον να διαρθρωθεί η ορολογία με τη μορφή μιας<br />
ιεραρχίας υπαγωγής.<br />
Αυτή η ιεραρχία παρέχει χρήσιμες πληροφορίες σχετικά με τη σύνδεση μεταξύ διαφορετικών εννοιών,<br />
και μπορεί να χρησιμοποιηθεί για να επιταχύνει άλλες υπηρεσίες συμπερασμού. Η ταξινόμηση των<br />
ατόμων (ή αντικειμένων) καθορίζει αν ένα δεδομένο άτομο, είναι πάντα ένα παράδειγμα μιας ορισμένης<br />
έννοιας (δηλαδή, κατά πόσον αυτή η συγκεκριμένη σχέση υπονοείται από την περιγραφή των ατόμων<br />
και τον ορισμό της έννοιας). <strong>Σ</strong>υνεπώς, παρέχει χρήσιμες πληροφορίες για τις ιδιότητες ενός ατόμου.<br />
Επιπλέον, οι κατά περίπτωση σχέσεις μπορεί να προκαλέσουν την εφαρμογή των κανόνων που<br />
εισάγουν πρόσθετα στοιχεία στη βάση γνώσης<br />
Τα δομικά στοιχεία των περιγραφικών λογικών είναι οι έννοιες, οι ρόλοι και τα άτομα ενώ πάνω στις<br />
έννοιες επενεργεί ένα σύνολο κατασκευαστών εννοιών (concept constructors), με σκοπό την<br />
δημιουργία πιο περίπλοκων εννοιών από αυτές.<br />
Κάποιες από τις πιο γνωστές γλώσσες των Περιγραφικών Λογικών είναι οι ακόλουθες:<br />
• AL (Attributive Language): Είναι η βασική γλώσσα που επιτρέπει ατομική άρνηση, τομή<br />
εννοιών, καθολικούς περιορισμούς και περιορισμένη υπαρξιακή ποσοτικοποίηση.<br />
• FL (Frame based description language): Αυτή επιτρέπει τομή εννοιών, καθολικούς<br />
περιορισμούς, περιορισμένη υπαρξιακή ποσοτικοποίηση και περιορισμούς ρόλων.<br />
• EL: Επιτρέπει την τομή εννοιών αλλά και υπαρξιακούς περιορισμούς (από πλήρη υπαρξιακή<br />
ποσοτικοποίηση).<br />
1.3 Οντολογίες<br />
Οι οντολογίες συνδέονται με την Περιγραφική Λογική καθώς την χρησιμοποιούν για την θεωρητική<br />
τυποποίησή τους. Για την κατανόηση των οντολογιών είναι απαραίτητη η αναφορά σε διάφορους<br />
ορισμούς που υπάρχουν για αυτές, να παρουσιαστούν τα οφέλη και τα είδη των οντολογιών. Ακόμα δεν<br />
πρέπει να παραληφθούν τα συστατικά μέρη, τα χαρακτηριστικά και οι αρχές σχεδίασης των<br />
οντολογιών.<br />
1.3.1 Ορισμός οντολογίας<br />
Μια οντολογία έχει στόχο να περιγράψει, να οργανώσει και να τεκμηριώσει την γνώση. Η γνώση δεν<br />
περιλαμβάνει μόνο αντικείμενα και το πώς αυτά μπορούν να περιγραφούν αλλά και το ποιες σχέσεις<br />
συνδέουν τα αντικείμενα αυτά μεταξύ τους.<br />
Από μόνη της σαν λέξη, η οντολογία έχει δύο είδη ορισμών. Ο ένας ανήκει στην φιλοσοφία, έχει τις<br />
ρίζες του στην αρχαία Ελλάδα κι έχει να κάνει με την ύπαρξη και την φύση των όντων, ενώ ο άλλος<br />
2
Change language