BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2015/newsitem/6179/23- February---12-June-2015-M-Sc-distance-learning-cou rse-on-Modal-Logics-and-Description-Logics-Manches ter-U-K- DTSTAMP:20150118T000000 SUMMARY:M.Sc. distance learning course on "Modal L ogics and Description Logics", Manchester, U.K. DTSTART;VALUE=DATE:20150223 DTEND;VALUE=DATE:20150612 LOCATION:Manchester, U.K. DESCRIPTION:For many applications, specific domain knowledge is required. Instead of coding such kno wledge into a specific system in a way that it can never be changed (hidden in the overall implement ation), different logic-based formalisms for repre senting different kinds of knowledge have been dev eloped in the last 50 years. In this module, we di scuss some of these approaches, namely modal logic s and description logics. Description logics ar e mainly designed to represent and reason about th e terminology of an application domain and form th e logical underpinning of the Semantic Web ontolog y language OWL. Modal logics can be used to repres ent and reason about the behaviour of systems, for example agent based systems. For both logics, aut omated reasoning tools have been developed to answ er queries about the knowledge representation expl icitly. This module provides an introduction to va rious modal and description logics, how to formali se knowledge and questions about this knowledge in these logics, different approaches to automated r easoning for these logics, and the relationship be tween these logics and first-order logic. The m odule is entirely web-based, so a reliable interne t connection is essential. Required Time per Week: 8-10 hours. A detailed module outline, learning o utcomes, assessment information is available from the module website at http://www.cs.manchester.ac. uk/study/professional-development/study-options/. Registration deadline: 20 February 2015. X-ALT-DESC;FMTTYPE=text/html:\n
\n For many applications, specific domain knowledge i s required.\n Instead of coding such knowle dge into a specific system in a\n way that it can never be changed (hidden in the overall\n implementation), different logic-based forma lisms for\n representing different kinds of knowledge have been developed\n in the las t 50 years. In this module, we discuss some of the se\n approaches, namely modal logics and de scription logics.\n
\n\n Description logics are mainly designed to represen t and reason\n about the terminology of an application domain and form the\n logical u nderpinning of the Semantic Web ontology language\ n OWL. Modal logics can be used to represe nt and reason about\n the behaviour of syst ems, for example agent based systems. For\n both logics, automated reasoning tools have been developed to\n answer queries about the kno wledge representation\n explicitly. This mo dule provides an introduction to various\n modal and description logics, how to formalise kno wledge and\n questions about this knowledge in these logics, different\n approaches to automated reasoning for these logics, and the\n relationship between these logics and first- order logic.\n
\n \n\n The module is entirely web-based, so a reliable i nternet\n connection is essential. Require d Time per Week: 8-10 hours.\n A detailed m odule outline, learning outcomes, assessment\n information is available from the module websi te at\n http://www.cs.manchester.ac.uk/stu dy/professional-development/study-options/.\n Registration deadline: 20 February 2015.\n
URL:/NewsandEvents/Archives/2015/newsitem/6179/23- February---12-June-2015-M-Sc-distance-learning-cou rse-on-Modal-Logics-and-Description-Logics-Manches ter-U-K- END:VEVENT END:VCALENDAR