ΣΗΜΑΣΙΟΛΟΓΙΚΑ ΔΙΚΤΥΑ (SEMANTIC NETWORKS)

Μέγεθος: px

Εμφάνιση ξεκινά από τη σελίδα:

Download "ΣΗΜΑΣΙΟΛΟΓΙΚΑ ΔΙΚΤΥΑ (SEMANTIC NETWORKS)"

Ê Κομνηνός
8 χρόνια πριν
Προβολές:

1 ΣΗΜΑΣΙΟΛΟΓΙΚΑ ΔΙΚΤΥΑ (SEMANTIC NETWORKS)

2 ΣΗΜΑΣΙΟΛΟΓΙΚΑ ΔΙΚΤΥΑ (SEMANTIC NETWORKS) Αντικείμενα (objects) και σχέσεις μεταξύ τους Παράσταση δικτύου (γραφική) Ιεραρχική δομή Έμφαση στην οργάνωση (isa, partof, instanceof, ) Ψυχολογική Αξιοπιστία: Μοντέλα ανθρώπινης μνήμης (QUILLIAN 1996) Κόμβοι: αντικείμενα (concepts) Ακμές: σχέσεις (relations) Πολλές παραλλαγές Παραδείγματα συστημάτων: KL-ONE (Brachman) NETL (Fahlman) Telos (Toronto-Crete)

Αξιοπιστία: Μοντέλα ανθρώπινης μνήμης (QUILLIAN 1996) Κόμβοι: αντικείμενα (concepts) Ακμές: σχέσεις

3 Υπάρχει ΔΙΑΦΟΡΑ μεταξύ κοινών δικτύων και εννοιολογικών δικτύων C33 C82 C84 Κοινό δίκτυο (ακμές και κόμβοι χωρίς έννοιες) C44 Άνθρωπος είναι Υπάλληλος έχει έχει Όνομα Εννοιολογικό δίκτυο (Οι ετικέτες - labels - σε φυσική γλώσσα δίνουν κάποια έννοια) Ηλικία

Άνθρωπος είναι Υπάλληλος έχει έχει Όνομα Εννοιολογικό δίκτυο

4 Όμως, η σημασιολογία (semantics) είναι μη φορμαλισμένη (informal) ( Κλασσική κριτική των Semantics Nets) ΙΣΤΟΡΙΚΗ ΑΝΑΠΤΥΞΗ-ΕΞΕΛΙΞΗ (α) CONCEPTUAL GRAPHS Γραφική παράσταση εκφράσεων του κατηγορικού λογισμού Κατηγορικός Λογισμός Conceptual Graphs predicate names κόμβος τύπου Α predicate arguments κόμβος τύπου Β σχέση predicate name με predicate argument ακμή μεταξύ κόμβων

του κατηγορικού λογισμού Κατηγορικός Λογισμός Conceptual Graphs predicate names κόμβος τύπου

5 CONCEPTUAL GRAPH (ΓΕΝΙΚΟ ΠΛΑΙΣΙΟ) OBJECT ATTRIBUTE VALUE predicatename Þ concept_1 function_j Þ slot_name value_j Þ slot_value Þ concept_2 Παράδειγμα Ο Κώστας στέλνει ένα βιβλίο στην Μαρία Σε λογική: Send (Κώστας, Μαρία, βιβλίο)

Þ slot_value Þ concept_2 Παράδειγμα Ο Κώστας στέλνει ένα

6 Σε conceptual graph: Kώστας_8 Αποστολή βιβλία_33 Μαρία_3 Παρατηρήσεις: Για να μην ξεχνάμε ότι μιλούμε για σύμβολα στην Λογική, και όχι για τα πραγματικά αντικείμενα, χρησιμοποιούμε Κώστας_8, Μαρία_3 αντί για Κώστας, Μαρία Δηλαδή, αυτά δεν σημαίνουν τίποτα!

Λογική, και όχι για τα πραγματικά αντικείμενα, χρησιμοποιούμε

7 Predicates με πολλά arguments είναι δυσκολονόητα, και δύσκολα στην χρήση. Υπάρχει τρόπος μετατροπής κάθε n-ary predicate σε binary predicates: Predicate_name (value_1, value_2,, value_n) Functional _name_j (predicate_name, value_j) π.χ. Στέλνει (Κώστας, Μαρία, βιβλίο) Αποστολέας (Αποστολή_81, Κώστας_8) Παραλήπτης (Αποστολή_81, Μαρία_3) Αντικείμενο(Αποστολή_81, Βιβλίο_33) Στοιχείο (Αποστολή_81, Αποστολές)

value_2,, value_n) Functional _name_j (predicate_name, value_j) π.χ.

8 Σε Conceptual Graph: Αποστολέας Κώστας_8 Παραλήπτης Μαρία_3 Αποστολή_81 Αντικείμενο Βιβλίο_33 Στοιχείο Αποστολές Τα conceptual graphs παριστούν μία (και μόνο) Λογική έκφραση Για συλλογές εκφράσεων (γνώση) χρειαζόμαστε Semantic Networks

Αποστολές Τα conceptual graphs παριστούν μία (και μόνο)

9 Άλλα παραδείγματα Conceptual Graphs είναι οι κατάλληλες δομές για παράσταση φυσικής γλώσσας Ο Κώστας προσφέρει ένα λουλούδι στη Μαρία Κώστας_1 Υποκείμενο Προσφέρει δέκτης Μαρία_8 αντικείμενο Λουλούδι_3

Κώστας προσφέρει ένα λουλούδι στη Μαρία Κώστας_1

10 Ο Κώστας είπε στον Γιάννη ότι προσέφερε ένα λουλούδι στην Μαρία Υποκείμενο Λέει δέκτης Γιάννης_5 χρόνος Κώστας_1 Πρόταση Αόριστος Υποκείμενο Προσφέρει δέκτης Μαρία_8 αντικείμενο Λουλούδι_3

11 ΘΕΜΑΤΑ ΓΙΑ CONCEPTUAL GRAPHS (ΑΝ) ΕΠΑΡΚΕΙΑ ΠΕΡΙΓΡΑΦΩΝ (α) Διαφορετικές ακμές (δομή vs. σχέσεις) (β) Πώς παριστώνται: διάζευξη, ποσοδείκτες; The man who lives next door is 47 years old Πώς ξεχωρίζουμε τη διαφορά; μεταξύ: lives next door και: old 47 years

12 man lives house c013 agent c008 location c047 age 47 next door... ΕΝΝΟΙΟΛΟΓΙΚΑ ΔΙΚΤΥΑ

13 Animal Bird Fish Canary Ostrich Shark Salmon

14 (α) is A σχέση (υποσύνολο) isa isa isa isa isa isa

15 isa Παρατηρήσεις Είναι μια partial order (μερική διάταξη) 1) A, A isa A 2) A, B, αν A isa B καιβ isa A 3) A, B, Γ, αν Α isa B και Β isa Γ Α isa Γ Ä Σε μια τέτοιου είδους σχέση αντιστοιχεί ένας γράφος (HASSE διάγραμμα) Ã Â π.χ. (Α, Γ), (Γ, Δ), (Β, Δ) - Σχέση isa Á

isa Γ Α isa Γ Ä Σε μια τέτοιου είδους σχέση αντιστοιχεί ένας

16 partof (συχνά, HAS) (α) Ο άνθρωπος έχει χέρια Τα χέρια έχουν δάχτυλα Ο άνθρωπος έχει δάχτυλα (μεταβατικότητα) (α) Το partof πιο γενικό από το HAS (β) Πιο σημαντικά ακόμη, σε συνδυασμό με την isa ιεραρχία, η partof μπορεί να κληρονομηθεί (inheritance) (γ) Ιδιότητα (HAS) δεν κληρονομούνται σε partof ιεραρχίες. Ο άνθρωπος έχει χέρια Χέρια είναι μικρότερα του ενός μέτρου Ο άνθρωπος είναι μικρότερος του ενός μέτρου

ιεραρχία, η partof μπορεί να κληρονομηθεί (inheritance) (γ) Ιδιότητα (HAS) δεν κληρονομούνται σε partof

17 Instance of (Συμβολισμός για σχέση μεταξύ Generic Nodes και Referent Nodes (Instances) Type Type π.χ. Ο Teddy είναι αρκούδα (Ο Teddy instanceof Αρκούδες) αντί Η Αρκούδα είναι ζώο Αρκούδες C Animals (Αρκούδες isa Animals_ Η σχέση instanceof δεν είναι μεταβατική (σε αντίθεση με isa)

Ο Teddy είναι αρκούδα (Ο Teddy instanceof Αρκούδες) αντί Η Αρκούδα

18 Άλλες οργανώσεις /ιεραρχίες των εννοιολογικών δικτύων ΔΙΑΧΩΡΙΣΜΟΣ (partitioning) (contexts) Υπάρχει ένας άνθρωπος που έχει αυτοκίνητο Άνθρωποι Περιουσίες Αυτοκίνητα ανήκει ανήκει ανήκει M agent P object C

Υπάρχει ένας άνθρωπος που έχει αυτοκίνητο Άνθρωποι

19 Επίπεδο S1 S2 S3 PERSPECTIVES brother_of John Bill John Father Mary John...

20 ΣΗΜΑΣΙΟΛΟΓΙΑ Από που έρχεται το τι σημαίνει ένας κόμβος ή μία ακμή; (α) Από διαδικασίες (daemons) PROCEDURAL ATTACHMENT Σε κάθε κόμβο ή ακμή έχουμε ένα πρόγραμμα (procedure) που κατά κάποιο τρόπο δίνει semantics (απεικονίζει κάπου) Υπάρχει global interpreter (β) Από assertions ATTACHMENT OF ASSERTIONS Θεωρώντας ότι το semantic net είναι μία δομή δεδομένων, μπορούμε να περιγράψουμε τι σημαίνει κάθε κόμβος και ακμή με assertions π.χ. KL-ONE

(απεικονίζει κάπου) Υπάρχει global interpreter (β) Από assertions ATTACHMENT OF ASSERTIONS Θεωρώντας ότι το

21 isa (α) Μοναδική Κληρονομικότητα (Inheritance) κινείται (1) Animal isa Fish isa Salmon έχει καρδιά (2) έχει επιδερμίδα (3) κολυμπάει (4) έχει λέπια (5) είναι ροζ (6) HAS ή partof instanceof Sal 33

22 Για το Animal ισχύουν: 1, 2, 3 Για το Fish ισχύουν: 1, 2, 3, 4, 5 Για το Salmon ισχύουν: 1, 2, 3, 4, 5, 6 Για το Sal33 ισχύουν: 1, 2, 3, 4, 5, 6, (δεν μπορεί να έχει καινούργια δικά του) (β) Πολλαπλή Κληρονομικότητα Πουλί Ξύλινο Αντικείμενο isa isa Σκιάχτρο Ξεκαθάρισμα ως το ποιες ιδιότητες (partof) κληρονομούνται είναι δύσκολη

23 Ένας τρόπος, όπως στην παραπάνω περίπτωση, είναι να χρησιμοποιήσουμε άλλου είδους ιεραρχία αντί για isa π.χ. Το Σκιάχτρο μοιάζει με Πουλί και όχι Το Σκιάχτρο isa Πουλί

24 (γ) default Κληρονομικότητα Απαιτεί non-monotonic Animal έχει (επιδερμίδα) isa Bird έχει part φτερά πετάει * isa Ostrich part δεν πετάει ** instanceof Donald Ερώτηση: Πετάει ο Donald?

25 Σε default inheritance ψάχνουμε προς τα πάνω την ιεραρχία μέχρις ότου βρούμε την πρώτη απάντηση (δηλ. OSTRICH) χωρίς να ενδιαφερόμαστε για το τι γίνεται πιο πάνω Αυτό είναι non-monotonic reasoning REASONING ΣΕ ΣΗΜΑΣΙΟΛΟΓΙΚΑ ΔΙΚΤΥΑ Βασική στρατηγική: graph-searching (βρίσκουμε συνδέσεις (μονοπάτια) μεταξύ κόμβων για να απαντήσουμε σε ερωτήσεις) Παράδειγμα Ερώτηση: Έχει ένα αντικείμενο κάποια ιδιότητα; (έχει ο Κώστας σπίτι;) Τρόπος για απάντηση: ανεβαίνουμε τις isa ιεραρχίες και περιμένουμε να βρούμε μία κλάση (π.χ. άνθρωπος) με την ιδιότητα αυτή (π.χ. σπίτι)

26 Παράδειγμα (β) Κατάστρωμα έχει ΠΛΟΙΟ έχει Μηχανή έχει Καυστήρα isa isa ΩΚΕΑΝΟΦΟΡΟ Παναγιά μαζί σου Φαιστός ΠΕΤΡΕΛΑΙΟΦΟΡΟ Το Φαιστός έχει καυστήρα

27 Τα σημασιολογικά δίκτυα παρέχουν ευελιξία ως προς την κατεύθυνση της αναζήτησης λύσης σε γράφους (forward, backward, κλπ) ΠΙΟ ΑΥΣΤΗΡΑ, το reasoning σε εννοιολογικά δίκτυα στηρίζεται στην αρχή της SUBSUMPTION

28 ΠΛΕΟΝΕΚΤΗΜΑΤΑ ΣΗΜΑΣΙΟΛΟΓΙΚΑ ΔΙΚΤΥΑ σε σχέση με ΚΑΤΗΓΟΡΙΚΟ ΛΟΓΙΣΜΟ Γραφική παράσταση (βοηθά στο να βλέπουμε όλες τις ιδιότητες ενός αντικειμένου συγκεντρωμένες) Εξαιρετική Οργάνωση των παραστάσεων Άμεση αντιστοιχία με φυσική γλώσσα Δυνατότητα συνδυασμού με άλλους φορμαλισμούς

Σχετικά έγγραφα

Description Logics. Γεώργιος Χρ. Μακρής MSc, MEd

Description Logics. Γεώργιος Χρ. Μακρής MSc, MEd Γεώργιος Χρ. Μακρής MSc, MEd Γλώσσες Περιγραφικής Λογικής Είναι γλώσσες αναπαράστασης της γνώσης των οποίων τα κύρια χαρακτηριστικά είναι: ο αυστηρός μαθηματικός φορμαλισμός η απλότητα και η κομψότητα.