Your browser is out-of-date!

For a richer surfing experience on our website, please update your browser.Update my browser now!


Logic for Knowledge Representation (Dr. Barbara Morawska)

February 17, 2017 02:00 pm to 03:00 pm   109, GICT building   SEAS faculty seminar

Speaker: Dr. Barbara Morawska

Title: Logic for Knowledge Representation

Knowledge is represented in books, lectures, databases, all kinds of media, in order to be conveyed, analyzed, discussed, verified, developed. Formal representation should facilitate all these tasks. 
 Gottfried Wilhelm Leibniz in 18th century thought that a good formalization of knowledge would put an end to all human controversies. His famous "Calculemus!" (let us compute!) meant that each problem should be solvable by  computing a conclusion in a logical system that encompasses all knowledge.
First order logic was created to represent mathematical knowledge in a formal way and actually it helped to understand why Leibniz's idea cannot be realized.
In this seminar I will introduce a family of description logics and show on examples how they can be used to represent knowledge. We will also see what problems can be stated and solved in such logics.

Venue: Room 109
Time: 2.00pm to 3.00pm