Knowledge representation and reasoning
Στο Κεφάλαιο αυτό εισάγονται, με συντομία, οι έννοιες των βασικών φορμαλισμών τυπικής αναπαράστασης γνώσης (knowledge representation), όπως η Προτασιακή Λογική (Propositional Logic) και η Λογική Πρώτης Τάξης (First-order Logic), καθώς και οι βασικοί τυπικοί μέθοδοι εξαγωγής υπονοούμενης γνώσης (αλγό...
| Κύριοι συγγραφείς: | , |
|---|---|
| Μορφή: | 7 |
| Γλώσσα: | Greek |
| Έκδοση: |
2016
|
| Θέματα: | |
| Διαθέσιμο Online: | http://localhost:8080/jspui/handle/11419/4226 |
| id |
kallipos-11419-4226 |
|---|---|
| record_format |
dspace |
| spelling |
kallipos-11419-42262021-07-11T20:31:59Z Knowledge representation and reasoning Αναπαράσταση γνώσης και συλλογιστική Εισαγωγή στους θεμελιώδεις φορμαλισμούς αναπαράστασης γνώσης και συλλογιστικής (Προτασιακή Λογική, Λογική Πρώτης Τάξης) Introduction to fundamental knowledge representation and reasoning formalisms (Propositional Logic, First-Order Logic) Stamou, Georgios Στάμου, Γεώργιος ΟΝΤΟΛΟΓΙΕΣ ΠΕΡΙΓΡΑΦΙΚΕΣ ΛΟΓΙΚΕΣ ΣΗΜΑΣΙΟΛΟΓΙΚΟΣ ΙΣΤΟΣ ΣΥΛΛΟΓΙΣΤΙΚΗ ΣΗΜΑΣΙΟΛΟΓΙΑ ΑΝΑΠΑΡΑΣΤΑΣΗ ΓΝΩΣΗΣ ΚΑΙ ΣΥΛΛΟΓΙΣΤΙΚΗ Ontologies Description Logics Semantic Web Semantics Automated Reasoning Knowledge Representation And Reasoning Στο Κεφάλαιο αυτό εισάγονται, με συντομία, οι έννοιες των βασικών φορμαλισμών τυπικής αναπαράστασης γνώσης (knowledge representation), όπως η Προτασιακή Λογική (Propositional Logic) και η Λογική Πρώτης Τάξης (First-order Logic), καθώς και οι βασικοί τυπικοί μέθοδοι εξαγωγής υπονοούμενης γνώσης (αλγόριθμοι συλλογιστικής - reasoning). Στη συνέχεια, παρουσιάζονται οι περιορισμοί και οι δυσκολίες των παραπάνω αλγορίθμων που τελικά περιορίζουν και τη χρήση των φορμαλισμών, και γίνεται κατανοητή η ανάγκη για περιορισμό της εκφραστικότητας που οδηγεί στην οντολογική αναπαράσταση γνώσης και τις Περιγραφικές Λογικές (Description Logics). 2016-02-25T16:31:23Z 2021-07-09T14:29:27Z 2016-02-25T16:31:23Z 2021-07-09T14:29:27Z 2016-02-25 7 http://localhost:8080/jspui/handle/11419/4226 el 1 application/pdf |
| institution |
Kallipos |
| collection |
DSpace |
| language |
Greek |
| topic |
ΟΝΤΟΛΟΓΙΕΣ ΠΕΡΙΓΡΑΦΙΚΕΣ ΛΟΓΙΚΕΣ ΣΗΜΑΣΙΟΛΟΓΙΚΟΣ ΙΣΤΟΣ ΣΥΛΛΟΓΙΣΤΙΚΗ ΣΗΜΑΣΙΟΛΟΓΙΑ ΑΝΑΠΑΡΑΣΤΑΣΗ ΓΝΩΣΗΣ ΚΑΙ ΣΥΛΛΟΓΙΣΤΙΚΗ Ontologies Description Logics Semantic Web Semantics Automated Reasoning Knowledge Representation And Reasoning |
| spellingShingle |
ΟΝΤΟΛΟΓΙΕΣ ΠΕΡΙΓΡΑΦΙΚΕΣ ΛΟΓΙΚΕΣ ΣΗΜΑΣΙΟΛΟΓΙΚΟΣ ΙΣΤΟΣ ΣΥΛΛΟΓΙΣΤΙΚΗ ΣΗΜΑΣΙΟΛΟΓΙΑ ΑΝΑΠΑΡΑΣΤΑΣΗ ΓΝΩΣΗΣ ΚΑΙ ΣΥΛΛΟΓΙΣΤΙΚΗ Ontologies Description Logics Semantic Web Semantics Automated Reasoning Knowledge Representation And Reasoning Stamou, Georgios Στάμου, Γεώργιος Knowledge representation and reasoning |
| description |
Στο Κεφάλαιο αυτό εισάγονται, με συντομία, οι έννοιες των βασικών φορμαλισμών τυπικής αναπαράστασης γνώσης (knowledge representation), όπως η Προτασιακή Λογική (Propositional Logic) και η Λογική Πρώτης Τάξης (First-order Logic), καθώς και οι βασικοί τυπικοί μέθοδοι εξαγωγής υπονοούμενης γνώσης (αλγόριθμοι συλλογιστικής - reasoning). Στη συνέχεια, παρουσιάζονται οι περιορισμοί και οι δυσκολίες των παραπάνω αλγορίθμων που τελικά περιορίζουν και τη χρήση των φορμαλισμών, και γίνεται κατανοητή η ανάγκη για περιορισμό της εκφραστικότητας που οδηγεί στην οντολογική αναπαράσταση γνώσης και τις Περιγραφικές Λογικές (Description Logics). |
| format |
7 |
| author |
Stamou, Georgios Στάμου, Γεώργιος |
| author_facet |
Stamou, Georgios Στάμου, Γεώργιος |
| author_sort |
Stamou, Georgios |
| title |
Knowledge representation and reasoning |
| title_short |
Knowledge representation and reasoning |
| title_full |
Knowledge representation and reasoning |
| title_fullStr |
Knowledge representation and reasoning |
| title_full_unstemmed |
Knowledge representation and reasoning |
| title_sort |
knowledge representation and reasoning |
| publishDate |
2016 |
| url |
http://localhost:8080/jspui/handle/11419/4226 |
| work_keys_str_mv |
AT stamougeorgios knowledgerepresentationandreasoning AT stamougeōrgios knowledgerepresentationandreasoning AT stamougeorgios anaparastasēgnōsēskaisyllogistikē AT stamougeōrgios anaparastasēgnōsēskaisyllogistikē AT stamougeorgios eisagōgēstousthemeliōdeisphormalismousanaparastasēsgnōsēskaisyllogistikēsprotasiakēlogikēlogikēprōtēstaxēs AT stamougeōrgios eisagōgēstousthemeliōdeisphormalismousanaparastasēsgnōsēskaisyllogistikēsprotasiakēlogikēlogikēprōtēstaxēs AT stamougeorgios introductiontofundamentalknowledgerepresentationandreasoningformalismspropositionallogicfirstorderlogic AT stamougeōrgios introductiontofundamentalknowledgerepresentationandreasoningformalismspropositionallogicfirstorderlogic |
| _version_ |
1771301273708003328 |
