Mathematical Software and Γλώσσες Knowledge...

97
Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης 1 Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης ΕΑΡΙΝΟ ΕΞΑΜΗΝΟ (2 ο ) Mathematical Software and Knowledge Representation Languages SPRING SEMESTER (2 nd ) Τμημα Μαθηματικων Αριστοτελειο Πανεπιστημιο Θεσσαλονικης School of Mathematics Aristotle University of Thessaloniki Ι. Αντωνιου Γ. Μακρης Χ. Μπρατσας [email protected] [email protected] [email protected]

Transcript of Mathematical Software and Γλώσσες Knowledge...

Page 1: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης

1

Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης ΕΑΡΙΝΟ ΕΞΑΜΗΝΟ (2ο)

Mathematical Software and Knowledge Representation Languages SPRING SEMESTER (2nd)

Τμημα Μαθηματικων Αριστοτελειο Πανεπιστημιο Θεσσαλονικης

School of Mathematics Aristotle University of Thessaloniki

Ι. Αντωνιου Γ. Μακρης Χ. Μπρατσας [email protected] [email protected] [email protected]

Page 2: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

2

Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης 22-02-2016 Cabri-geometry II

(Εφαρμογές σε προβλήματα Γεωμετρίας του Επιπέδου) 29-02-2016 Sketchpad (Εφαρμογές σε προβλήματα Γεωμετρίας του

Επιπέδου) 07-03-2016 Geogebra (Διερεύνηση προβλημάτων Άλγεβρας –

Γεωμετρίας- Μαθηματικής Ανάλυσης) 21-03-2016 Cabri 3D

(Κατασκευές και μέτρηση σχημάτων στον τριδιάστατο χώρο)

28-03-2016 Ανακεφαλαιωση: προβληματα με τα διαφορα Λογισμικα

04-04-2016

ΕΞΕΤΑΣΕΙΣ Α’ Μερους Εργαστηριο

Page 3: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης 11-04-2016 Λογικη, Γλωσσα , Αλγοριθμος, Προγραμμα,

Διαδικτυο και Παγκοσμιος Ιστος, Σημασιολογικη Επεξεργασια, Γνωση ANTΩΝΙΟΥ

18-04-2016 Εισαγωγη στις Γλώσσες Σήμανσης και Μορφοποίησης Μαθηματικών Κείμενων (HTML, XML, XHTML, XML-MathML) ANTΩΝΙΟΥ, MAΚΡΗΣ

09-05-2016 Συνταξη Μαθηματικων Κειμενων στην Παγκοσμια Εγκυκλοπαιδεια Wikipedia ΜΠΡΑΤΣΑΣ

16-05-2016 Γλώσσες Σήμανσης και Μορφοποίησης Μαθηματικών Κείμενων (HTML, XML, XHTML, XML-MathML) Εφαρμογες MAΚΡΗΣ

23-05-2016 Γλώσσες Σήμανσης και Μορφοποίησης Μαθηματικών Κείμενων (HTML, XML, XHTML, XML-MathML) Εργασια MAΚΡΗΣ

30-05-2016 Γλώσσες Οντολογιών RDF/RDFS, OWL και Σημασιολογική Αναπαράσταση Μαθηματικής Γνώσης. Από την Wikipedia στην DBPedia, τον Πυρηνα των Διασυνδεδεμενων Δεδομενων MΠΡAΤΣΑΣ

23-06-2016 ΕΞΕΤΑΣΕΙΣ Β’ Μερους

Page 4: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

4

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

Α΄ Μέρος (22 Φεβρ. έως 4 Απριλίου). Οι φοιτητες θα επιλέξουν τις ημέρες και ώρες ατομικής εξέτασης σύμφωνα με το πρόγραμμα που θα ανακοινωθεί. Eργαστήριο HY (1ος όρ. κτιρίου Βιολογίας)

Β΄ Μέρος (11 Απριλίου έως 30 Μαίου). Οι εργασίες παραδίδονται ως την Δευτέρα 13 Ιουνίου και ώρα 23:59. Η Εξεταση θα λάβει χώραν τη Πεμπτη 23 Ιουνίου και ώρα 14:45, στην Αίθουσα Δ31 10 μερες

Page 5: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

5

ΕΞΕΤΑΣΗ στο Β' ΜΕΡΟΣ • Για κάθε ομάδα θα παρουσιαστεί στην οθόνη το Μαθηματικό άρθρο που έκανε

στην Wikipedia και θα τεθούν ερωτήσεις. (Παραδοση Εργασιας εως: 12/6/2016) https://el.wikipedia.org/wiki/%CE%92%CE%B9%CE%BA%CE%B9%CF%80%CE%B1%CE%AF%CE%B4%CE%B5%CE%B9%CE%B1:%CE%A0%CE%B1%CE%BD%CE%B5%CF%80%CE%B9%CF%83%CF%84%CE%B7%CE%BC%CE%B9%CE%B1%CE%BA%CE%AC_%CE%95%CE%B3%CF%87%CE%B5%CE%B9%CF%81%CE%AE%CE%BC%CE%B1%CF%84%CE%B1/%CE%91%CE%A0%CE%98_%CE%9C%CE%B1%CE%B8%CE%B7%CE%BC%CE%B1%CF%84%CE%B9%CE%BA%CF%8C_2016/%CE%A0%CF%81%CE%BF%CF%84%CE%B5%CE%B9%CE%BD%CF%8C%CE%BC%CE%B5%CE%BD%CE%B1_%CE%BB%CE%AE%CE%BC%CE%BC%CE%B1%CF%84%CE%B1 • Στην εργασία MathML θα επιλεγεί κάποιο τμήμα της και θα τεθούν ερωτήσεις

(Παραδοση Εργασιας εως: 19/06/2016 ώρα 23:59) • Η εργασία στην Άλγεβρα Βoole να σταλεί στο email [email protected] (Παραδοση Εργασιας εως: 19/06/2016 ώρα 23:59). Η εργασία είναι προαιρετική (+1 μονάδα) Σκοπός των Ερωτήσεων είναι η πιστοποίηση της συμμετοχής των φοιτητών στις εργασίες. Όσοι εργάστηκαν δεν θα συναντήσουν δυσκολία. Εξέταση: 23.06.2016, ώρα 14:45-17:45, Αιθουσα Δ31.

Page 6: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης

6

MΑΘΗΜΑΤΙΚΑ Αρχικες Εννοιες (Υπαρχει, Ανηκει, Για Κάθε) Λογικη Ορισμοι Αξιωματα Προτασεις Θεωρηματα Λημματα

Page 7: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

ΘΕΜΕΛΙΩΣΗ ΓΕΩΜΕΤΡΙΑΣ Ηilbert 1899, Grundlagen der Geometrie (The Foundations of Geometry) http://en.wikipedia.org/wiki/Hilbert%27s_axioms

3 Αρχικοι Οροι Primitives

Συνολο Σημειων Συνολο Ευθυγραμμων Τμηματων Συνολο Επιπεδων Σχηματων

19 Αιτηματα = Αξιωματα Postulates = Axioms

Αξιωματα Ανηκειν ή Συνδεσεως (Incidence) (7) Αξιωματα Διαταξεως (Order) (4) Αξιωματα Ισοτητος (Congruence) (6) Αξιωμα Παραλληλων (Ευκλειδης) (1) Αξιωμα Συνεχειας (Αρχιμηδης) (1)

Page 8: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Αξιώματα Ανήκειν ή Συνδέσεως 1. Κάθε ευθεία περιέχει δύο σημεία διάφορα

αλλήλων.

2. Αν δύο σημεία είναι διάφορα αλλήλων, τότε υπάρχει ευθεία περιέχουσα τα σημεία αυτά και μόνον μία.

3. Κάθε επίπεδο περιέχει τρία σημεία διάφορα αλλήλων και μη ανήκοντα στην αυτή ευθεία.

4. Αν τρία σημεία είναι διάφορα αλλήλων και μη ανήκοντα στην αυτή ευθεία, τότε υπάρχει επίπεδο που περιέχει τα σημεία αυτά και μόνον ένα.

Α

Β

Γ

Page 9: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Αξιώματα Ανήκειν ή Συνδέσεως 5. Αν δύο σημεία ανήκουν σε ένα επίπεδο,

τότε η ευθεία που ορίζουν τα δύο σημεία ανήκει επισης στο επίπεδο.

6. Αν δύο επίπεδα διάφορα αλλήλων έχουν ένα κοινό σημείο, τότε έχουν και δεύτερο κοινό σημείο

7. Υπάρχουν τέσσερα σημεία που δεν ανήκουν στο αυτό επίπεδο

Α

Β

Α

Β

Α

Β

Γ

Δ

Page 10: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Αξιωμα Διατάξεως 1 Αν Α, Μ, Β είναι τρία σημεία μιας ευθείας διάφορα αλλήλων, τότε:

το σημείο Μ κείται μεταξύ των Α και Β ή το Α κείται μεταξύ των Μ και Β ή το Β κείται μεταξύ των Α και Μ

Page 11: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Αξιωμα Διατάξεως 2 Αν Α, Β είναι δυο σημεία διάφορα αλλήλων, τότε: Υπάρχει σημείο Μ επί της ευθείας ΑΒ μεταξύ των Α και Β και Υπάρχει σημείο Ν επί της ευθείας ΑΒ ώστε το Α να κείται μεταξύ των Ν και Β και Υπάρχει σημείο Ξ επί της ευθείας ΑΒ ώστε το Β κείται μεταξύ των Α και Ξ

Page 12: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Αξιωμα Διατάξεως 3 Αν Α, Μ, Β είναι τρία σημεία μιας ευθείας διάφορα αλλήλων, τότε Ένα και μόνον ένα εκ των Α, Μ, Β κείται μεταξύ των άλλων δυο

ή

ή

Page 13: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Αξιωμα Διατάξεως 4 Pasch Μ. Pasch 1882, Vorlesungen uber neuere Geometrie (2nd ed. 1912), Teubner, Leipzig. Αν τρία σημεία Α, Β, Γ δεν κείνται επί της αυτής ευθείας και η ευθεία δεν περιέχει τα Α,Β,Γ και η ευθεία έχει κοινό σημείο με την ευθεία ΑΓ μεταξύ των Γ και Α, τότε η ευθεία έχει σημείο μεταξύ των Α και Β ή μεταξύ των Β και Γ

ή

Page 14: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Αξιωματα Ισοτητος (Congruence) (6) Iσοτης Ευθυγραμμων Τμηματων (3) Iσοτης Γωνιων (2) Iσοτης Τριγωνων (1) Αν τα τριγωνα εχουν 2 πλευρες ισες και την περιεχομενη γωνια ιση, τοτε τα τριγωνα είναι ισα (εχουν τις ομολογες πλευρες ισες και τις ομολογες γωνιες ισες)

Page 15: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Αξιωμα Παραλλήλων Για κάθε ευθεία (ε) και για κάθε σημείο Μ

που δεν ανήκει στην ευθεία, Υπάρχει το πολύ μία ευθεία δια του σημείου Μ η οποία δεν έχει κοινό σημείο με την (ε)

Page 16: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Αξιωμα Συνεχειας Αρχιμήδη Έστω AB και ΟΜ ευθύγραμμα τμήματα. Υπάρχει

αριθμός n=1,2,3,… ώστε το B κείται μεταξύ του Α και του Γ, ισοδυναμως το ευθύγραμμο τμήμα AΓ = n∙ΟΜ είναι μεγαλύτερο του ΑΒ

Page 17: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Πληρότης της Ευκλειδιας Γεωμετριας Ο Pash εδειξε ότι:

το σύστημα Σημείων, Ευθειών και Επιπέδων που ικανοποιεί τα 18 Αξιωματα (εκτος του Pash) Τα 7 Αξιώματα Συνδέσεως, Τα 3 Αξιώματα Διατάξεως (εκτος του Pash) Τα 6 Αξιώματα Ισότητας Το Αξίωμα Παραλλήλων Το Αξίωμα του Αρχιμήδη

δεν είναι Πληρες.

Page 18: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Πληρότης της Ευκλειδιας Γεωμετριας Με το Αξιωμα Pash δεν δύναται να προστεθεί κάποιο άλλο Αξίωμα ώστε να προκύψει διαφορετική Γεωμετρία. Ο Hilbert προτεινε το 1899 ένα 21ο Αξιωμα ως 5ο Αξιωμα Διαταξεως: Αν τεσσερα σημεία Α, Β, Γ, Δ κείνται επί της αυτής ευθείας τότε μπορουν να διαταχθουν ώστε: το Β να κειται μεταξυ των Α και Γ και μεταξυ των Α και Δ και το Γ να κειται μεταξυ των Α και Δ και μεταξυ των Β και Δ Ηilbert 1899, Grundlagen der Geometrie Ο Μοοre απεδειξε 3 χρονια αργοτερα ότι το 21ο Αξιωμα αποδεικνυεται από τα 20 Αξιωματα Moore E.H. 1902 , On the projective axioms of geometry, Transactions of the American Mathematical Society 3: 142–158, Η Γεωμετρια ως Προτυπο Λογικης Θεωριας

Page 19: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Ελλειπτική Γεωμετρία Gauss, Felix Klein

Δε υπάρχει παράλληλος «ευθεία», από σημείο που κείται εκτός δοθείσας ευθείας.

Τρισ-ορθογώνιο τρίγωνο Ισοσκελές δισ-ορθογώνιο τρίγωνο

Page 20: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Υπερβολική Γεωμετρία Lobachevsky, Bolyai, Gauss

Υπάρχουν άπειρες παράλληλες «ευθείες», από σημείο εκτός κάποιας ευθείας. Στο σχήμα φαίνεται ένα τρίγωνο που οι γωνίες του έχουν άθροισμα λιγότερο από 180⁰

Page 21: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Πολύγωνα

Page 22: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Πολύγωνα

Page 23: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Τι Είναι Δίκτυο? Δομή Aλληλοεξαρτήσεων

Γράφος με Kόμβους και Ακμες-Συνδέσεις

Αξιώματα Ανήκειν ή Συνδέσεως

Η Γενικότερη Γεωμετρία

2

4

3 1

1.2

2.1

0.2

0.5

Πιναξ Συνδεσεων

Α =

0 1 0 11 0 1 10 1 0 01 1 0 0

Page 24: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Δίκτυο Πίνακας Προσπτώσεων Incidence Matrix

Γεωμετρία Συνδεσεων (Incidence Geometry) H. Poincare 1900, Second complement de l'Analysis Situs, Proc. London Math. Soc. 32, 277-308.

Μη Κατευθυνομενο Δικτυο

𝛽𝜅ℓ=�+1, αν το σηµειο κ ανηκει στην ακµη ℓ ⟺ 𝜅 ∈ ℓ 0, αν το σηµειο κ δεν ανηκει στην ακµη ℓ ⟺ 𝜅 ∉ ℓ

ΠΙΝΑΞ ΠΡΟΣΠΤΩΣΕΩΝ

ΑΚΜΕΣ

α β γ δ ε

ΣΗΜΕΙΑ

1 1 0 0 1 0

2 1 1 1 0 0

3 0 1 0 0 1

4 0 0 1 1 1

Page 25: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Δίκτυο Πίναξ Προσπτώσεων (Incidence Matrix)

Γεωμετρία Συνδεσεων (Incidence Geometry) H. Poincare 1900, Second complement de l'Analysis Situs,

Proc. London Math. Soc. 32, 277-308. Κατευθυνομενο Δικτυο

𝛽𝜅ℓ=�+1, αν η ακµη ℓ 𝜀𝜀𝜀𝜀𝜀𝜀𝜀𝜀𝜀𝜀 𝜀𝜀𝜎 𝜀𝜎𝜎𝜀𝜀𝜎 κ −1, αν η ακµη ℓ 𝜀𝜉𝜀𝜀𝜀𝜀𝜀𝜀𝜀 𝜀𝛼𝜎 𝜀𝜎 𝜀𝜎𝜎𝜀𝜀𝜎 κ

0, αν η ακµη ℓ 𝛿𝜀𝛿 𝜀𝜎𝛿𝛿𝜀𝜀𝜀𝜀𝜀 𝜎𝜀 𝜀𝜎 𝜀𝜎𝜎𝜀𝜀𝜎 κ

ΠΙΝΑΞ ΠΡΟΣΠΤΩΣΕΩΝ

ΑΚΜΕΣ

α 𝜀� β γ δ ε

ΣΗΜΕΙΑ

1 -1 1

0 0 1 0

2 1 -1

-1 -1 0 0

3 0 0 1 0 0 1

4 0 0 0 1 -1 -1

Page 26: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Λογικη Αριστοτελης Οργανον Περιλαμβανει 6 βιβλια:

ΟΡΓΑΝΟΝ ΠΕΡΙΕΧΟΜΕΝΟ Κατηγοριες Σημασιολογια,

Ταξινομιση Εννοιων

Περί Ερμηνείας Κρίσεις, Συλλογισμοι Αναλυτικά Πρότερα

Τοπικά Σοφιστικοί Έλεγχοι Σφαλματα Συλλογισμών Αναλυτικά Ύστερα Γνώση (Επιστήμη)

Page 27: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Isaac Newton (~1700) ιδιόχειρες σημειώσεις από το «Όργανον» του Αριστοτέλη Trinity College,

Πανεπιστημιο Cambridge,

Page 28: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Η Αλγεβρα ℬ των Υποσυνολων ενός Συνολου (Universal Set) Y Θεωρημα 1) ℬ is equipped with the operations ⋃, ⋂ : ℬ x ℬ → ℬ: For every A,B,C in ℬ: L1. Idempotent Law: A ⋃ A = A A ⋂ A = A L2. Commutative Law: A ⋃B = B ⋃A A ⋂B =B ⋂A L3. Associative Law: A ⋃ (B ⋃ C)= (A ⋃B) ⋃C A ⋂ (B ⋂C)= (A ⋂B) ⋂C L4. Absorption Law: A ⋂ (A ⋃B)= A A ⋃ (A ⋂B)= A 2) The relation ≤ on ℬ is defined, by setting, for A,B in ℬ: L5. A ≤ B ⟺ A = A ⋂ B ⟺ B = A ⋃ B 3) ℬ is Bounded by the first and last elements O = 1∅ , I = Y : L6. O⋃A =A O⋂A =O I ⋃ A =I I ⋂ A =A 4) ℬ has the Complement operation : c : ℬ → ℬ : A ⟼Ac L7. A ⋃ Ac = I A ⋂Ac = O L8. (Ac)c = A 5) Distributivity of the operations ⋃, ⋂ : L9. A⋃ (B ⋂ C)= (A ⋃ B) ⋂ (A ⋃ C) A ⋂ (B ⋃C) = (A ⋂ B) ⋃ (A ⋂ C)

Page 29: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια
Page 30: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

1) H Aλγεβρα Boole ειναι η Αλγεβρα της Λογικης του Αριστοτελη διατυπωμενη στη γλωσσα της θεωριας Συνολων Boole G. 1854, An Investigation of the Laws of Thought, MacMillan; Dover reprint, New York 1958 2) Ο Boole εθεσε τις βασεις της Λογικης, της Αλγοριθμικης ψηφιακης επεξεργασιας, των Συλλογισμων, επεσημανε τη σχεση με την Στατιστικη την θεωρια Πιθανοτητων και την Αιτιοτητα

Page 31: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

1) H Aλγεβρα Boole ειναι η Αλγεβρα της Λογικης του Αριστοτελη διατυπωμενη στη γλωσσα της θεωριας Συνολων Boole G. 1854, An Investigation of the Laws of Thought, MacMillan; Dover reprint, New York 1958 Α,Β,C,… οι προτασεις ∧ = AND=KAI ∨= OR= EITE c = NOT =OXI O = ANTIΦΑΣΗ Ι = ΤΑΥΤΟΛΟΓΙΑ 2) Ο Boole εθεσε τις βασεις της Λογικης, της Αλγοριθμικης ψηφιακης επεξεργασιας, των Συλλογισμων, επεσημανε τη σχεση με την Στατιστικη την θεωρια Πιθανοτητων και την Αιτιοτητα

Page 32: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Θεωρημα

1. Θεωρημα Αναπαραστασης Stone: Καθε Αφηρημενη Αλγεβρα Boole αναπαρισταται ως (ειναι ισομορφη με) μια Αλγεβρα Boole υποσυνολων Stone M.1936, The theory of representation for Boolean Αlgebras, Trans. Amer. Math. Soc. 40, 37-111

2. Θεωρημα Αναπαραστασης Shannon: Καθε Αφηρημενη Αλγεβρα Boole αναπαρισταται ως (ειναι ισομορφη με) μια Αλγεβρα Boole Διακοπτων Shannon C. 1938, A Symbolic Analysis of Relay and Swiching Circuits, AMS Transactions 57, 713-723, MIT Master Thesis

Page 33: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Ασκηση Δειξτε ότι οι 3 βασικες Λογικες Πραξεις (Λογικες Πυλες) της Αλγεβρας Boole [Συζευξη 𝑃 ∧ 𝑄 , Διαζευξη 𝑃 ∨ 𝑄 , Αρνηση 𝑄𝑐 ] Δυνανται να εκφραστουν συναρτησει μιας ή δυο αλλων Λογικων Πραξεων. Δηλαδη Βρειτε δυο Λογικες Πραξεις ⋆, ⋄ : 𝑃 ∧ 𝑄 ⟺ 𝑃𝑓(⋆, ⋄)𝑄

𝑃 ∨ 𝑄 ⟺ 𝑃𝑔(⋆, ⋄)𝑄

𝑄𝑐 ⟺ ℎ(⋆,⋄)𝑄 Ή καλυτερα Βρειτε μια Λογικη Πραξη ∘ : 𝑃 ∧ 𝑄 ⟺ 𝑃𝜑(∘)𝑄 𝑃 ∨ 𝑄 ⟺ 𝑃𝜓(∘)𝑄 𝑄𝑐 ⟺ 𝜎(∘)𝑄 Τι σημαινουν οι Πραξεις που βρηκατε: (⋆, ⋄) ή (∘) στο πλαισιο της Αλγεβρας Boole συνολων?

Page 34: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

QUANTUM LOGIC (για τους περιεργους που ρωτησαν…)

Θεωρημα 1) Η Κβαντικη Λογικη ειναι: Modular Orthocomplemented Lattice, για πεπερασμενες καταστασεις Modular Orthocomplemented Lattice ⟺ L1, L2,L3,L4,L5,L6,L7,L8,L10 L10. Modularity: M ∨ (N ∧ W)= (M ∨ N) ∧ W , for any subspaces M,N,W with M ≤ N 2) Η Κβαντικη Λογικη ειναι: Orthomodular Lattice, για απειρες καταστασεις Orthomodular Lattice ⟺ L1, L2,L3,L4,L5,L6,L7,L8,L11 L11. Weak Modularity: M = M ∨ (N ∧ M ⊥) , if M ≤ N 3) Distributivity implies Modularity but not conversely 4) Modularity implies Weak Modularity but not conversely

Page 35: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

QUANTUM LOGIC (για τους περιεργους που ρωτησαν…)

Θεωρημα Αναπαραστασης Κάθε Αφηρημενο Modular Orthocomplemented Lattice

αναπαρισταται ως Orthocomplemented Lattice Υποχωρων σε εναν Πεπερασμενο Χωρο Hilbert

Κάθε Αφηρημενο Modular Orthocomplemented Lattice

αναπαρισταται ως Orthocomplemented Lattice Υποχωρων σε έναν Απειρο Χωρο Hilbert Beltrametti E.G. and Cassinelli G. 1981, The Logic of Quantum Mechanics, in "Encyclopedia of Mathematics and its Appl.", Addison-Wesley, Reading, Massachusetts. Jauch J.M. 1973, Foundations of Quantum Mechanics, Addison-Wesley, Reading,Massatussetts Varadarajan V.S. 1985, Geometry of Quantum Theory, Springer, Βerlin.

Page 36: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης

36

Λογικη της Κβαντομηχανικης Κβαντικη Πιθανοτητα Η Πιθανοτητα Διανυσματος 𝜀1

𝜓 = |<1 | ψ>|2∥ψ∥2 η Πιθανοτης το Διανυσμα-Κατασταση ψ να είναι στον αξονα |1 >

𝜀0𝜓 = |<0 | ψ>|2

∥ψ∥2 η Πιθανοτης το Διανυσμα-Κατασταση ψ να είναι στον αξονα |1 >

𝜀1𝜓+𝜀0

𝜓 = |<1 | ψ>|2∥ψ∥2 + |<0 | ψ>|2

∥ψ∥2 = 1

Page 37: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης

37

Λογικη της Κβαντομηχανικης Κβαντικη Πιθανοτητα Η Πιθανοτητα Διανυσματος

𝜀𝜈𝜓 = |<uν ,ψ>|2

∥ψ∥2 = |<𝜈|ψ>|2

∥ψ∥2 ν=1,2,… η κατανομη Πιθανοτητος της ψ

ως προς την ορθοκανονικη βαση uν , ν=1,2,…

∑ 𝜀𝜈𝜓

𝜈 = ∑ |<𝜈|ψ>| 2

||ψ||2𝜈 = ∑ |<𝜈|ψ>| 𝜈2

||ψ||2 = ||ψ||2

||ψ||2 = 1

Από τον Τυπο Parseval: ||𝜓||2 = ∑ | < uν , ψ > | 2𝜈 Αλλα! Δεν οριζεται η Κοινη Κατανομη παρα μονο στην αυτή ορθοκανονικη βαση Μη Μεταθετικη Αλγεβρα

Page 38: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Κβαντικη Μετρηση Von Neumann 1932 Kβαντικες Συσχετισεις Πως καταρρεουν και δεν μετρωνται What is sent is not what is received

Page 39: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Αναπαρασταση Λογικης και Γλωσσων με Γραφους Isaac Newton (~1700) ιδιόχειρες σημειώσεις στο «Όργανον» του Αριστοτέλη Trinity College, Πανεπιστημιο Cambridge, «Το Δένδρο των Σχέσεων» που αποτελεί Παράδειγμα «Σημασιολογικού Δικτύου».

Page 40: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Αναπαρασταση Λογικης και Γλωσσων με Γραφους Charles Sanders Peirce 1882, Graphical Logic C. S. Peirce, “On Junctures and Fractures in Logic”, Writings of Charles S. Peirce, v. 4, pp. 391–3 and pp. 394–9 ; J. Sowa, "Matching Logical Structure to Linguistic Structure", Studies in the Logic of Charles Sanders Peirce, pp. 418–44, Nathan Houser, Don D. Roberts, and James Van Evra, editors, Bloomington and Indianapolis: Indiana University Press, 1997

B. Courcelle and J. Engelfriet, “Graph Structure and Monadic Second-Order Logic” UK, Cambridge University Press, 2012

F. Dau, editor, “The Logic System of Concept Graphs with Negation: And Its Relationship to Predicate Logic”, Springer Lecture Notes in Computer Science, Vol. 2892, 2003.

Shannon Graphs = Binary Decision Diagrams Shannon C. 1938, A Symbolic Analysis of Relay and Swiching Circuits,

AMS Transactions 57, 713-723, MIT Master Thesis

Lee C. 1959, Representation of Switching Circuits by Binary Decision Diagrams, Bell System Technical Journal 38, 985-999

Page 41: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης

41

Page 42: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Γιατι Χρειαζομαστε Υπολογισμους? Περιορισμοι Λογικης Δεν είναι εφικτο ένα Λογικο Συστημα να είναι: • Ανευ Αντιφασεων (Contradiction Free) • Πληρες (Complete) • Πεπερασμενης Επεξεργασιας (Finite Processing) Θεωρημα Goedel 1939 Αν είναι Πληρες, θα υπαρχουν Προτασεις που δεν απαντωνται σε πεπερασμενο πληθος Βηματων Αν απαντα Προτασεις σε πεπερασμενο πληθος Βηματων, τοτε δεν είναι Πληρες

42

Page 43: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Algorithm for a class of problems = a set of instructions (Εντολες) which specify

a sequence of operations to be executed-performed:

• the set of Instructions can be expressed within a finite amount of space and time.

• when applied to a problem from its class, it always produces a correct answer

• in principle, it can be done by a human without any aids, except writing materials

• its instructions need only be followed rigorously to succeed; in particular, it requires no ingenuity to do

• when an algorithm is applied to a problem from outside the class for which it is effective, the method must not return a result as the answer to the problem.

One may specify that: it will halt without result or diverge,

Algorithmicaly Computable Problems are the Problems for which some Finite Algorithm exists

43

Page 44: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Flowchart Διαγραμμα-Δικτυο Ροης is a graph, that represents an algorithm or process, showing the steps as boxes of various kinds, and their order by connecting these with arrows. The Flow Chart represents a solution model to a given problem. Τα Λογικα Διαγραμματα μεταφραζονται σε Προγραμματα για να τρεξουν στον Υπολογιστη

44

Page 45: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Web Generations

Era Description Source of added value Pre-Web 1980

Desktop computers DOS→MS Windows, UNIX→Linux, McOS

Computations

Web1.0: 1990

Upload of files: provider ⟶ user browser HTML

Computations + Interlinking of documents

Web2.0: 2000

Upload of files: provider ⇆ user Social web communication with “wires in meadows” Enclosed structures (Συρματοπλεγματα στα Λιβαδια) PHP JAVA

Web 1.0 + Information Society + Wikipedia + Exchange of experience, Information, errors

Web3.0: 2010

Semantic Web: The Ontology (Semantic Network) Mechanical processing of knowledge Cloud of Interconnected Data𝑀𝑎𝑡ℎ𝑀𝐿 Internet of Things (computers, phones, refrigerators, ovens, sensors, animals) XML ⊇ 𝑀𝑎𝑡ℎ𝑀𝐿 RDF OWL SPARQL

Web 2.0 + Interlinking of Concepts + Inference, Reasoning + Reduction of errors through Disambiguation and Distinction

Web4.0: 2020 (?)

Knowledge Networks Cloud of Knowledge : Global Brain Noosphere (?)

Web 3.0 + Time + Global Knowledge + Interconnection of Beings

Page 46: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

The Discovery

Early 1990s Tim Berners-Lee attempted: • to unify the different protocols for data transfer at CERN • to link Documents

Page 47: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

1992: Tim Berners-Lee και WWW

1992: O Tim Berners-Lee presents the key idea in Geneva (CERN) 1993: WWW Consortium (W3C) EU/US Collaboration First Web pages Metakides (EU): Dertouzos (MIT): Digital Market

Page 48: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης

48

Page 49: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης

49

Page 50: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Γλώσσες Σήμανσης (Annotation ή Markup Languages)

Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης

50

Για την αποθήκευση δομημένης πληροφορίας χρησιμοποιούνται γλώσσες σήμανσης.

Η δομημένη πληροφορία αποτελείται από περιεχόμενο και ετικέτες που δείχνουν τι είδους είναι το περιεχόμενο.

Οι ετικέτες συνδέονται με το αντίστοιχο περιεχόμενο ως εξής: <tag> text </tag>.

Η HTML είναι μία γλώσσα σήμανσης (T.B.Lee 1989), όπου το περιεχόμενο αποτελεί το περιεχόμενο μιας ιστοσελίδας και οι ετικέτες καθορίζουν τον τρόπο με τον οποίο θα εμφανιστούν τα δεδομένα.

Η XML είναι και αυτή μια γλώσσα σήμανσης. Οι ετικέτες της XML περιγράφουν το νόημα των δεδομένων.

Page 51: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Παράδειγμα HTML

Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης

51

<html> <head> <title> παράδειγμα 1 </title > </head> <body> <h1>Η HTML ειναι μια εύκολη γλώσσα </h1> <p> παράγραφος 1. </p> <p> παράγραφος 2. < /p > </body> </html>

Page 52: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

XML

Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης

52

Η XML είναι σήμερα η lingua franca για την ανταλλαγή δεδομένων μεταξύ προγραμμάτων, υπολογιστικών συστημάτων, κ.λπ. στα πλαίσια του Σημασιολογικού Ιστού.

Η XML είναι απλό κείμενο, το οποίο μπορεί με ευκολία να διαβαστεί από ανθρώπους.

Η XML ασχολείται μόνο με τη σημασία των δεδομένων, και όχι με την τυχόν επεξεργασία τους.

Είναι εύκολο να επεξεργαστούμε αρχεία XML, είτε με χρήση βιβλιοθηκών έχουν δημιουργηθεί για τον σκοπό αυτό, είτε με χρήση της ίδιας της XML (XSL).

Page 53: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Παράδειγμα XML

Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης

53

<CATALOG> <CD> <TITLE>Empire Burlesque</TITLE> <ARTIST>Bob Dylan</ARTIST> <COUNTRY>USA</COUNTRY> <COMPANY>Columbia</COMPANY> <PRICE>10.90</PRICE> <YEAR>1985</YEAR> </CD> </CATALOG>

Page 54: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης

54

XML το «συντακτικό» του Web 3

Web 1, Web 2

Δομημένο κείμενο

Μορφοποιημένο κείμενο

Δομή καθορισμένη από το χρήστη

Προκαθορισμένη μορφή

Αποδοτικότερη διασύνδεση υπερκειμένου

Περιορισμένη διασύνδεση υπερκειμένου

Ευέλικτο και προσαρμόσιμο κείμενο

Δεν είναι ευέλικτο και δεν προσαρμόζεται

Σχεδιάστηκε για να περιγράφει δεδομένα

Σχεδιάστηκε για να παρουσιάζει δεδομένα

Page 55: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

HTML 5

Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης

55

Η HTML5 είναι το νέο standard πρότυπο για την HTML, την XHTML και την HTML DOM. Η ανάπτυξη της HTML5 έγινε με την συνεργασία της World Wide Web Consortium (W3C) και της Web Hypertext Application Technology Working Group (WHATWG). Η WHATWG εργαζόταν επάνω στις web φόρμες και τις web εφαρμογές, ενώ η W3C, η οποία δημιούργησε και διαχειρίζεται τα πρότυπα της HTML και της XHTML, ασχολήθηκε με την ανάπτυξη του νέου προτύπου XHTML 2.0. Το 2006 αποφάσισαν να συνεργαστούν για να δημιουργήσουν το νέο πρότυπο, την HTML5.

Page 56: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Η HTML5 αναπτύχθηκε με βάση τους παρακάτω κανόνες:

Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης

56

νέα χαρακτηριστικά έπρεπε να προστεθούν στην δομή των HTML, CSS και JavaScript

μείωση των περιπτώσεων που χρειάζεται η εγκατάσταση plugins στον browser για κάποιου συγκεκριμένου τύπου στοιχείων (όπως βίντεο και audio)

καλύτερη διαχείριση σφαλμάτων προσθήκη περισσότερων ετικετών οι οποίες θα

αντικαταστήσουν κομμάτια κώδικα JavaScript που χρησιμοποιούσαν συχνά οι web designers

το νέο πρότυπο θα έπρεπε να είναι αυτόνομο χωρίς να χρειάζεται να καλεί κομμάτια κώδικα από άλλα πρότυπα

τα βήματα του σχεδιασμού και της ανάπτυξης του νέου προτύπου θα έπρεπε να είναι ορατά στο κοινό.

Page 57: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Νέα χαρακτηριστικά της HTML5:

Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης

57

δυνατότητα σχεδιασμού γραφικών με χρήση JavaScript (νέα ετικέτα canvas)

αναπαραγωγή βίντεο και audio χωρίς να χρειάζεται η εγκατάσταση plugins (νέες ετικέτες video και audio)

προσθήκη νέων ετικετών που κάνουν την δημιουργία και την διαχείριση των ιστοσελίδων, ακόμη πιο εύκολη (νέες ετικέτες article, footer, header κτλ.)

νέα στοιχεία στις HTML φόρμες (calendar, date, time, search κτλ.)

Page 58: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Νέα χαρακτηριστικά της HTML5:

Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης

58

δυνατότητα σχεδιασμού γραφικών με χρήση JavaScript (νέα ετικέτα canvas)

αναπαραγωγή βίντεο και audio χωρίς να χρειάζεται η εγκατάσταση plugins (νέες ετικέτες video και audio)

προσθήκη νέων ετικετών που κάνουν την δημιουργία και την διαχείριση των ιστοσελίδων, ακόμη πιο εύκολη (νέες ετικέτες article, footer, header κτλ.)

νέα στοιχεία στις HTML φόρμες (calendar, date, time, search κτλ.)

Page 59: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Σύνταξη κώδικα HTML ,XML ,XHTML

Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης

59

Απλό κειμενογράφο του λειτουργικού συστήματος

NotePad++ (http://notepad-plus-plus.org/) Δωρεάν

DreamWeaver (http://www.adobe.com/products/dreamweaver.html)

Word Και πολλά άλλα προγράμματα (γράψτε “HTML

editor” στο Google)

Page 60: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Χρησιμοποιώντας τον απλό κειμενογράφο

Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης

60

Page 61: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

XHTML (1/2)

Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης

61

Η XHTML είναι συνδυασμός της HTML και της XML. Πιο συγκεκριμένα η XHTML είναι μια παραλλαγή της HTML γραμμένη με κανόνες σύνταξης της XML, δηλαδή ο κώδικας ενός XHTML αρχείου μπορεί να περιέχει σχεδόν όλες τις ετικέτες που περιέχει και η HTML, με διαφορά την αυστηρότερη σύνταξη του κώδικα.

Τα αρχικά της XHTML είναι από το EXtensible HyperText Markup Language το οποίο σημαίνει εκτεταμένη γλώσσα σήμανσης υπερκειμένου. Είναι μια πιο αυστηρή και πιο καθαρή έκδοση της HTML και μοιάζει πολύ με την HTML 4.01

Page 62: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

XHTML (2/2)

Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης

62

Η XHTML είναι μια πιο αυστηρή και πιο καθαρή έκδοση της HTML. Πολλές ιστοσελίδες είναι γραμμένες με κακό τρόπο στην σύνταξη του HTML κώδικα τους. Παρόλα αυτά το τελικό αποτέλεσμα θα εμφανιστεί σωστά στον browser του επισκέπτη. Για παράδειγμα στον παρακάτω κώδικα λείπει η ετικέτα τέλους της <head>, <p> <html> κι όμως το περιεχόμενο του αρχείου εμφανίζεται χωρίς κανένα πρόβλημα στον browser

Page 63: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Λάθη στην σύνταξη της HTML

Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης

63

Page 64: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Βασικά στοιχεία σύνταξης XHTML:

Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης

64

Ετικέτες, ιδιότητες και τιμές γράφονται με πεζούς χαρακτήρες

Οι τιμές των ιδιοτήτων θα πρέπει να εσωκλείονται σε διπλά εισαγωγικά

Όλες οι XHTML ετικέτες πρέπει να κλείνουν (όσες συντάσσονται από μόνες τους τότε γράφονται έτσι :

(<br /> , <hr /> κλπ) Οι XHTML ετικέτες πρέπει να είναι σωστά φωλιασμένες

(κλείνει πρώτη αυτή που άνοιξε τελευταία) Ο κώδικας XHTML πρέπει να εσωκλείεται από μια

ετικέτα-ρίζα (<html> … </html>) Η σύντμηση δεν επιτρέπεται στην XHTML

Page 65: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Κορμός αρχείου XHTML

Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης

65

<html xmlns="http://www.w3.org/1999/xhtml"> <head> <title> Τίτλος ιστοσελίδας </title> </head> <body> Περιεχόμενο Ιστοσελίδας </body> </html>

Page 66: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Μορφοποίηση Γραμματοσειράς

Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης

66

<b> κείμενο </b> το κείμενο θα εμφανιστεί έντονο. <i> κείμενο <i> το κείμενο θα εμφανιστεί πλάγια. <u> κείμενο </u> το κείμενο θα εμφανιστεί υπογραμμισμένο Είναι δυνατόν να πετύχουμε διαφορετικά μεγέθη γραμματοσειρών : <h1> κείμενο </h1> το κείμενο θα εμφανιστεί με το μεγαλύτερο

μέγεθος <h2> κείμενο </h2> <h3> κείμενο </h3> <h4> κείμενο </h4> <h5> κείμενο </h5> <h6> κείμενο </h6> το κείμενο θα εμφανιστεί με το μικρότερο

μέγεθος

Page 67: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Αλλαγή γραμμής και Οριζόντια Γραμμή

Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης

67

<br/> αλλάζει γραμμή <hr/> εμφανίζεται μία οριζόντια γραμμή σε

όλο το πλάτος της σελίδας <hr size=”10” / > οριζόντια γραμμή με μέγεθος 10 pixels

σε όλο το πλάτος της σελίδας <hr size=”5” width=”30%”/ > οριζόντια γραμμή με

μέγεθος 5 pixels στο 30% του πλάτους της σελίδας

Page 68: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Παράγραφος

Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης

68

<p> κείμενο </p> το κείμενο αποτελεί μία παράγραφο H ετικέτα <p> δέχεται και την παράμετρο align η οποία μπορεί να πάρει τιμές : left εξ’ ορισμού, το κείμενο της παραγράφου στοιχίζεται

αριστερά right το κείμενο της παραγράφου στοιχίζεται δεξιά

center το κείμενο της παραγράφου στοιχίζεται στο κέντρο

justify το κείμενο της παραγράφου έχει πλήρη στοίχιση

Εάν γράφαμε : <p align=”right”> κείμενο </p> τότε το κείμενο θα στοιχιζόταν στο κέντρο της ιστοσελίδας .

<center> περιεχόμενο </center> το περιεχόμενο θα εμφανιστεί κεντραρισμένο

Είναι το ίδιο με το <p align=”center”> κείμενο </p>

Page 69: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Αρίθμηση Παραγράφων (1/3)

Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης

69

Page 70: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Αρίθμηση Παραγράφων (2/3)

Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης

70

Page 71: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Αρίθμηση Παραγράφων (3/3)

Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης

71

Page 72: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Κουκίδες (1/2)

Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης

72

Page 73: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Κουκίδες (2/2)

Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης

73

Page 74: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Πίνακες και περιγράμματα (1/6)

Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης

74

Page 75: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Πίνακες και περιγράμματα (2/6)

Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης

75

Page 76: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Πίνακες και περιγράμματα (3/6)

Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης

76

Page 77: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Πίνακες και περιγράμματα (4/6)

Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης

77

Page 78: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Πίνακες και περιγράμματα (5/6)

Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης

78

Page 79: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Πίνακες και περιγράμματα (6/6)

Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης

79

Page 80: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Εισαγωγή Εικόνων (1/2)

Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης

80

Page 81: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Εισαγωγή Εικόνων (1/2)

Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης

81

Page 82: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Εισαγωγή στην Σήμανση XML

Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης

82

Page 83: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Εισαγωγή στην XML

Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης

83

• Internet/Web: Αποτελείται από ένα σύνολο εφαρμογών που επικοινωνούν μεταξύ τους

• Οι εφαρμογές ανταλλάσσουν δεδομένα με αυθαίρετη δομή και μορφοποίηση τα οποία πρέπει να στη συνέχεια να επεξεργαστούν

• Πρόβλημα: Απαιτείται ένα κοινό πρότυπο στην αναπαράσταση των δεδομένων

• Πολλές φορές η εφαρμογή ενδιαφέρεται όχι για τα ίδια τα δεδομένα αλλά για τη σημασία τους και που αυτά αναφέρονται (metaknowledge)

• Πρόβλημα: Θέλουμε μια μέθοδο να δημιουργούμε μεταδεδομένα

Page 84: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Tι είναι η XML?

Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης

84

Ένα συντακτικό για κωδικοποίηση δεδομένων κειμένου (words, phrases, numbers, ...)

Είναι text-based. H XML γράφεται χρησιμοποιώντας

printable χαρακτήρες (όχι binary data)

Επεκτάσιμη (Extensible). Η XML σου επιτρέπει να ορίσεις τα δικά σου elements (essentially data types), με βάση ορισμένους συντακτικούς κανόνες

Κοινό format. Τα δεδομένα που κωδικοποιούνται σε XML μετατρέπονται σε έναν standard τύπο εγγράφου τον οποίο μπορεί να διαβάσει και να επεξεργαστεί οποιαδήποτε εφαρμογή που υποστηρίζει XML τεχνολογία.

Page 85: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Tι δεν είναι η XML?

Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης

85

Δεν είναι γλώσσα προγραμματισμού

Δεν είναι ένα λογισμικό

Δεν είναι περιβάλλον ανάπτυξης λογισμικού

Δεν είναι εργαλείο ανάπτυξης ιστοσελίδων

Page 86: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Οι στόχοι της XML

Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης

86

1. Απλή (όπως η HTML – αλλά όχι τόσο απλή) Συγκεκριμένοι συντακτικοί κανόνες, για τον περιορισμό

συντακτικών λαθών. η σύνταξη ορίζει την δομή (ιεραρχική), και ονοματίζει δομημένα

κομμάτια (element names) – είναι αυτο-χαρακτηριζόμενα δεδομένα

2. Επεκτάσιμη (σε αντίθεση με την HTML) Μπορείς να δημιουργήσεις την δικιά σου γλώσσα από tags/elements Η αυστηρότητα του συντακτικού εξασφαλίζει την εγκυρότητα

της επεξεργασίας 3. Σχεδιασμένη για ένα κατανεμημένο περιβάλλον δεδομένων (όπως η

HTML) 4. Μπορεί να ‘αναμείξει’ διαφορετικούς τύπους (σε αντίθεση με την

HTML)

Page 87: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Συντακτικό: Elements 1

Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης

87

Elements- έχουν μια ετικέτα- τίτλο (tag), περιεχόμενο και γίνεται το κλείσιμο της ετικέτας

<ergasia> Starting with programming</ergasia>

Κάποιοι κανόνες για αυτά: Οι ετικέτες αρχίζουν με γράμμα

ή κάτω παύλα, γίνεται διάκριση κεφαλαίων- μικρών και μπορούν να χρησιμοποιηθούν γράμματα, αριθμοί, κάτω παύλες, dashes, periods

Άδειες ετικέτες- ανοίγουν και κλείνουν αμέσως <παρατήρηση/>

Page 88: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Συντακτικό: Elements 2

Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης

88

Σχέσεις μεταξύ των ετικετών- Αναλογία με δενδρική γενεαλογική δομή

<family> <father> George </father> <mother> Eva </mother> <child> Anastasia </child> <child> Christos </child> </family>

Page 89: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Συντακτικό: Attributes

Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης

89

Επιπλέον πληροφορίες για τα στοιχεία. Αν το element είναι το περιεχόμενο (container), το attribute είναι η ταμπέλα (label on the container) στο περιεχόμενο.

Μοντέλο όνομα- αξία (label- value pair) <message urgency=“low”>Be sure to brush your teeth twice

each day.</message>

Σκοπός: Ελαστικότητα στην επεξεργασία και την ανάσυρση πληροφοριών

Αν θέλουμε επεξεργασία πρέπει να τα κάνουμε elements

Page 90: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

παράδειγμα

Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης

90

Page 91: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Ιεραρχικό Μοντέλο Δεδομένων – XML δέντρο

Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης

91

<partorders xmlns="..."> <order date="..." ref="..."> <desc> ..text.. </desc> <part /> <quantity /> <delivery-date /> </order> <order ref=".." .../> </partorders>

text

partorders

order

order

desc

part

quantity

delivery-date

date=

ref=

date=

ref=

xmlns=

text

Page 92: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

XML Επεξεργασία

Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης

92

<?xml version="1.0" encoding="utf-8" ?> <transfers> <fundsTransfer date="20010923T12:34:34Z"> <from type="intrabank"> <amount currency="USD"> 1332.32 </amount> <transitID> 3211 </transitID> <accountID> 4321332 </accountID> <acknowledgeReceipt> yes </acknowledgeReceipt> </from> <to account="132212412321" /> </fundsTransfer> <fundsTransfer date="20010923T12:35:12Z"> <from type="internal"> <amount currency="CDN" >1432.12 </amount> <accountID> 543211 </accountID> <acknowledgeReceipt> yes </acknowledgeReceipt> </from> <to account="65123222" /> </fundsTransfer> </transfers>

Page 93: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

XML parser

Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης

93

O parser πρέπει να πιστοποιήσει ότι τα XML δεδομένα είναι ορισμένα συντακτικός σωστά.

Όπως λέμε τα δεδομένα να είναι well-formed Η ελάχιστη απαίτηση για να ‘είναι’ XML Ένας parser πρέπει να σταματά την επεξεργασία αν τα

δεδομένα δεν είναι well-formed (καλός ορισμένα) π.χ., σταμάτα την επεξεργασία και “throw an exception”

στη XML-based εφαρμογή.

Page 94: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Document Type Definition (DTD)

Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης

94

• H XML δίνει τη δυνατότητα στο χρήστη να δηλώσει το ρόλο κάθε element στο κείμενο με formal τρόπο μέσω πρόσθετων συντακτικών εντολών

• Το σύνολο αυτών των εντολών συνθέτουν έναν DTD • O DTD δεν είναι απαραίτητος • Όταν χρησιμοποιείται, ο parser μπορεί να ελέγξει την

λογική ορθότητα στη δομή του κειμένου σύμφωνα με τον DTD

• O DTD επιβάλει επιπλέον κανόνες για την well-formed δομή του κειμένου

Page 95: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Παράδειγμα DTD

Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης

95

Παράδειγμα κώδικα από Ethier & Houser,2001,σ. 87 <!ELEMENT family (father, mother, offspring?)> <!ELEMENT father (#PCDATA | surname)*> <!ELEMENT mother (#PCDATA | maiden|

surname)*> <!ELEMENT offspring (child +)> <!ELEMENT child (#PCDATA | surname)*> <!ELEMENT surname (#PCDATA)> <!ELEMENT maiden (#PCDATA)>

Page 96: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Παράδειγμα DTD

Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης

96

Επεξήγηση συμβόλων:

“?” προαιρετικά, μία φορά “*” προαιρετικά, μία ή περισσότερες φορές “+” αναγκαστικά, μία ή περισσότερες φορές “κανένα σύμβολο” αναγκαστικά, μία φορά “ ,” ακολουθείται η σειρά που δείχνεται “|” μόνο ένα από τα στοιχεία θα εμφανιστεί αν (…….)* τότε όλα τα στοιχεία μπορεί να

προκύψουν σε τυχαία σειρά ( ) όπως στα μαθηματικά PCDATA parsed character data

Page 97: Mathematical Software and Γλώσσες Knowledge …cosal.auth.gr/iantonio/sites/default/files/Lessons2015/ML1 Knowledge Representation...στην Παγκοσμια Εγκυκλοπαιδεια

Eπέκταση της XML

Μαθηματικά Λογισμικά και Γλώσσες Αναπαράστασης Γνώσης

97

Μια προσπάθεια επέκτασης του DTD, ώστε να περιέχει καλύτερα τα δομικά στοιχεία της εφαρμογής που χρησιμοποιούμε.

πρόβλημα, ιδιαίτερα στις εφαρμογές που χρειάζονται μαθηματικούς τύπους.

τo DTD είναι περιγραφικό, κείμενο δηλαδή. Έτσι, έχουμε τα namespaces, μια προσπάθεια

διασύνδεσης του συντακτικού με ένα συγκεκριμένο διαθέσιμο και αναγνωρισμένο λεξιλόγιο.

για παράδειγμα, η MathML- Mathematical Markup Language