Adobe PDF
(428.16 kB)
| Title Details: | |
|
Knowledge representation and reasoning |
|
| Other Titles: |
Introduction to fundamental knowledge representation and reasoning formalisms (Propositional Logic, First-Order Logic) |
| Authors: |
Stamou, Georgios |
| Reviewer: |
Stafylopatis, Andreas Georgios |
| Subject: | MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE > INTELLIGENT SYSTEMS > BASIC KNOWLEDGE REPRESENTATION AND REASONING MATHEMATICS AND COMPUTER SCIENCE > COMPUTER SCIENCE > INTELLIGENT SYSTEMS |
| Keywords: |
Ontologies
Description Logics Semantic Web Semantics Automated Reasoning Knowledge Representation And Reasoning |
| Description: | |
| Abstract: |
Στο Κεφάλαιο αυτό εισάγονται, με συντομία, οι έννοιες των βασικών φορμαλισμών τυπικής αναπαράστασης γνώσης (knowledge representation), όπως η Προτασιακή Λογική (Propositional Logic) και η Λογική Πρώτης Τάξης (First-order Logic), καθώς και οι βασικοί τυπικοί μέθοδοι εξαγωγής υπονοούμενης γνώσης (αλγόριθμοι συλλογιστικής - reasoning). Στη συνέχεια, παρουσιάζονται οι περιορισμοί και οι δυσκολίες των παραπάνω αλγορίθμων που τελικά περιορίζουν και τη χρήση των φορμαλισμών, και γίνεται κατανοητή η ανάγκη για περιορισμό της εκφραστικότητας που οδηγεί στην οντολογική αναπαράσταση γνώσης και τις Περιγραφικές Λογικές (Description Logics).
|
| Type: |
Chapter |
| Creation Date: | 2015 |
| Item Details: | |
| License: |
http://creativecommons.org/licenses/by-nc-nd/3.0/gr |
| Handle | http://hdl.handle.net/11419/4226 |
| Bibliographic Reference: | Stamou, G. (2015). Knowledge representation and reasoning [Chapter]. In Stamou, G. 2015. Αναπαράσταση οντολογικής γνώσης και συλλογιστική [Undergraduate textbook]. Kallipos, Open Academic Editions. https://hdl.handle.net/11419/4226 |
| Language: |
Greek |
| Is Part of: |
Αναπαράσταση οντολογικής γνώσης και συλλογιστική |
| Publication Origin: |
Kallipos, Open Academic Editions |