logo
  • About Us
  • Seminars
  • News
  • Events
  • Student Affairs
  • Students@Engineering
  • Resources
  • Academics
    • Programmes
      • Undergraduate Programmes
      • Graduate Programmes
        • Masters Programmes
        • Doctoral Programmes
    • Teaching Laboratories
    • Virtual Laboratories
    • Project Based Learning
  • Admission
    • Undergraduate Admission
    • Graduate Admission
      • Masters Admissions
      • Doctoral Admissions
  • People
  • Research
logo
logo
  • About Us
  • Seminars
  • News
  • Events
  • Office of the Dean of Students
  • Students@Engineering
  • Resources
  • Academics
    Programmes Teaching Laboratories Virtual Laboratories Project Based Learning
  • Admission
    Undergraduate Admission Graduate Admission Doctoral Admission
  • People
  • Research

Logic for Knowledge Representation (Dr Barbara Morawska)



Speaker: Dr Barbara Morawska

Title: Logic for Knowledge Representation

Abstract: 

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 18
th 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

Related Events

Invited Research Talk: Tricuspid valve – A “forgotten valve in our heart”: What Mechanical Engineers can do ?

RESEARCH SEMINAR: Dr. Beena Singh"Protein Based Biopolymer for Drug Delivery"

Research Talk: Dr Srikrishnan Divakaran, DAIICT, Gandhinagar

logo
School of Engineering and Applied Science
Ahmedabad University
GICT Building, Central Campus
Navrangpura, Ahmedabad 380009
Gujarat, India

office_seas@ahduni.edu.in
+91.79.61911100
  • About Ahmedabad
  • Our Purpose
  • Programmes
  • Admission
  • Research
  • Resources
  • Brochures
  • News
  • Events
  • Regulatory
  • People
  • Careers
  • Contact

Auris

COPYRIGHT AHMEDABAD UNIVERSITY 2021

CONNECT WITH US

Download Brochure

Please enter information in the form below. The download will start automatically on submission of the form.

Download Brochure

Please enter information in the form below. The download will start automatically on submission of the form.