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 the 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 examples of 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