Knowledge representation and reasoning

• Κύριοι συγγραφείς: Stamou, Georgios, Στάμου, Γεώργιος
• Μορφή: 7
• Γλώσσα: Greek
• Έκδοση: 2016
• Θέματα: ΟΝΤΟΛΟΓΙΕΣ; ΠΕΡΙΓΡΑΦΙΚΕΣ ΛΟΓΙΚΕΣ; ΣΗΜΑΣΙΟΛΟΓΙΚΟΣ ΙΣΤΟΣ; ΣΥΛΛΟΓΙΣΤΙΚΗ; ΣΗΜΑΣΙΟΛΟΓΙΑ; ΑΝΑΠΑΡΑΣΤΑΣΗ ΓΝΩΣΗΣ ΚΑΙ ΣΥΛΛΟΓΙΣΤΙΚΗ; Ontologies; Description Logics; Semantic Web; Semantics; Automated Reasoning; Knowledge Representation And Reasoning

Στο Κεφάλαιο αυτό εισάγονται, με συντομία, οι έννοιες των βασικών φορμαλισμών τυπικής αναπαράστασης γνώσης (knowledge representation), όπως η Προτασιακή Λογική (Propositional Logic) και η Λογική Πρώτης Τάξης (First-order Logic), καθώς και οι βασικοί τυπικοί μέθοδοι εξαγωγής υπονοούμενης γνώσης (αλγό...