|
Course Description กระบวนการทางตรรกศาสตร์ ตรรกศาสตร์ที่เหมาะสม การแสดงผลและการให้เหตุผลด้วยสารสนเทศ การปรับปรุงและบูรณาการความรู้ ตรรกศาสตร์เชิงอรรถาธิบายเพื่อการออกแบบออนโทโลจี เช่น การให้ความหมายเว็บ เป็นต้น Logic-based approaches to knowledge representation, propositional logic, reasoning and representation of information, knowledge update and integration, descriptive logics with application to modeling ontology (including semantic web) |