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