Knowledge representation and reasoning

• Main Authors: Stamou, Georgios, Στάμου, Γεώργιος
• Format: 7
• Language: Greek
• Published: 2016
• Subjects: ΟΝΤΟΛΟΓΙΕΣ; ΠΕΡΙΓΡΑΦΙΚΕΣ ΛΟΓΙΚΕΣ; ΣΗΜΑΣΙΟΛΟΓΙΚΟΣ ΙΣΤΟΣ; ΣΥΛΛΟΓΙΣΤΙΚΗ; ΣΗΜΑΣΙΟΛΟΓΙΑ; ΑΝΑΠΑΡΑΣΤΑΣΗ ΓΝΩΣΗΣ ΚΑΙ ΣΥΛΛΟΓΙΣΤΙΚΗ; Ontologies; Description Logics; Semantic Web; Semantics; Automated Reasoning; Knowledge Representation And Reasoning

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